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. -- ~jrm
_______________________________________________ r6rs-discuss mailing list r6rs-discuss@lists.r6rs.org http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
