Commit 75a33687 authored by pfdietz's avatar pfdietz
Browse files

Another cons subtypep test, this one 'three dimensionsal'.

parent 8a6a6e16
......@@ -62,3 +62,18 @@
(cons (integer 3 15) (integer 4 15)))
'(cons (integer 0 15) (integer 0 15)))
nil)
(deftest subtypep.cons.8
(check-equivalence
'(or
(cons integer (cons symbol integer))
(cons symbol (cons integer symbol))
(cons symbol (cons symbol integer))
(cons symbol (cons integer integer))
(cons integer (cons integer symbol))
(cons symbol (cons symbol symbol))
(cons integer (cons integer integer))
(cons integer (cons symbol symbol)))
'(cons (or symbol integer)
(cons (or symbol integer) (or symbol integer))))
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