[R6RS] `eqv?' on immutable records

William D Clinger will at ccs.neu.edu
Fri May 11 11:14:57 EDT 2007


Mike wrote:
> > It was a mistake to tag immutable pairs, vectors, strings,
> > and especially procedures with a location....
>
> I agree with you.  Is anyone here against fixing this, at least for
> pairs, vectors, and strings?

Kent apparently is.  With regard to the action of eqv?
on quoted constants, he wrote:

> These can all be done while preserving eqv? for quoted constants.  The
> real question is whether we're going to allow naive implementations
> that don't preserve eqv? for quoted constants.
>
> I'd rather require them to preserve eqv? for quoted constants.

That implies location-tagging (or something similar and
probably equivalent) for immutable pairs, vectors, and
strings.

Will



More information about the R6RS mailing list