This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

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

2012-07-02 10:05:06
WG1 - Core
cowan
major
cowan
duplicate
source
closed
2012-06-28 12:01:49
defect

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.

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

Richard supports Per's suggestion.

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

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