Re: [Scheme-reports] eq? and eqv? for records

[Sascha Ziemann <ceving@x>]

2014-02-14 0:59 GMT+01:00 Alex Shinn <alexshinn@x>:

Many people want different extensions to records,

notably the ability to create opaque and/or immutable

records, as well as inheritance, etc.  We left both such

extensions and `equal?' semantics on records up to

the large language, and so were conservative in what

we specified in the small language for `eqv?'.

So R7RS does not guaranty that the following will always return #f:

(define-record-type :identifier (identifier) identifier?)
(eq? (identifier) (identifier))

In order to be sure I have to add a dontcare slot with a dontcare value?

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports