Aaron W. Hsu scripsit: > 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.
That's what I meant, allowing users to reliably get (eqv? eqv? eqv?) => #t. -- Real FORTRAN programmers can program FORTRAN John Cowan in any language. --Ed Post co...@ccil.org _______________________________________________ r6rs-discuss mailing list r6rs-discuss@lists.r6rs.org http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss