Submitter's name: Richard Kelsey Submitter's email: kelsey at s48.org Relevant draft: r7rs draft 6
Relevant section of draft: Lexical conventions
Summary: #!fold-case and #!no-fold-case have no final delimiter
#!fold-case and #!no-fold-case 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.
I suggest that the #!... forms have an end as well as a beginning, either #!...! or #!...!#
Also, the #!... forms should be included in the formal syntax in section 7.1.1.