X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Flate-type.lisp;h=eec991e1d58e043951e5ff913801126af9b138fd;hb=ec6d4bd97d9adc6f4003747d8ca92fad7766ccfd;hp=b3c07fd3605cf4e742c26d5897995d96f097f3c6;hpb=be9eb6c67b5f43a095c3de17bea945c309d662e4;p=sbcl.git

diff --git a/src/code/late-type.lisp b/src/code/late-type.lisp
index b3c07fd..eec991e 100644
--- a/src/code/late-type.lisp
+++ b/src/code/late-type.lisp
@@ -131,10 +131,10 @@
 ;;; the description of a &KEY argument
 (defstruct (key-info #-sb-xc-host (:pure t)
 		     (:copier nil))
-  ;; the key (not necessarily a keyword in ANSI)
-  (name (required-argument) :type symbol)
+  ;; the key (not necessarily a keyword in ANSI Common Lisp)
+  (name (missing-arg) :type symbol)
   ;; the type of the argument value
-  (type (required-argument) :type ctype))
+  (type (missing-arg) :type ctype))
 
 (!define-type-method (values :simple-subtypep :complex-subtypep-arg1)
 		     (type1 type2)
@@ -229,12 +229,12 @@
 (!define-type-class constant :inherits values)
 
 (!define-type-method (constant :unparse) (type)
-  `(constant-argument ,(type-specifier (constant-type-type type))))
+  `(constant-arg ,(type-specifier (constant-type-type type))))
 
 (!define-type-method (constant :simple-=) (type1 type2)
   (type= (constant-type-type type1) (constant-type-type type2)))
 
-(!def-type-translator constant-argument (type)
+(!def-type-translator constant-arg (type)
   (make-constant-type :type (specifier-type type)))
 
 ;;; Given a LAMBDA-LIST-like values type specification and an ARGS-TYPE
@@ -381,12 +381,12 @@
 (defun fixed-values-op (types1 types2 rest2 operation)
   (declare (list types1 types2) (type ctype rest2) (type function operation))
   (let ((exact t))
-    (values (mapcar #'(lambda (t1 t2)
-			(multiple-value-bind (res win)
-			    (funcall operation t1 t2)
-			  (unless win
-			    (setq exact nil))
-			  res))
+    (values (mapcar (lambda (t1 t2)
+		      (multiple-value-bind (res win)
+			  (funcall operation t1 t2)
+			(unless win
+			  (setq exact nil))
+			res))
 		    types1
 		    (append types2
 			    (make-list (- (length types1) (length types2))
@@ -1714,8 +1714,8 @@
     ;; See whether dimensions are compatible.
     (cond ((not (or (eq dims1 '*) (eq dims2 '*)
 		    (and (= (length dims1) (length dims2))
-			 (every #'(lambda (x y)
-				    (or (eq x '*) (eq y '*) (= x y)))
+			 (every (lambda (x y)
+				  (or (eq x '*) (eq y '*) (= x y)))
 				dims1 dims2))))
 	   (values nil t))
 	  ;; See whether complexpness is compatible.