[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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