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 447: #!fold-case and #!no-fold-case have no final delimiter

2012-10-11 22:37:40
WG1 - Core
cowan
major
cowan
fixed
source
closed
2012-07-02 10:04:39
defect

The #!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.

Current proposals:

  1. Add the formal syntax <lexical-directive> --> #! <identifier> and then make the interpretation of <identifier> implementation-dependent, except for the standard cases #!fold-case and #!no-fold-case. (Per Bothner, Richard Kelsey)
  2. Followed by whitespace (John Cowan)
statusnewdecided

WG1 voted that the delimiter for #!(no-)fold-case is whitespace.

owneralexshinncowan
statusdecidedwriting
resolutionfixed
statuswritingclosed

We went with "followed by a delimiter". Formal syntax is not yet fixed: see #476.