p4lang / p4c

P4_16 reference compiler
https://p4.org/
Apache License 2.0
682 stars 446 forks source link

Allow keywords to be used as annotation names. #4897

Closed ChrisDodd closed 2 months ago

ChrisDodd commented 2 months ago

The P4 spec says that keywords can be used freely in annotation bodies with no special meaning. That sort-of implies they can be used as an annotation name as well, which we previously weren't allowing.