[Ecls-list] Apparent bug in type derivation for TYPEP

Eric Marsden eric.marsden at free.fr
Sun Jun 2 21:28:48 UTC 2013

On 02/06/2013 22:56, Juan Jose Garcia-Ripoll wrote:
> Your expectation is bogus. TYPEP returns a logical true, which may be 
> any object that is not NIL. ECL translates (TYPEP X 'BOOLEAN) into 
> (MEMBER X '(NIL T)).

Thanks. I'll note that it doesn't do this rewrite for interpreted code, 
which leads to different results for interpreted and compiled code 
(probably is allowed by CLtS


More information about the ecl-devel mailing list