> The innovation allows Scheme compilers to use eta conversion > for all procedures, without having to distinguish between > procedures that were introduced by the compiler or are the > value of compiler-generated temporary variables from > procedures that are the values of variables that appear in > the original code.
Can't you just add a unique tag to procedures derived, one way or another, from the same invocation of lambda and then compare procedures by comparing their tags? Sure, it slows down eqv?, but probably that's a price worth paying to speed up procedure calls. Regards, Alan _______________________________________________ r6rs-discuss mailing list r6rs-discuss@lists.r6rs.org http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss