X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=inline;f=tests%2Ftype.impure.lisp;h=294659fef78058f074d4da7bd2a9fc66dfe67749;hb=5f492c8a8eea8a407d82de104e16b7148a7f9eb8;hp=7bd27fb9fbb7ae3cad705964be1d487fce0f8a77;hpb=fdd6c2add9da521cb34738ce272e03ebf561f93d;p=sbcl.git

diff --git a/tests/type.impure.lisp b/tests/type.impure.lisp
index 7bd27fb..294659f 100644
--- a/tests/type.impure.lisp
+++ b/tests/type.impure.lisp
@@ -102,10 +102,14 @@
 (assert-nil-nil (subtypep '(vector t) '(vector utype-2)))
 
 ;;; ANSI specifically disallows bare AND and OR symbols as type specs.
-#| ; Alas, this is part of bug 10, still unfixed as of sbcl-0.7.2.
 (assert (raises-error? (typep 11 'and)))
 (assert (raises-error? (typep 11 'or)))
-|#
+(assert (raises-error? (typep 11 'member)))
+(assert (raises-error? (typep 11 'values)))
+(assert (raises-error? (typep 11 'eql)))
+(assert (raises-error? (typep 11 'satisfies)))
+(assert (raises-error? (typep 11 'not)))
+
 ;;; Of course empty lists of subtypes are still OK.
 (assert (typep 11 '(and)))
 (assert (not (typep 11 '(or))))
@@ -337,6 +341,7 @@
 		     (find-class 'simple-condition))
 		    (mapcar #'find-class '(simple-condition
 					   condition
+					   sb-pcl::slot-object
 					   sb-kernel:instance
 					   t))))