-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 07/16/2012 02:12 PM, Joe Marshall wrote: > On Mon, Jul 16, 2012 at 12:03 PM, Ray Dillinger <b...@sonic.net> > wrote:
>> The proposal is that a simple case for implementations to prove >> eqv?-ness on functions, and one which can and ought to be handled >> by all implementations, is the case where functions have the same >> code vector and that code does not refer to any values held in a >> closure. > It is the "ought" part that is the problem. Although it seems > reasonable for an implementation to simply compare pointers for > EQ?-ness, a highly optimizing compiler might not have code vectors, > or might have non-eq code vectors for eq procedures. Indeed this is the case for Stalin, now that I think of it. Although it appears that Stalin is no longer under development and "stretching" it to fit the more recent standards would require a comprehensive re-engineering effort. Ray D. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iQEcBAEBAgAGBQJQBSCdAAoJEAOzWkqOibfNefMH/R813cLiOcyxTmSKAx32d8dw pIeLcHR0ZqUuAjPjWJ8YVXAU0yqNWoQtMUEv+oTfuzepjkAINvk0XsH8dZydeC3j MsB+KSaWIWkM05A8h7koB3rzj9PZiWk14mraD1YckH63W4m6HwYHZd1czQjKIRRX xEXLu8edVuxGTFCk2Jj95DLgd4yZd24ADwiFZ9F1VcaaBUipETatgv7TJ6FPDtVt AFzUof5Tnpv1gIFATbgQJPzEB5gwWYHxHXMAoNt+3LO2MWNZQSN0aOIVZdAQPUAK o5W5rwnaZnjiyDi/OeY4o5ca45CYIL5h1jASZidwpr9Xtf1YlrjgCDO8VbPLVtg= =Vmfv -----END PGP SIGNATURE----- _______________________________________________ r6rs-discuss mailing list r6rs-discuss@lists.r6rs.org http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss