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 #333
cc
changetime
2012-10-07 03:59:21
component
WG1 - Core
description
It's already a requirement that an eof-object cannot have an external representation, which means it cannot be any of the basic types in Section 3.2 except procedure or port. This is very improbable, and in fact none of my 40 test schemes returns either a procedure or a port.
Doing this would allow `eof-object?` to be added to the list of disjoint type predicates in Section 3.2.
id
333
keywords
milestone
owner
cowan
priority
major
reporter
cowan
resolution
fixed
severity
status
closed
summary
Require eof-objects to be disjoint from basic Scheme types
time
2012-01-18 12:43:20
type
defect
Changes
Change at time 2012-10-07 03:59:21
author
cowan
field
comment
newvalue
oldvalue
4
raw-time
1349557161054862
ticket
333
time
2012-10-07 03:59:21
Change at time 2012-10-07 03:59:21
author
cowan
field
resolution
newvalue
fixed
oldvalue
raw-time
1349557161054862
ticket
333
time
2012-10-07 03:59:21
Change at time 2012-10-07 03:59:21
author
cowan
field
status
newvalue
closed
oldvalue
writing
raw-time
1349557161054862
ticket
333
time
2012-10-07 03:59:21
Change at time 2012-04-07 04:39:56
author
cowan
field
comment
newvalue
oldvalue
3
raw-time
1333748396279388
ticket
333
time
2012-04-07 04:39:56
Change at time 2012-04-07 04:39:56
author
cowan
field
owner
newvalue
cowan
oldvalue
alexshinn
raw-time
1333748396279388
ticket
333
time
2012-04-07 04:39:56
Change at time 2012-04-07 04:39:56
author
cowan
field
status
newvalue
writing
oldvalue
decided
raw-time
1333748396279388
ticket
333
time
2012-04-07 04:39:56
Change at time 2012-04-05 09:01:27
author
cowan
field
comment
newvalue
The WG voted to adopt this proposal.
oldvalue
2
raw-time
1333591287378594
ticket
333
time
2012-04-05 09:01:27
Change at time 2012-04-05 09:01:27
author
cowan
field
status
newvalue
decided
oldvalue
new
raw-time
1333591287378594
ticket
333
time
2012-04-05 09:01:27
Change at time 2012-01-18 12:47:50
author
cowan
field
comment
newvalue
Note that it can be a record, since there is no type predicate `record?`.
oldvalue
1
raw-time
1326862070630334
ticket
333
time
2012-01-18 12:47:50