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 #194
cc
changetime
2011-05-30 05:20:09
component
WG1 - Core
description
Implementations could decide to reify values if they wish. Of course if they do so, please at least do it with a disjoint type.
id
194
keywords
milestone
owner
alexshinn
priority
major
reporter
medernac
resolution
worksforme
severity
status
closed
summary
Disjointness of reified values
time
2011-05-21 14:29:41
type
defect
Changes
Change at time 2011-05-30 05:20:09
author
arcfide
field
comment
newvalue
The question here isn't whether they can reify values, it's whether they should be allowed to reify values in a way that creates a non-disjoint type that can be confused with other types.
oldvalue
2
raw-time
1306707609000000
ticket
194
time
2011-05-30 05:20:09
Change at time 2011-05-29 19:53:34
author
alexshinn
field
comment
newvalue
Implementations are already free to reify values.
oldvalue
1
raw-time
1306673614000000
ticket
194
time
2011-05-29 19:53:34
Change at time 2011-05-29 19:53:34
author
alexshinn
field
resolution
newvalue
worksforme
oldvalue
raw-time
1306673614000000
ticket
194
time
2011-05-29 19:53:34
Change at time 2011-05-29 19:53:34
author
alexshinn
field
status
newvalue
closed
oldvalue
new
raw-time
1306673614000000
ticket
194
time
2011-05-29 19:53:34