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 #393
cc
changetime
2012-08-26 23:17:14
component
WG1 - Core
description
Currently, R7RS-small says that when `equal?` is applied to records that are not `eqv?` (that were constructed by different calls to the record constructor), the result may be `#t` or `#f` at the implementation's discretion. I propose to treat records of the same type like pairs, strings, vectors, and bytevectors: that is, their contents are recursively compared.
id
393
keywords
milestone
owner
alexshinn
priority
major
reporter
cowan
resolution
wontfix
severity
status
closed
summary
Defining record equality
time
2012-05-28 12:46:44
type
defect
Changes
Change at time 2012-08-26 23:17:14
author
cowan
field
comment
newvalue
oldvalue
2
raw-time
1345997834277899
ticket
393
time
2012-08-26 23:17:14
Change at time 2012-08-26 23:17:14
author
cowan
field
resolution
newvalue
wontfix
oldvalue
raw-time
1345997834277899
ticket
393
time
2012-08-26 23:17:14
Change at time 2012-08-26 23:17:14
author
cowan
field
status
newvalue
closed
oldvalue
decided
raw-time
1345997834277899
ticket
393
time
2012-08-26 23:17:14
Change at time 2012-08-26 23:16:57
author
cowan
field
comment
newvalue
WG1 voted to leave `eqv?` on records unspecified.
oldvalue
1
raw-time
1345997817755798
ticket
393
time
2012-08-26 23:16:57
Change at time 2012-08-26 23:16:57
author
cowan
field
status
newvalue
decided
oldvalue
new
raw-time
1345997817755798
ticket
393
time
2012-08-26 23:16:57