Closed patjakdev closed 1 month ago
This line states that annotation names should be IDENTs, which was true until this PR was merged.
IDENT
The grammar should now allow any IDENT | RESERVED there. Or maybe the new AnyId concept in the Rust parser could be immortalized in the grammar.
IDENT | RESERVED
AnyId
Adding ANYIDENT seems like the cleanest solution to me, but open to feedback on #132
ANYIDENT
This line states that annotation names should be
IDENT
s, which was true until this PR was merged.The grammar should now allow any
IDENT | RESERVED
there. Or maybe the newAnyId
concept in the Rust parser could be immortalized in the grammar.