[R6RS] record types and UIDs
mflatt at cs.utah.edu
Fri Feb 24 15:39:59 EST 2006
When the same `uid' is supplied to two different calls to
`make-record-type-descriptor', all the other arguments are required to
be equivalent (`eqv?' or `equal?', as appropriate).
The SRFI doesn't say what happens if the other arguments not all equal.
Would it make sense to change the `uid' argument to a `uid-prefix'
argument that's combined with all the other arguments to produce the
true UID? Then there's no question of incompatible UID mappings.
(make-record-type 'posn #f '2162a300-a575-11da-a746-0800200c9a66
#f #f '((mutable x) (mutable y)))
(make-record-type 'posn3D #f '2162a300-a575-11da-a746-0800200c9a66
#f #f '((mutable x) (mutable y) (mutable z)))
would generate two different record types, even though the same UID
prefix is supplied.
More information about the R6RS