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 #470
cc
changetime
2012-08-30 13:12:46
component
WG1 - Core
description
Currently we say that `equal?` must detect loops, but we don't say what it should do. The wording in R6RS is "The `equal?` predicate returns `#t` if and only if the (possibly infinite) unfoldings of its arguments into regular trees are equal as ordered trees." (Better wording would be good.)
Possibilities: R6RS, signal an error, return `#f`.
id
470
keywords
milestone
owner
alexshinn
priority
major
reporter
cowan
resolution
wontfix
severity
status
closed
summary
Say what `equal?` does in the presence of circularities
time
2012-08-30 06:43:27
type
defect
Changes
Change at time 2012-08-30 13:12:46
author
cowan
field
comment
newvalue
This is being handled editorially, since the objection that led to its appearance as a ballot ticket is now withdrawn.
oldvalue
2
raw-time
1346307166906505
ticket
470
time
2012-08-30 13:12:46
Change at time 2012-08-30 13:12:46
author
cowan
field
resolution
newvalue
wontfix
oldvalue
raw-time
1346307166906505
ticket
470
time
2012-08-30 13:12:46
Change at time 2012-08-30 13:12:46
author
cowan
field
status
newvalue
closed
oldvalue
new
raw-time
1346307166906505
ticket
470
time
2012-08-30 13:12:46
Change at time 2012-08-30 06:53:14
author
cowan
field
comment
newvalue
oldvalue
1
raw-time
1346284394132704
ticket
470
time
2012-08-30 06:53:14
Change at time 2012-08-30 06:53:14
author
cowan
field
summary
newvalue
Say what `equal?` does in the presence of circularities
oldvalue
Editorial: Add language saying what `equal?` does in the presence of circularities
raw-time
1346284394132704
ticket
470
time
2012-08-30 06:53:14
Change at time 2012-08-30 06:53:14
author
cowan
field
description
newvalue
Currently we say that `equal?` must detect loops, but we don't say what it should do. The wording in R6RS is "The `equal?` predicate returns `#t` if and only if the (possibly infinite) unfoldings of its arguments into regular trees are equal as ordered trees." (Better wording would be good.)
Possibilities: R6RS, signal an error, return `#f`.
oldvalue
Currently we say that `equal?` must detect loops, but we don't say what it should do. I think everyone assumes this means doing what R6RS does. The wording there is "The `equal?` predicate returns `#t` if and only if the (possibly infinite) unfoldings of its arguments into regular trees are equal as ordered trees."
This doesn't strike me as very clear, but we'll need to use if we can't find anything better.
raw-time
1346284394132704
ticket
470
time
2012-08-30 06:53:14