summaryFormal Comment: #!fold-case and #!no-fold-case have no final delimiter#!fold-case and #!no-fold-case have no final delimiter
descriptionThe `#!fold-case` and `#!no-fold-case` directives are read as comments, which means that they are treated as whitespace (section 2.2). Unlike the other kinds of comments, their final delimiter is implicit. This means that `(1#!no-fold-cases)` reads as `(1 s)`. This seems unfortunate.
Richard Kelsey proposes terminating them with either `!` or `!#`. This would break R6RS compatibility. I propose instead that they must be followed by whitespace.␣