From 373f2be4ff03fdd4b7f77eaa63b3f131ef38df47 Mon Sep 17 00:00:00 2001 From: pfdietz <pfdietz@localhost> Date: Mon, 24 Feb 2003 12:36:34 +0000 Subject: [PATCH] More tests of subtypep on member, satisfies types. --- ansi-tests/subtypep-member.lsp | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/ansi-tests/subtypep-member.lsp b/ansi-tests/subtypep-member.lsp index 110568fb..24ae4bc5 100644 --- a/ansi-tests/subtypep-member.lsp +++ b/ansi-tests/subtypep-member.lsp @@ -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) + -- GitLab