X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Ftarget-defstruct.lisp;h=4138741cccdf0f97b15b59e18c6f2e884e5d9feb;hb=4ed3f0d08c3a57a6762018d9622f253ab9d0f2b6;hp=c463637a21326039e7f2b90e5f311706216e14b5;hpb=9719063b661a99d2cc2a1d9b2ea7dd81145ded59;p=sbcl.git

diff --git a/src/code/target-defstruct.lisp b/src/code/target-defstruct.lisp
index c463637..4138741 100644
--- a/src/code/target-defstruct.lisp
+++ b/src/code/target-defstruct.lisp
@@ -321,13 +321,21 @@
 	     ;; through here.
 	     (%slotplace-accessor-funs (slotplace instance-type-check-form)
 	       (/show "macroexpanding %SLOTPLACE-ACCESSOR-FUNS" slotplace instance-type-check-form)
-	       `(values (lambda (instance)
-			  (/noshow0 "in %SLOTPLACE-ACCESSOR-FUNS-defined reader")
-			  ,instance-type-check-form
-			  (/noshow0 "back from INSTANCE-TYPE-CHECK-FORM")
-			  ,slotplace)
-			(let ((typecheckfun (typespec-typecheckfun dsd-type)))
-			  (lambda (new-value instance)
+	       `(let ((typecheckfun (typespec-typecheckfun dsd-type)))
+                  (values (if (dsd-safe-p dsd)
+                              (lambda (instance)
+                                (/noshow0 "in %SLOTPLACE-ACCESSOR-FUNS-defined reader")
+                                ,instance-type-check-form
+                                (/noshow0 "back from INSTANCE-TYPE-CHECK-FORM")
+                                ,slotplace)
+                              (lambda (instance)
+                                (/noshow0 "in %SLOTPLACE-ACCESSOR-FUNS-defined reader")
+                                ,instance-type-check-form
+                                (/noshow0 "back from INSTANCE-TYPE-CHECK-FORM")
+                                (let ((value ,slotplace))
+                                  (funcall typecheckfun value)
+                                  value)))
+                          (lambda (new-value instance)
 			    (/noshow0 "in %SLOTPLACE-ACCESSOR-FUNS-defined writer")
 			    ,instance-type-check-form
 			    (/noshow0 "back from INSTANCE-TYPE-CHECK-FORM")
@@ -337,7 +345,7 @@
 
     (let ((dsd-index (dsd-index dsd))
 	  (dsd-type (dsd-type dsd)))
-	    
+
       #+sb-xc (/show0 "got DSD-TYPE=..")
       #+sb-xc (/hexstr dsd-type)
       (ecase (dd-type dd)
@@ -346,7 +354,7 @@
 	(structure
 	 #+sb-xc (/show0 "case of DSD-TYPE = STRUCTURE")
 	 (%native-slot-accessor-funs %instance-ref))
-				     
+
 	;; structures with the :TYPE option
 
 	;; FIXME: Worry about these later..
@@ -422,7 +430,7 @@
 	   (pprint-pop)
 	   (let ((slot (pop remaining-slots)))
 	     (write-char #\: stream)
-	     (output-symbol-name (dsd-%name slot) stream)
+	     (output-symbol-name (symbol-name (dsd-name slot)) stream)
 	     (write-char #\space stream)
 	     (pprint-newline :miser stream)
 	     (output-object (funcall (fdefinition (dsd-accessor-name slot))
@@ -452,7 +460,7 @@
 	(write-char #\space stream)
 	(write-char #\: stream)
 	(let ((slot (first remaining-slots)))
-	  (output-symbol-name (dsd-%name slot) stream)
+	  (output-symbol-name (symbol-name (dsd-name slot)) stream)
 	  (write-char #\space stream)
 	  (output-object
 	   (funcall (fdefinition (dsd-accessor-name slot))