422: #!fold-case and #!no-fold-case have no final delimiter

cowan

2012-06-28 12:06:38

Per Bothner suggests adding the formal syntax:

<lexical-directive> --> #! <identifier>

and then making the interpretation of <identifier> implementation-dependent, except for the standard cases #!fold-case and #!no-fold-case.

cowan

2012-06-28 12:53:16

summary#!fold-case and #!no-fold-case have no final delimiterFormal Comment: #!fold-case and #!no-fold-case have no final delimiter

owneralexshinncowan

statusnewaccepted

cowan

2012-06-29 04:21:54

Richard supports Per's suggestion.

cowan

2012-07-02 10:05:06

summaryFormal Comment: #!fold-case and #!no-fold-case have no final delimiter#!fold-case and #!no-fold-case have no final delimiter

descriptionThe `#!fold-case` and `#!no-fold-case` directives 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. Richard Kelsey proposes terminating them with either `!` or `!#`. This would break R6RS compatibility. I propose instead that they must be followed by whitespace.␣

resolution␣duplicate

statusacceptedclosed

I screwed this one up. See #447 for replacement.

Ticket 422: #!fold-case and #!no-fold-case have no final delimiter