[r6rs-discuss] [Formal] Disallow redefinitions macros/variables

From: Abdulaziz Ghuloum <aghuloum>
Date: Wed Mar 28 00:10:55 2007

On Mar 27, 2007, at 11:50 PM, Abdulaziz Ghuloum wrote:
> PS. In your example, the common subexpression elimination
> can be performed regardless of whether a and c are the same
> as y or different from y since the common subexpression was
> a pure function of y only.

Sorry, this is incorrect.

> Also, in the same example, the
> compiler can also derive that c and y are the same regardless
> of your requirement.

This is still correct :-)

Aziz,,,
Received on Wed Mar 28 2007 - 00:10:17 UTC