[R6RS] `quote' clarification

R. Kent Dybvig dyb at cs.indiana.edu
Thu May 10 09:58:04 EDT 2007

> Is there any special reason why we should outlaw loop
> unrolling, specialization, and many other source code
> transformations that are routinely employed by both
> compilers and application programmers?

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.


More information about the R6RS mailing list