Re: Needed: per-port reader options

[Mark H Weaver <mhw@netris.org>]

Section 2.1 of the R7RS (draft 6) explicitly says "The #!fold-case
directive causes the read procedure to case-fold [...] each identifier
and character name subsequently read from the same port."

Here's the relevant excerpt:

    The following directives give explicit control over case folding.
    
    #!fold-case
    #!no-fold-case
    
    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.  The #!fold-case directive causes
    the read procedure to case-fold (as if by string-foldcase; see
    section 6.7) each identifier and character name subsequently read
    from the same port. (It has no effect on character literals.) The
    #!no-fold-case directive causes the read procedure to return to the
    default, non-folding behavior.

   Regards,
     Mark