Submitter's name: Richard Kelsey
Submitter's email: kelsey at s48.org
Relevant draft: r7rs draft 6
Relevant section of draft: Lexical conventions
Summary: scope of #!fold-case and #!no-fold-case
The description of #!fold-case and #!no-fold-case says that they change the behavior of the read procedure. I assume that this doesn't mean that I can write things like:(define (case-folding-read) #!fold-case (read))
but it would be nice if the report made this clear. Also, does load pay attention to these?
I suggest that you drop the reference to 'read' and instead say something like:
These directives may appear anywhere comments are permitted (see section 2.2) and are treated as comments, except that they affect the reading of subsequent data from the same port. The #!fold-case directive causes subsequent identifers and character names to be case-folded (as if by string-foldcase; see section 6.7). (It has no effect on character literals.) The #!no-fold-case directive causes a return to the default, non-folding behavior.