Open n-osborne opened 2 months ago
Both Preid.ts and Ident.ts carry a list of attributes (syntax seems to be [@ attributes ].
Preid.t
Ident.t
[@ attributes ]
This field is never read inside Gospel and the syntax is not documented.
Do we have a use case for them?
If no, in the interset of simplifying the language and the code-base, I propose to remove them.
What do you think?
Both
Preid.t
s andIdent.t
s carry a list of attributes (syntax seems to be[@ attributes ]
.This field is never read inside Gospel and the syntax is not documented.
Do we have a use case for them?
If no, in the interset of simplifying the language and the code-base, I propose to remove them.
What do you think?