diff --git a/ansi-tests/misc.lsp b/ansi-tests/misc.lsp index a7762e22415c806760ac5189714c2f7089f3930b..3728e98385e9ee67a6b34a1f76971ccb7f3604fe 100644 --- a/ansi-tests/misc.lsp +++ b/ansi-tests/misc.lsp @@ -3294,3 +3294,20 @@ (if (%f5 0 0 0) (%f5 a) 0)))) 1 2) 1) + +;;; sbcl subtypep bug +(deftest misc.198 + (let ((t1 'cons) + (t2 '(or + (not + (cons (or (cons t ratio) (cons short-float t)) + (cons (cons (eql -7418623) (integer -9 53)) + (cons cons t)))) + (not + (cons (cons t (eql -265039)) + (cons (cons t cons) t)))))) + (if (equal (multiple-value-list (subtypep* t1 t2)) '(nil t)) + (not (subtypep `(not ,t2) `(not ,t1))) + t)) + t) +