Clarify grammar

Open mgree opened this issue 4 years ago • 1 comments

Annotation uses :, not ann.

Blame labels are (statically known) strings.

Functions are infix... sort of.

The switch form in the test suite caught me out! (It doesn't seem to be used in any programs...)

Mar 14 '21 16:03 mgree

I've also encountered many syntactic forms for literals that aren't documented here (e.g., the floats 0.5 and #i4 and #i365.24 and #i-2.59193146099879641e+01 and #i-9.51592254519715870e-05 and special character forms like #\newline). I guess these are inherited from a Racket reader? Unfortunately, what constitutes a valid Racket literal isn't obviously documented anywhere (Racket's syntax docs are pretty unhelpful 😢).

Mar 17 '21 18:03 mgree