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

[Eric Marsden]

Hi,

> (lisp-implementation-version)
"13.5.1"
> (defun foo ()
   (typep t 'boolean))
FOO
> (compile 'foo)
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
;;;
;;; End of Pass 1.
FOO
NIL
NIL
> (foo)
(T)    ;; <-- expected: T

-- 
Eric Marsden