Commit 373f2be4 authored by pfdietz's avatar pfdietz

More tests of subtypep on member, satisfies types.

parent 9b18599e
......@@ -157,3 +157,20 @@
(deftest subtypep.member.31
(check-equivalence '(member a b c d) '(member c d b a))
nil)
(deftest subtypep.member.32
(check-all-not-subtypep '(not (member a b 10 z)) '(satisfies symbolp))
nil)
(deftest subtypep.member.33
(check-all-not-subtypep '(satisfies symbolp) '(member a b 10 z))
nil)
(deftest subtypep.member.34
(check-all-not-subtypep '(member a b 10 z) '(not (satisfies symbolp)))
nil)
(deftest subtypep.member.35
(check-all-not-subtypep '(satisfies symbolp) '(member a b c d))
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