William D Clinger <w...@ccs.neu.edu> wrote:

> 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.

This is true in general, but I think the assertion was that two 
procedures that do not need closures to run correctly, can only be 
observationally different or distinct if they have different code bodies.
I am not seeing a fault in this reasoning off the top of my head.

-- 
Aaron W. Hsu | arcf...@sacrideo.us | http://www.sacrideo.us
Programming is just another word for the lost art of thinking.

_______________________________________________
r6rs-discuss mailing list
r6rs-discuss@lists.r6rs.org
http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss

Reply via email to