-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On 07/16/2012 05:37 AM, William D Clinger wrote:
> John Cowan wrote:
>> I'm probably missing something here, but if h doesn't need a
>> closure, what's wrong with using the code address as a unique
>> tag?
> Because that would violate both R5RS and R6RS semantics.
> Both the R5RS and R6RS insist that procedures that are eqv? behave
> the same. Distinct procedures that share the same code are
> unlikely to behave the same.
Um? Will, did you misspeak here or is there something very
fundamental that I'm not understanding? As I see it the same
vector of code ought to produce the same behavior when run.
Different nonempty closures over the same procedure are unique,
of course, but the procedure itself?
Bear
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iQEcBAEBAgAGBQJQBCVTAAoJEAOzWkqOibfNbB0IAJ7TAI+qtF55SZJVC6pI0rF+
Dw9dYxixZrTIrbw9yAtdhTZBNsi8zo3Y8VK7Du83kKm8h8oGjzfFubjveKfszaQi
0W9K84Wtz3TKBcPad6ksVz5D/h722mSMRixPu3QfUCRPk6GMjW0H/XcQSKFLtZ4Z
/a63vOuBJQYnIkewGKg7liE9GlZTvXDf9PzVzRsNnNcv9iR7tHOQygY68qU0Csb5
TL6BJsoPHnWvbqXw0Pvhy09Caxu09e3Ckt/sC2BnyxAD1X2Jat4Mh0hCxZhMk8NN
/x7OVZb1P682UOa/qezLteMvk5QwgA16UF3dR5yzxI5odYsN5fF34uS/TvH0P1o=
=yWc+
-----END PGP SIGNATURE-----
_______________________________________________
r6rs-discuss mailing list
r6rs-discuss@lists.r6rs.org
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
