[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