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 #209

cc


    

changetime

2011-05-30 07:35:27

component

WG1 - Core

description

The <datum> production in 7.1.2 (page 50) has a clause that is <label> <datum>. Shouldn't that be

{{{
<label> = <datum>
}}}

to provide the `#0=...` portion of reader labelling?

At the end of 7.1.2, there's a missing line break before the <label> production. It's ended up on the same line as the <vector> production, making it difficult to spot.

id

209

keywords


    

milestone


    

owner

alexshinn

priority

major

reporter

cowan

resolution

fixed

severity


    

status

closed

summary

Editorial: Typos in 7.1.2 (may already be removed)

time

2011-05-26 12:58:59

type

defect

Changes

Change at time 2011-05-30 07:35:27

author

alexshinn

field

comment

newvalue

Fixed in latest draft.

oldvalue

1

raw-time

1306715727000000

ticket

209

time

2011-05-30 07:35:27

Change at time 2011-05-30 07:35:27

author

alexshinn

field

resolution

newvalue

fixed

oldvalue


    

raw-time

1306715727000000

ticket

209

time

2011-05-30 07:35:27

Change at time 2011-05-30 07:35:27

author

alexshinn

field

status

newvalue

closed

oldvalue

new

raw-time

1306715727000000

ticket

209

time

2011-05-30 07:35:27