Commit fd8b1534 authored by pfdietz's avatar pfdietz
Browse files

More tests of CONS types.

parent 5da45f2f
......@@ -348,6 +348,18 @@
collect t1)
nil)
(deftest subtypep.cons.3
(check-equivalence '(and (cons symbol *) (cons * symbol))
'(cons symbol symbol))
nil)
(deftest subtypep.cons.4
(check-equivalence '(and (cons (integer 0 10) *)
(cons (integer 5 15) (integer 10 20))
(cons * (integer 15 25)))
'(cons (integer 5 10) (integer 15 20)))
nil)
;;; SUBTYPEP on MEMBER types
(deftest subtypep.member.1
......
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