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.

Source for ticket #447

cc


    

changetime

2012-10-11 22:37:40

component

WG1 - Core

description

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)
 1. Followed by whitespace (John Cowan)

id

447

keywords


    

milestone


    

owner

cowan

priority

major

reporter

cowan

resolution

fixed

severity


    

status

closed

summary

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

time

2012-07-02 10:04:39

type

defect

Changes

Change at time 2012-10-11 22:37:40

author

cowan

field

comment

newvalue

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

oldvalue

3

raw-time

1349969860264401

ticket

447

time

2012-10-11 22:37:40

Change at time 2012-10-11 22:37:40

author

cowan

field

resolution

newvalue

fixed

oldvalue


    

raw-time

1349969860264401

ticket

447

time

2012-10-11 22:37:40

Change at time 2012-10-11 22:37:40

author

cowan

field

status

newvalue

closed

oldvalue

writing

raw-time

1349969860264401

ticket

447

time

2012-10-11 22:37:40

Change at time 2012-08-27 05:45:02

author

cowan

field

comment

newvalue


    

oldvalue

2

raw-time

1346021102104548

ticket

447

time

2012-08-27 05:45:02

Change at time 2012-08-27 05:45:02

author

cowan

field

owner

newvalue

cowan

oldvalue

alexshinn

raw-time

1346021102104548

ticket

447

time

2012-08-27 05:45:02

Change at time 2012-08-27 05:45:02

author

cowan

field

status

newvalue

writing

oldvalue

decided

raw-time

1346021102104548

ticket

447

time

2012-08-27 05:45:02

Change at time 2012-08-27 01:35:00

author

cowan

field

comment

newvalue

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

oldvalue

1

raw-time

1346006100779044

ticket

447

time

2012-08-27 01:35:00

Change at time 2012-08-27 01:35:00

author

cowan

field

status

newvalue

decided

oldvalue

new

raw-time

1346006100779044

ticket

447

time

2012-08-27 01:35:00