X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fdefstruct.lisp;h=410759cda6a9b331120af9a88a28b5f3e283c940;hb=073501ed49414d9638cb41c05fb80627529f796d;hp=67580b494fc17dbd77668646a7b3502754197f0c;hpb=ec6d4bd97d9adc6f4003747d8ca92fad7766ccfd;p=sbcl.git

diff --git a/src/code/defstruct.lisp b/src/code/defstruct.lisp
index 67580b4..410759c 100644
--- a/src/code/defstruct.lisp
+++ b/src/code/defstruct.lisp
@@ -50,21 +50,25 @@
 	     (:conc-name dd-)
 	     (:make-load-form-fun just-dump-it-normally)
 	     #-sb-xc-host (:pure t)
-	     (:constructor make-defstruct-description (name)))
+	     (:constructor make-defstruct-description
+			   (name &aux
+				 (conc-name (symbolicate name "-"))
+				 (copier-name (symbolicate "COPY-" name))
+				 (predicate-name (symbolicate name "-P")))))
   ;; name of the structure
   (name (missing-arg) :type symbol :read-only t)
   ;; documentation on the structure
   (doc nil :type (or string null))
   ;; prefix for slot names. If NIL, none.
-  (conc-name (symbolicate name "-") :type (or symbol null))
+  (conc-name nil :type (or symbol null))
   ;; the name of the primary standard keyword constructor, or NIL if none
   (default-constructor nil :type (or symbol null))
   ;; all the explicit :CONSTRUCTOR specs, with name defaulted
   (constructors () :type list)
   ;; name of copying function
-  (copier-name (symbolicate "COPY-" name) :type (or symbol null))
+  (copier-name nil :type (or symbol null))
   ;; name of type predicate
-  (predicate-name (symbolicate name "-P") :type (or symbol null))
+  (predicate-name nil :type (or symbol null))
   ;; the arguments to the :INCLUDE option, or NIL if no included
   ;; structure
   (include nil :type list)
@@ -886,9 +890,7 @@
 
   (%compiler-set-up-layout dd inherits)
 
-  (let* ((dd-name (dd-name dd))
-	 (dtype (dd-declarable-type dd))
-	 (class (sb!xc:find-class dd-name)))
+  (let* ((dtype (dd-declarable-type dd)))
 
     (let ((copier-name (dd-copier-name dd)))
       (when copier-name
@@ -1235,9 +1237,16 @@
 	  (dolist (arg opt)
 	    (cond ((consp arg)
 		   (destructuring-bind
-		       (name &optional (def (nth-value 1 (get-slot name))))
+			 ;; FIXME: this shares some logic (though not
+			 ;; code) with the &key case below (and it
+			 ;; looks confusing) -- factor out the logic
+			 ;; if possible. - CSR, 2002-04-19
+			 (name
+			  &optional
+			  (def (nth-value 1 (get-slot name)))
+			  (supplied-test nil supplied-test-p))
 		       arg
-		     (arglist `(,name ,def))
+		     (arglist `(,name ,def ,@(if supplied-test-p `(,supplied-test) nil)))
 		     (vars name)
 		     (types (get-slot name))))
 		  (t
@@ -1252,14 +1261,20 @@
 	  (arglist '&key)
 	  (dolist (key keys)
 	    (if (consp key)
-		(destructuring-bind (wot &optional (def nil def-p)) key
+		(destructuring-bind (wot
+                                     &optional
+                                     (def nil def-p)
+                                     (supplied-test nil supplied-test-p))
+                    key
 		  (let ((name (if (consp wot)
 				  (destructuring-bind (key var) wot
 				    (declare (ignore key))
 				    var)
 				  wot)))
-		    (multiple-value-bind (type slot-def) (get-slot name)
-		      (arglist `(,wot ,(if def-p def slot-def)))
+		    (multiple-value-bind (type slot-def)
+                        (get-slot name)
+		      (arglist `(,wot ,(if def-p def slot-def)
+                                 ,@(if supplied-test-p `(,supplied-test) nil)))
 		      (vars name)
 		      (types type))))
 		(do-default key))))
@@ -1405,7 +1420,6 @@
 	      :metaclass-name metaclass-name
 	      :metaclass-constructor metaclass-constructor
 	      :dd-type dd-type))
-	 (conc-name (concatenate 'string (symbol-name class-name) "-"))
 	 (dd-slots (dd-slots dd))
 	 (dd-length (1+ (length slot-names)))
 	 (object-gensym (gensym "OBJECT"))