You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The Abstract Syntax seems to be missing a derivation rule for "{}", which should be a valid input.
The rules expr -> { objinside } and objinside -> member { , member } [ , ] with member always being non-empty don't seem to allow a valid derivation from expr to "{}". Or am I missing something?
The text was updated successfully, but these errors were encountered:
The Abstract Syntax seems to be missing a derivation rule for "{}", which should be a valid input.
The rules
expr -> { objinside }
andobjinside -> member { , member } [ , ]
with member always being non-empty don't seem to allow a valid derivation from expr to "{}". Or am I missing something?The text was updated successfully, but these errors were encountered: