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.

Ticket 393: Defining record equality

2012-08-26 23:17:14
WG1 - Core
alexshinn
major
cowan
wontfix
source
closed
2012-05-28 12:46:44
defect

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.

statusnewdecided

WG1 voted to leave eqv? on records unspecified.

resolutionwontfix
statusdecidedclosed