Commit f20e4f0f authored by pfdietz's avatar pfdietz

Added compile option to the classify-error infrastructure. Added more...

Added compile option to the classify-error infrastructure.  Added more subtypep tests on member types.
parent 0790738d
......@@ -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)
......
......@@ -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)
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