X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Ftype.impure.lisp;h=38cee279b3c66d36635be49d45ff7d48641c5728;hb=2eee1c446adf860571a0d5e89eb5c547806cda76;hp=6e4a2e82b8339c4eedfed4f6ccd9c88cad1d4d44;hpb=07111ea2a4131f731f5ac23e79cb3d715970a92e;p=sbcl.git

diff --git a/tests/type.impure.lisp b/tests/type.impure.lisp
index 6e4a2e8..38cee27 100644
--- a/tests/type.impure.lisp
+++ b/tests/type.impure.lisp
@@ -409,6 +409,14 @@
         (t1 (sb-kernel:specifier-type s)))
    (eval `(defstruct ,s))
    (sb-kernel:type= t1 (sb-kernel:specifier-type s))))
+
+;;; bug found by PFD's random subtypep tester
+(let ((t1 '(cons rational (cons (not rational) (cons integer t))))
+      (t2 '(not (cons (integer 0 1) (cons single-float long-float)))))
+  (assert-t-t (subtypep t1 t2))
+  (assert-nil-t (subtypep t2 t1))
+  (assert-t-t (subtypep `(not ,t2) `(not ,t1)))
+  (assert-nil-t (subtypep `(not ,t1) `(not ,t2))))
 
 ;;; success
 (quit :unix-status 104)