[R6RS] `eqv?' on immutable records

R. Kent Dybvig dyb at cs.indiana.edu
Tue May 15 12:38:51 EDT 2007

> I don't really understand your underlying position: You want to allow
> the compiler to mess with object identity of quote expressions that are
> distinct in the source program, but not for constants as they get
> implicitly propagated by the compiler?

I don't want to allow the compiler to "mess with" object identity at all. 
I want all pairs and vectors to maintain their unique identity whether
they are explicitly allocated by the programmer or implicitly allocated
(for quote expressions) by the compiler.

I see no problem allowing the compiler to use the same pair or vector for
two or more quote expressions, although I wouldn't mind disallowing this


More information about the R6RS mailing list