Ticket 421: Formal Comment: #!fold-case and #!no-fold-case have no final delimiter

Submitter's name: Richard Kelsey Submitter's email: kelsey at s48.org Relevant draft: r7rs draft 6

Type: defect

Priority: minor

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.