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 #467
cc
changetime
2012-10-09 13:43:13
component
WG1 - Core
description
This proposal stems from [http://lists.r6rs.org/pipermail/r6rs-discuss/2012-July/006405.html remarks] by Alaric Snell-Pym and Will Clinger on the r6rs public mailing list. If `eq?` is allowed to return `#f` on two procedures when `eqv?` nevertheless returns `#t`, as is already the case for numbers and characters, then more intelligent implementation-specific procedure comparisons using `eqv?` are possible, while still keeping `eq?` simple enough to inline easily.
Note that this is orthogonal to the question of #460, how `eqv?` works on procedures. There should be little or no backward-compatibility hit for this change
id
467
keywords
milestone
owner
cowan
priority
major
reporter
cowan
resolution
fixed
severity
status
closed
summary
Allow eqv? and eq? to return different answers on procedures as well as integers and characters
time
2012-07-19 00:32:17
type
defect
Changes
Change at time 2012-10-09 13:43:13
author
cowan
field
comment
newvalue
oldvalue
3
raw-time
1349764993967433
ticket
467
time
2012-10-09 13:43:13
Change at time 2012-10-09 13:43:13
author
cowan
field
resolution
newvalue
fixed
oldvalue
raw-time
1349764993967433
ticket
467
time
2012-10-09 13:43:13
Change at time 2012-10-09 13:43:13
author
cowan
field
status
newvalue
closed
oldvalue
writing
raw-time
1349764993967433
ticket
467
time
2012-10-09 13:43:13
Change at time 2012-08-27 07:44:36
author
cowan
field
comment
newvalue
oldvalue
2
raw-time
1346028276588455
ticket
467
time
2012-08-27 07:44:36
Change at time 2012-08-27 07:44:36
author
cowan
field
owner
newvalue
cowan
oldvalue
alexshinn
raw-time
1346028276588455
ticket
467
time
2012-08-27 07:44:36
Change at time 2012-08-27 07:44:36
author
cowan
field
status
newvalue
writing
oldvalue
decided
raw-time
1346028276588455
ticket
467
time
2012-08-27 07:44:36
Change at time 2012-08-27 00:50:33
author
cowan
field
comment
newvalue
WG1 voted to adopt this change.
oldvalue
1
raw-time
1346003433802681
ticket
467
time
2012-08-27 00:50:33
Change at time 2012-08-27 00:50:33
author
cowan
field
status
newvalue
decided
oldvalue
new
raw-time
1346003433802681
ticket
467
time
2012-08-27 00:50:33