I am Bernard Urban (firstname.lastname@example.org), and I submitted last month a bug which happened in mit-clx. I could analyze more precisely the reason of this bug, which seems to be related to different behaviour between compiled and interpreted code, in clisp-2000-03-06:
> (deftype angle () '(real #.(* pi -2) #.(* pi 2)))
> (defun trial () (typep 0.0 'angle))
> (compile (defun trial () (typep 0.0 'angle)))
> (apropos 'angle)
;; angle is not a type as real is ???
> (apropos 'real)
REAL type class
Log in to post a comment.