X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fearly-type.lisp;h=c05ba96c7634247c997747ae21bd66547da1934c;hb=a37de74b393a808825585000bb5b2b92218d46c0;hp=5276a3517e87f71ba9a749f1b212cbb9ea175783;hpb=334af30b26555f0bf706f7157b399bdbd4fad548;p=sbcl.git

diff --git a/src/code/early-type.lisp b/src/code/early-type.lisp
index 5276a35..c05ba96 100644
--- a/src/code/early-type.lisp
+++ b/src/code/early-type.lisp
@@ -118,7 +118,7 @@
   ;; 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)
@@ -134,12 +134,12 @@
 
 (!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))