X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fknownfun.lisp;h=4030b09016558903605d42f41bea53582abae48d;hb=ba7659c92f2b7fac7e9532a3db9114c5bdc4ab55;hp=0baae50fa32de15ebe5a32fbe519650c2a6b76f2;hpb=dec94b039e8ec90baf21463df839a6181de606f6;p=sbcl.git

diff --git a/src/compiler/knownfun.lisp b/src/compiler/knownfun.lisp
index 0baae50..4030b09 100644
--- a/src/compiler/knownfun.lisp
+++ b/src/compiler/knownfun.lisp
@@ -66,7 +66,7 @@
 
 (defstruct (function-info #-sb-xc-host (:pure t))
   ;; Boolean attributes of this function.
-  (attributes (required-argument) :type attributes)
+  (attributes (missing-arg) :type attributes)
   ;; A list of Transform structures describing transforms for this function.
   (transforms () :type list)
   ;; A function which computes the derived type for a call to this function by
@@ -115,16 +115,25 @@
 
 ;;; an IR1 transform
 (defstruct (transform (:copier nil))
-  ;; the function-type which enables this transform
-  (type (required-argument) :type ctype)
+  ;; the function type which enables this transform.
+  ;;
+  ;; (Note that declaring this :TYPE FUN-TYPE probably wouldn't
+  ;; work because some function types, like (SPECIFIER-TYPE 'FUNCTION0
+  ;; itself, are represented as BUILT-IN-TYPE, and at least as of
+  ;; sbcl-0.pre7.54 or so, that's inconsistent with being a
+  ;; FUN-TYPE.)
+  (type (missing-arg) :type ctype)
   ;; the transformation function. Takes the COMBINATION node and returns a
   ;; lambda, or throws out.
-  (function (required-argument) :type function)
+  (function (missing-arg) :type function)
   ;; string used in efficiency notes
-  (note (required-argument) :type string)
+  (note (missing-arg) :type string)
   ;; T if we should emit a failure note even if SPEED=INHIBIT-WARNINGS.
   (important nil :type (member t nil))
-  ;; usable for byte code, native code, or both
+  ;; usable for byte code, native code, or both?
+  ;;
+  ;; FIXME: Now that there's no byte compiler, this is stale and could
+  ;; all go away.
   (when :native :type (member :byte :native :both)))
 
 (defprinter (transform) type note important when)
@@ -146,7 +155,8 @@
 			      (eq (transform-when x) when)))
 		       (function-info-transforms info))))
     (if old
-	(setf (transform-function old) fun (transform-note old) note)
+	(setf (transform-function old) fun
+	      (transform-note old) note)
 	(push (make-transform :type ctype :function fun :note note
 			      :important important :when when)
 	      (function-info-transforms info)))