On Jun 19, 2009, at 2:04 PM, Derick Eddington wrote:
If a #'define, #'syntax, or #'ctxt, which is unbound or is bound to something different than imported in the (b bound) library, is given, then the first three checks will pass.
Correct.
If it is unbound, the last check will return #T
Nop :-( An unbound define and the define in ctxt are not free-identifier=? since one is bound and the other is not. Aziz,,,
