Commit fb395a76 authored by pfdietz's avatar pfdietz

Add tests that (AND x x) and (OR x x) are type equivalent to x.

parent 9f3eb912
......@@ -18,6 +18,7 @@
(deftest simple-base-string-is-sequence
(subtypep* 'simple-base-string 'sequence)
t t)
(deftest subtype.env.1
(mapcar #'notnot
(multiple-value-list (subtypep 'bit 'integer nil)))
......@@ -129,3 +130,17 @@
(or symbol (integer 11 25)))
'(integer 11 25))
nil)
(deftest subtypep.and.1
(loop
for typelist in *disjoint-types-list2*
append (loop for type in typelist
append (check-equivalence `(and ,type ,type) type)))
nil)
(deftest subtypep.or.1
(loop
for typelist in *disjoint-types-list2*
append (loop for type in typelist
append (check-equivalence `(or ,type ,type) type)))
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