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

[Eric Marsden]

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 3.2.2.3).

Eric