SBCL

  1. Bug #1694839
  2. Comment #2

Comment 2 for bug 1694839

Revision history for this message
Michał "phoe" Herda (phoe-krk) wrote :

(let* ((t1 '(not (cons float t)))
       (t2 `(or (not (cons (eql 0)
                           (real -3.926510009989861d7 -3.926510009989861d7)))
                (not (cons t (eql 0))))))
  (subtypep t1 t2))

;=> NIL, T

This happens even though T2 is equivalent to T.