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

[AndrevanTonder]

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