(declare (ignore x)) (setq y 'foo)))
(style-warning (c) (error c)))
\f
+;;; ctor optimization bugs:
+;;;
+;;; :DEFAULT-INITARGS not checked for validity
+(defclass invalid-default-initargs ()
+ ((foo :initarg :foo))
+ (:default-initargs :invalid-initarg 2))
+(multiple-value-bind (result condition)
+ (ignore-errors (make-instance 'invalid-default-initargs :foo 1))
+ (assert (null result))
+ (assert (typep condition 'program-error)))
+;;; :DEFAULT-INITARGS not passed to INITIALIZE-INSTANCE or
+;;; SHARED-INITIALIZE :BEFORE methods.
+(defclass default-initargs-with-method ()
+ ((foo :initarg :valid-initarg))
+ (:default-initargs :valid-initarg 2))
+(defmethod shared-initialize :before ((thing default-initargs-with-method)
+ slot-names &key valid-initarg)
+ (assert (= valid-initarg 2)))
+(make-instance 'default-initargs-with-method)
+;;; and a test with a non-constant initarg
+(defvar *d-i-w-m-2* 0)
+(defclass default-initargs-with-method2 ()
+ ((foo :initarg :valid-initarg))
+ (:default-initargs :valid-initarg (incf *d-i-w-m-2*)))
+(defmethod shared-initialize :before ((thing default-initargs-with-method2)
+ slot-names &key valid-initarg)
+ (assert (= valid-initarg 1)))
+(make-instance 'default-initargs-with-method2)
+(assert (= *d-i-w-m-2* 1))
+\f
+;;; from Axel Schairer on cmucl-imp 2004-08-05
+(defclass class-with-symbol-initarg ()
+ ((slot :initarg slot)))
+(defmethod initialize-instance :after
+ ((x class-with-symbol-initarg) &rest initargs &key &allow-other-keys)
+ (unless (or (null initargs)
+ (eql (getf initargs 'slot)
+ (slot-value x 'slot)))
+ (error "bad bad bad")))
+(defun make-thing (arg)
+ (make-instance 'class-with-symbol-initarg 'slot arg))
+(defun make-other-thing (slot arg)
+ (make-instance 'class-with-symbol-initarg slot arg))
+(assert (eql (slot-value (make-thing 1) 'slot) 1))
+(assert (eql (slot-value (make-other-thing 'slot 2) 'slot) 2))
+\f
;;; success
(sb-ext:quit :unix-status 104)