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