Opened 5 years ago

Closed 5 years ago

#447 closed defect (fixed)

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

Reported by: cowan Owned by: cowan
Priority: major Milestone:
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.

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)

Change History (3)

comment:1 Changed 5 years ago by cowan

  • Status changed from new to decided

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

comment:2 Changed 5 years ago by cowan

  • Owner changed from alexshinn to cowan
  • Status changed from decided to writing

comment:3 Changed 5 years ago by cowan

  • Resolution set to fixed
  • Status changed from writing to closed

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

Note: See TracTickets for help on using tickets.