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

[Richard Kelsey <kelsey@x>]

Formal Comment

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.


_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports