From f20e4f0f6f0a53d9199a7f8e6dbf38ef8d626890 Mon Sep 17 00:00:00 2001
From: pfdietz <pfdietz@localhost>
Date: Fri, 21 Feb 2003 03:45:27 +0000
Subject: [PATCH] Added compile option to the classify-error infrastructure. 
 Added more subtypep tests on member types.

---
 ansi-tests/ansi-aux.lsp        |  7 ++++++-
 ansi-tests/subtypep-member.lsp | 19 +++++++++++++++++++
 2 files changed, 25 insertions(+), 1 deletion(-)

diff --git a/ansi-tests/ansi-aux.lsp b/ansi-tests/ansi-aux.lsp
index 3de85669..724566a8 100644
--- a/ansi-tests/ansi-aux.lsp
+++ b/ansi-tests/ansi-aux.lsp
@@ -285,7 +285,12 @@ the condition to go uncaught if it cannot be classified."
   (handler-bind ((warning #'(lambda (c) (declare (ignore c))
 			      (muffle-warning))))
 		(proclaim '(optimize (safety 3)))
-		(classify-error* (eval form)
+		(classify-error*
+		 (if rt::*compile-tests*
+		     (funcall (compile nil `(lambda ()
+					      (declare (optimize (safety 3)))
+					      ,form)))
+		     (eval form))
 		 )))
 
 (defmacro classify-error (form)
diff --git a/ansi-tests/subtypep-member.lsp b/ansi-tests/subtypep-member.lsp
index c1aa3862..420059cf 100644
--- a/ansi-tests/subtypep-member.lsp
+++ b/ansi-tests/subtypep-member.lsp
@@ -138,3 +138,22 @@
 		     '(member a b))
   nil)
 
+(deftest subtypep.member.27
+  (check-all-subtypep '(member a b c d) '(satisfies #'symbolp))
+  nil)
+
+(deftest subtypep.member.28
+  (check-all-subtypep '(member a b c d) t)
+  nil)
+
+(deftest subtypep.member.29
+  (check-all-not-subtypep '(member a b 10 z) '(satisfies #'symbolp))
+  nil)
+
+(deftest subtypep.member.30
+  (check-disjointness '(member 1 6 10) '(satisfies #'symbolp))
+  nil)
+
+(deftest subtypep.member.31
+  (check-equivalence '(member a b c d) '(member c d b a))
+  nil)
-- 
GitLab