0.pre7.71:
[sbcl.git] / src / code / early-type.lisp
index 5276a35..c05ba96 100644 (file)
   ;; Lists of the type for each required and optional argument.
   (required nil :type list)
   (optional nil :type list)
-  ;; The type for the rest arg. NIL if there is no rest arg.
+  ;; The type for the rest arg. NIL if there is no &REST arg.
   (rest nil :type (or ctype null))
   ;; true if &KEY arguments are specified
   (keyp nil :type boolean)
 
 (!define-type-class values)
 
-(defstruct (function-type
-           (:include args-type
-                     (class-info (type-class-or-lose 'function))))
-  ;; True if the arguments are unrestrictive, i.e. *.
+;;; (SPECIFIER-TYPE 'FUNCTION) and its subtypes
+(defstruct (fun-type (:include args-type
+                              (class-info (type-class-or-lose 'function))))
+  ;; true if the arguments are unrestrictive, i.e. *
   (wild-args nil :type boolean)
-  ;; Type describing the return values. This is a values type
+  ;; type describing the return values. This is a values type
   ;; when multiple values were specified for the return.
   (returns (required-argument) :type ctype))