X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcode%2Fsharpm.lisp;h=6bae6346e13ae3f44be154baa5b640f9c66440cb;hb=848db680b495956ae3968649af260e7448fa8ddc;hp=273a6a6004ca2081a52e2fa7f96a604b69167e12;hpb=80cee3cf18d09202aa30ab957e08c5759e573bbe;p=sbcl.git

diff --git a/src/code/sharpm.lisp b/src/code/sharpm.lisp
index 273a6a6..6bae634 100644
--- a/src/code/sharpm.lisp
+++ b/src/code/sharpm.lisp
@@ -119,18 +119,51 @@
       (%reader-error stream "non-list following #S: ~S" body))
     (unless (symbolp (car body))
       (%reader-error stream "Structure type is not a symbol: ~S" (car body)))
-    (let ((class (sb!xc:find-class (car body) nil)))
-      (unless (typep class 'sb!xc:structure-class)
+    (let ((classoid (find-classoid (car body) nil)))
+      (unless (typep classoid 'structure-classoid)
 	(%reader-error stream "~S is not a defined structure type."
 		       (car body)))
       (let ((def-con (dd-default-constructor
 		      (layout-info
-		       (class-layout class)))))
+		       (classoid-layout classoid)))))
 	(unless def-con
 	  (%reader-error
 	   stream "The ~S structure does not have a default constructor."
 	   (car body)))
-	(apply (fdefinition def-con) (rest body))))))
+	(when (and (atom (rest body))
+		   (not (null (rest body))))
+	  (%reader-error
+	   stream "improper list for #S: ~S." body))
+	(apply (fdefinition def-con)
+	       (loop for tail on (rest body) by #'cddr
+		     with slot-name = (and (consp tail) (car tail))
+		     do (progn
+			  (when (null (cdr tail))
+			    (%reader-error
+			     stream
+			     "the arglist for the ~S constructor in #S ~
+                              has an odd length: ~S."
+			     (car body) (rest body)))
+			  (when (or (atom (cdr tail))
+				    (and (atom (cddr tail))
+					 (not (null (cddr tail)))))
+			    (%reader-error
+			     stream
+			     "the arglist for the ~S constructor in #S ~
+                              is improper: ~S."
+			     (car body) (rest body)))
+			  (when (not (typep (car tail) 'string-designator))
+			    (%reader-error
+			     stream
+			     "a slot name in #S is not a string ~
+                              designator: ~S."
+			     slot-name))
+			  (when (not (keywordp slot-name))
+			    (style-warn "in #S ~S, the use of non-keywords ~
+                                         as slot specifiers is deprecated: ~S."
+					(car body) slot-name)))
+		     collect (intern (string (car tail)) *keyword-package*)
+		     collect (cadr tail)))))))
 
 ;;;; reading numbers: the #B, #C, #O, #R, and #X readmacros
 
@@ -184,12 +217,12 @@
 ;; substitutes in arrays and structures as well as lists. The first arg is an
 ;; alist of the things to be replaced assoc'd with the things to replace them.
 (defun circle-subst (old-new-alist tree)
-  (cond ((not (typep tree '(or cons (array t) structure-object)))
+  (cond ((not (typep tree '(or cons (array t) structure-object standard-object)))
 	 (let ((entry (find tree old-new-alist :key #'second)))
 	   (if entry (third entry) tree)))
 	((null (gethash tree *sharp-equal-circle-table*))
 	 (setf (gethash tree *sharp-equal-circle-table*) t)
-	 (cond ((typep tree 'structure-object)
+	 (cond ((typep tree '(or structure-object standard-object))
 		(do ((i 1 (1+ i))
 		     (end (%instance-length tree)))
 		    ((= i end))