Commit 04ff8d92 authored by pfdietz's avatar pfdietz
Browse files

Added subtypep test for gcl from random subtypep tester

parent c9ea4f9f
......@@ -325,3 +325,11 @@
(deftest subtypep.cons.39
(values (subtypep t '(and (not (cons cons (cons cons t))) (not (cons t cons)))))
nil)
(deftest subtypep.cons.40
(let ((type1 '(cons (eql 0) cons))
(type2 '(cons unsigned-byte symbol)))
(values
(subtypep* type1 type2)
(subtypep* `(not ,type2) `(not ,type1))))
nil 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