[R6RS] `quote' clarification

Michael Sperber sperber at informatik.uni-tuebingen.de
Thu May 10 07:33:59 EDT 2007

William D Clinger <will at ccs.neu.edu> writes:

> Mike Sperber wrote:
>> minutes.20070328 has this:
>> >         BTW, quoted constants within the same phase should
>> >             evaluate to the same value (according to eqv?) each
>> >             time the quoted constant is evaluated; the project
>> >             editor should add this to the report.
>> Any special reason why this isn't "must"?
> 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?

Maybe you could help me---who clearly doesn't have enough routine---out
in explaining this a bit more?  I see how specialization can descent
down the literal, but it's not clear to me why eqv?-ness has to be lost
along the way.

Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla

More information about the R6RS mailing list