[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Scheme-reports] Formal Comment: scope of #!fold-case and #!no-fold-case

Formal Comment

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

Type: clarification
Priority: minor
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)

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 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.

Scheme-reports mailing list