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

From: AndrevanTonder <andre>
Date: Wed Mar 28 09:02:01 2007

On Wed, 28 Mar 2007, Abdulaziz Ghuloum wrote:

>> 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 :-)

I agree, but I was referring to the inference that a and c (or a and y)
are the same (which they are not without a single-assignment restriction).

Andre
Received on Wed Mar 28 2007 - 09:01:25 UTC