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