Commit 93d92daf authored by pfdietz's avatar pfdietz

Tests of EQL vs. SATISFIES types.

parent feb10bf7
......@@ -36,3 +36,19 @@
(deftest subtypep.eql.4
(check-equivalence '(and (eql a) (eql b)) nil)
nil)
(deftest subtypep.eql.5
(check-all-subtypep '(eql a) '(satisfies symbolp))
nil)
(deftest subtypep.eql.6
(check-disjointness '(eql 17) '(satisfies symbolp))
nil)
(deftest subtypep.eql.7
(check-all-subtypep '(eql nil) '(satisfies symbolp))
nil)
(deftest subtypep.eql.8
(check-all-not-subtypep '(satisfies symbolp) '(eql a))
nil)
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