Infinite loop in SUBTYPEP

[Paul F. Dietz]

(defun bug025 ()
  (let ((t1 '(or
              (not (cons (simple-array function)))
              (cons (simple-array real)
               (simple-array t))
              (cons sequence complex)))
        (t2 '(or
              (not (cons (simple-array function)))
              (cons (simple-array real))
              (cons sequence complex))))
    (subtypep t1 t2)))

(bug025) ==> does not terminate

x86-64, "2.5.5.86-43de0d90a"

[Paul F. Dietz (paul-f-dietz)]

This failed to replicate on a fresh image, which may mean some kind of caching issue.