Commit 56e3fa15 authored by Marius Gerbershagen's avatar Marius Gerbershagen

Merge branch 'subtypep.cons.44' into 'master'

Add SUBTYPEP.CONS.44

See merge request !30
parents 5c4504cc bf63b936
......@@ -374,3 +374,20 @@
(and (not sub1) (not sub2))))))
t)
(defun subtypep.cons.44.foo (x) (declare (ignore x)) (= 1 (random 2)))
(defun subtypep.cons.44.bar (x) (declare (ignore x)) (= 1 (random 2)))
(defun subtypep.cons.44.baz (x) (declare (ignore x)) (= 1 (random 2)))
(defun subtypep.cons.44.qux (x) (declare (ignore x)) (= 1 (random 2)))
(deftest subtypep.cons.44
(let* ((t1 `(cons (not float)))
(t2 `(or (cons (satisfies subtypep.cons.44.foo)
(satisfies subtypep.cons.44.bar))
(cons (satisfies subtypep.cons.44.baz)
(satisfies subtypep.cons.44.qux)))))
(multiple-value-bind (sub1 good1)
(subtypep* t1 t2)
(multiple-value-bind (sub2 good2)
(subtypep* `(not ,t2) `(not ,t1))
(and (not sub1) (not sub2) (not good1) (not good2)))))
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