[R6RS] R6RS records: record equality
Sun Aug 28 10:11:38 EDT 2005
Marc Feeley <feeley at iro.umontreal.ca> writes:
> The specification indicates that two records are equal? iff they are
> eq? (except if they represent builtin types like pairs, vectors, etc).
> I object to the "equal? iff eq?" because it limits the use of records.
> I would prefer a recursive definition where (equal? r1 r2) is true iff
> r1 and r2 are of the same record type, and for each field, the contents
> of that field in r1 and r2 are equal?.
I'll be happy to put this up in the issue bullet, but I think it would
be a really bad idea. The current definition doesn't limit the use of
records, but it does limit the use of EQUAL?. I believe that's a good
thing, for the reasons that came up in the discussion of this in
Cheers =8-} Mike
Friede, V?lkerverst?ndigung und ?berhaupt blabla
More information about the R6RS