X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fmop.impure.lisp;h=f4c181d83048af5d5dc2f90a43c9748935b958e8;hb=f73aadf04d841e0f1bfede4c11a13c4ba5c4e264;hp=b7af0cf6567a73bd79b8f5734b5ddf2fe1c31422;hpb=1e4027886f4ec69649beb4e16797aea6ed8d72f2;p=sbcl.git

diff --git a/tests/mop.impure.lisp b/tests/mop.impure.lisp
index b7af0cf..f4c181d 100644
--- a/tests/mop.impure.lisp
+++ b/tests/mop.impure.lisp
@@ -489,15 +489,35 @@
 ;;; classes (including anonymous ones) and eql-specializers should be
 ;;; allowed to be specializers.
 (defvar *anonymous-class*
-  (make-instance 'standard-class 
+  (make-instance 'standard-class
                  :direct-superclasses (list (find-class 'standard-object))))
 (defvar *object-of-anonymous-class*
   (make-instance *anonymous-class*))
 (eval `(defmethod method-on-anonymous-class ((obj ,*anonymous-class*)) 41))
 (assert (eql (method-on-anonymous-class *object-of-anonymous-class*) 41))
-(eval `(defmethod method-on-anonymous-class 
-        ((obj ,(intern-eql-specializer *object-of-anonymous-class*))) 
+(eval `(defmethod method-on-anonymous-class
+        ((obj ,(intern-eql-specializer *object-of-anonymous-class*)))
         42))
 (assert (eql (method-on-anonymous-class *object-of-anonymous-class*) 42))
 
+;;; accessors can cause early finalization, which caused confusion in
+;;; the system, leading to uncompileable TYPEP problems.
+(defclass funcallable-class-for-typep ()
+  ((some-slot-with-accessor :accessor some-slot-with-accessor))
+  (:metaclass funcallable-standard-class))
+(compile nil '(lambda (x) (typep x 'funcallable-class-for-typep)))
+
+;;; even anonymous classes should be valid types
+(let* ((class1 (make-instance 'standard-class :direct-superclasses (list (find-class 'standard-object))))
+       (class2 (make-instance 'standard-class :direct-superclasses (list class1))))
+  (assert (subtypep class2 class1))
+  (assert (typep (make-instance class2) class1)))
+
+;;; ensure-class got its treatment of :metaclass wrong.
+(ensure-class 'better-be-standard-class :direct-superclasses '(standard-object)
+              :metaclass 'standard-class
+              :metaclass 'funcallable-standard-class)
+(assert (eq (class-of (find-class 'better-be-standard-class))
+            (find-class 'standard-class)))
+
 ;;;; success