[P4-dev] nested header p4c test?
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.
> P4-dev mailing list
> P4-dev at lists.p4.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the P4-dev