Skip to content
Snippets Groups Projects
Commit da505a62 authored by pfdietz's avatar pfdietz
Browse files

Some more random test failures.

parent 310b8a57
No related branches found
No related tags found
No related merge requests found
......@@ -280,3 +280,22 @@
(cons (cons t cons) t))))))
(subtypep-and-contrapositive-are-consistent 'cons t2))
t)
(deftest subtypep.cons.32
(let ((t2 '(cons t
(or (not (cons integer (eql 0)))
(not (cons (or float (eql 0)) cons))))))
(subtypep-and-contrapositive-are-consistent 'cons t2))
t)
(deftest subtypep.cons.33
(let ((t2 '(or (not (cons (cons t cons) (cons t (cons unsigned-byte t))))
(not (cons (cons integer t) (cons t (cons cons t)))))))
(subtypep-and-contrapositive-are-consistent 'cons t2))
t)
(deftest subtypep.cons.34
(let ((t2 '(or (not (cons (or (eql 0) ratio) (not cons)))
(not (cons integer cons)))))
(subtypep-and-contrapositive-are-consistent 'cons t2))
t)
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment