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 _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
