Commit 96077476 authored by pfdietz's avatar pfdietz
Browse files

More random subtypep tests for sbcl (moved one from misc.lsp to subtypep-cons.lsp)

parent dd7688f7
......@@ -3294,20 +3294,3 @@
(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)
......@@ -254,13 +254,29 @@
(subtypep-and-contrapositive-are-consistent t1 t2))
t)
(deftest subtypep.cons.29
(let ((t2 '(or (not (cons unsigned-byte cons))
(not (cons (integer -6 22) rational)))))
(subtypep-and-contrapositive-are-consistent 'cons t2))
t)
(deftest subtypep.cons.30
(let ((t1 '(not (cons t (cons t (cons cons t)))))
(t2 '(or (or (cons (cons t integer) t)
(not (cons t (cons t cons))))
(not (cons (cons (eql -27111309) t)
(cons t (eql 1140730)))))))
(subtypep-and-contrapositive-are-consistent t1 t2))
t)
(deftest subtypep.cons.31
(let ((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))))))
(subtypep-and-contrapositive-are-consistent 'cons t2))
t)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment