Re: EQL

[Kent M. Pitman <KMP at MIT-MC>]

It seems to me that the definition should include the TYPEP check; 
optimizations such as omitting it as unnecessary can be done as long
as they preserve correctness. The case that I wonder about is some
random extend datatype, call it FAKE, which impersonates fixnums. It
might want to claim EQL-ness to a fixnum. TYPEP comparisons might screw
this case while EQUAL might successfully call an EQUAL method in FAKE
to determine equality ...? If this is so, then perhaps that's another
reason to omit the TYPEP check...