Steel Bank Common Lisp

Update of /cvsroot/sbcl/sbcl/tests
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv17508/tests

Modified Files:
	defstruct.impure.lisp 
Log Message:
1.0.18.27: fix DEFSTRUCT compilation when init-form type is vague

 * Reported by Josh Morrison. Regression from the recent DEFSTRUCT
   constructor hacking.

   Slots initialized by constructor lambda-list arguments have their
   types checked, but those slots always initialized directly by the
   initform values did not -- wrap the DSD-DEFAULT in a THE.


Index: defstruct.impure.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/tests/defstruct.impure.lisp,v
retrieving revision 1.32
retrieving revision 1.33
diff -u -d -r1.32 -r1.33
--- defstruct.impure.lisp	28 May 2008 22:32:28 -0000	1.32
+++ defstruct.impure.lisp	22 Jul 2008 17:17:17 -0000	1.33
@@ -737,3 +737,8 @@
     (assert (eql #c(5.0 5.0) (constant-arg-inits-f foo)))
     (assert (eql #c(6.0d0 6.0d0) (constant-arg-inits-g foo)))))
 (make-constant-arg-inits)
+
+;;; bug reported by John Morrison, 2008-07-22 on sbcl-devel
+(defstruct (raw-slot-struct-with-unknown-init (:constructor make-raw-slot-struct-with-unknown-init ()))
+ (x (#:unknown-function) :type double-float))
+

Update of /cvsroot/sbcl/sbcl/src/code
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv17508/src/code

Modified Files:
	defstruct.lisp 
Log Message:
1.0.18.27: fix DEFSTRUCT compilation when init-form type is vague

 * Reported by Josh Morrison. Regression from the recent DEFSTRUCT
   constructor hacking.

   Slots initialized by constructor lambda-list arguments have their
   types checked, but those slots always initialized directly by the
   initform values did not -- wrap the DSD-DEFAULT in a THE.


Index: defstruct.lisp
===================================================================
RCS file: /cvsroot/sbcl/sbcl/src/code/defstruct.lisp,v
retrieving revision 1.92
retrieving revision 1.93
diff -u -d -r1.92 -r1.93
--- defstruct.lisp	28 May 2008 22:32:28 -0000	1.92
+++ defstruct.lisp	22 Jul 2008 17:17:15 -0000	1.93
@@ -1516,10 +1516,14 @@
                (loop for slot in (dd-slots defstruct)
                      for name = (dsd-name slot)
                      collect (cond ((find name (skipped-vars) :test #'string=)
+                                    ;; CLHS 3.4.6 Boa Lambda Lists
                                     (setf (dsd-safe-p slot) nil)
                                     '.do-not-initialize-slot.)
                                    ((or (find (dsd-name slot) (vars) :test #'string=)
-                                        (dsd-default slot)))))))))
+                                        (let ((type (dsd-type slot)))
+                                          (if (eq t type)
+                                              (dsd-default slot)
+                                              `(the ,type ,(dsd-default slot))))))))))))
 
 ;;; Grovel the constructor options, and decide what constructors (if
 ;;; any) to create.

Update of /cvsroot/sbcl/sbcl
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv17508

Modified Files:
	NEWS version.lisp-expr 
Log Message:
1.0.18.27: fix DEFSTRUCT compilation when init-form type is vague

 * Reported by Josh Morrison. Regression from the recent DEFSTRUCT
   constructor hacking.

   Slots initialized by constructor lambda-list arguments have their
   types checked, but those slots always initialized directly by the
   initform values did not -- wrap the DSD-DEFAULT in a THE.


Index: NEWS
===================================================================
RCS file: /cvsroot/sbcl/sbcl/NEWS,v
retrieving revision 1.1368
retrieving revision 1.1369
diff -u -d -r1.1368 -r1.1369
--- NEWS	19 Jul 2008 16:07:52 -0000	1.1368
+++ NEWS	22 Jul 2008 17:17:15 -0000	1.1369
@@ -2,6 +2,10 @@
 changes in sbcl-1.0.19 relative to 1.0.18:
   * optimization: stack allocation is slightly more efficient on x86
     and x86-64.
+  * bug fix: DEFSTRUCT forms with user-specified :CONSTRUCTOR options,
+    where a raw slot always is initialized using the initform whose
+    type is not know sufficiently well a compile-time are now compiled
+    correctly. (reported by John Morrison)
   * bug fix: compiler no longer makes erronous assumptions in the
     presense of non-foldable SATISFIES types.
   * bug fix: stack analysis missed cleanups of dynamic-extent

Index: version.lisp-expr
===================================================================
RCS file: /cvsroot/sbcl/sbcl/version.lisp-expr,v
retrieving revision 1.4029
retrieving revision 1.4030
diff -u -d -r1.4029 -r1.4030
--- version.lisp-expr	20 Jul 2008 07:52:07 -0000	1.4029
+++ version.lisp-expr	22 Jul 2008 17:17:15 -0000	1.4030
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"1.0.18.26"
+"1.0.18.27"