Commit 646a9e93 authored by pfdietz's avatar pfdietz

Added tests that types (and) and (or) are equivalent to t and nil, respectively.

parent c5c6d754
......@@ -144,3 +144,11 @@
append (loop for type in typelist
append (check-equivalence `(or ,type ,type) type)))
nil)
(deftest subtypep.and.2
(check-equivalence t '(and))
nil)
(deftest subtypep.or.2
(check-equivalence nil '(or))
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