[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