X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fclos.impure-cload.lisp;h=d866200d90383253154a883ec2b6982d2b1d206b;hb=1b650be8b800cf96e2c268ae317fb26d0bf36827;hp=f0a18296f0104462453728afabf091336bd0eb20;hpb=394ea85ef47f8b145437e1498266487c4f96f285;p=sbcl.git

diff --git a/tests/clos.impure-cload.lisp b/tests/clos.impure-cload.lisp
index f0a1829..d866200 100644
--- a/tests/clos.impure-cload.lisp
+++ b/tests/clos.impure-cload.lisp
@@ -63,6 +63,13 @@
 (defmethod baz ((x specializer1)) x)
 (assert (typep (baz (make-instance 'specializer1)) 'specializer1))
 
+;;; ... and from McCLIM, another test case:
+(defclass specializer1a (specializer2a specializer2b) ())
+(defclass specializer2a () ())
+(defmethod initialize-instance :after
+    ((obj specializer2a) &key &allow-other-keys)
+  (print obj))
+
 ;;; in a similar vein, we should be able to define methods on classes
 ;;; that are effectively unknown to the type system:
 (sb-mop:ensure-class 'unknown-type)
@@ -71,7 +78,7 @@
 ;;; etc., but we should be able to define it).
 
 ;;; the ctor MAKE-INSTANCE optimizer used not to handle duplicate
-;;; initargs.
+;;; initargs...
 (defclass dinitargs-class1 ()
   ((a :initarg :a)))
 (assert (= (slot-value (make-instance 'dinitargs-class1 :a 1 :a 2) 'a) 1))
@@ -79,6 +86,14 @@
 (defclass dinitargs-class2 ()
   ((b :initarg :b1 :initarg :b2)))
 (assert (= (slot-value (make-instance 'dinitargs-class2 :b2 3 :b1 4) 'b) 3))
+;;; ... or default-initargs when the location was already initialized
+(defvar *definitargs-counter* 0)
+(defclass definitargs-class ()
+  ((a :initarg :a :initarg :a2))
+  (:default-initargs :a2 (incf *definitargs-counter*)))
+(assert (= (slot-value (make-instance 'definitargs-class) 'a) 1))
+(assert (= (slot-value (make-instance 'definitargs-class :a 0) 'a) 0))
+(assert (= *definitargs-counter* 2))
 
 ;;; success
 (sb-ext:quit :unix-status 104)
\ No newline at end of file