#!fold-case and #!no-fold-case have no final delimiter
|Reported by:||cowan||Owned by:||cowan|
|Component:||WG1 - Core||Keywords:|
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.
- 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)
- Followed by whitespace (John Cowan)