[P4-dev] nested header p4c test?

hemant at mnkcg.com hemant at mnkcg.com
Mon Dec 10 13:18:19 EST 2018


Oops, sorry, my bad – I missed headers as a struct!  

 

Thanks,

 

Hemant

 

From: Andy Fingerhut <andy.fingerhut at gmail.com> 
Sent: Monday, December 10, 2018 12:45 PM
To: hemant at mnkcg.com
Cc: p4-dev <p4-dev at lists.p4.org>
Subject: Re: [P4-dev] nested header p4c test?

 

Hemant:

 

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.

 

Andy

 

On Mon, Dec 10, 2018 at 5:49 AM <hemant at mnkcg.com <mailto: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 <mailto: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/a06d386b/attachment.html>


More information about the P4-dev mailing list