Open nofun97 opened 4 years ago
Currently sysl grammar does not allow annotations for an inplace tuple.
App: !type Tuple: @attr = "abc" a <: @attr = "abc" b <: string
This should be allowed to add annotations to the field Tuple.a.
Tuple.a
Make sure to also support inline annotations:
App: !type Tuple [attr = "abc"]: a [attr = "abc"] <: b <: string
Currently sysl grammar does not allow annotations for an inplace tuple.
This should be allowed to add annotations to the field
Tuple.a
.