[P4-dev] nested header p4c test?

Andy Fingerhut andy.fingerhut at gmail.com
Mon Dec 10 12:45:03 EST 2018


In the program basic_routing-bmv2.p4, the thing named 'headers' is defined
as a struct, _not_ as a header.  A struct containing headers has always
been supported by the P4_16 language spec.


On Mon, Dec 10, 2018 at 5:49 AM <hemant at mnkcg.com> wrote:

> In p4c/testdata/p4_16_sample/ basic_routing-bmv2.p4, I see nested headers
> (headers).  This test passes without any error with latest p4c.  However,
> according to table 7.2.7 of the latest p4-16 specification, I see a header
> inside a header is an error.   Is the p4c implementation delayed in
> implementing the new document?  P4.org only includes the latest doc and
> thus I haven’t been able to check an older document for behavior.
> Hemant
> _______________________________________________
> P4-dev mailing list
> P4-dev at lists.p4.org
> http://lists.p4.org/mailman/listinfo/p4-dev_lists.p4.org
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.p4.org/pipermail/p4-dev_lists.p4.org/attachments/20181210/7f3edc05/attachment.html>

More information about the P4-dev mailing list