X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fctype.lisp;h=a7ebd89614a52bcc3037247836a1c0c440a58683;hb=ba7659c92f2b7fac7e9532a3db9114c5bdc4ab55;hp=043a52a3fe6049d2d9671a38aa8ee5c6954f0cf4;hpb=be9eb6c67b5f43a095c3de17bea945c309d662e4;p=sbcl.git

diff --git a/src/compiler/ctype.lisp b/src/compiler/ctype.lisp
index 043a52a..a7ebd89 100644
--- a/src/compiler/ctype.lisp
+++ b/src/compiler/ctype.lisp
@@ -340,10 +340,10 @@
   ;; The keyword name of this argument. Although keyword names don't
   ;; have to be keywords, we only match on keywords when figuring an
   ;; approximate type.
-  (name (required-argument) :type keyword)
+  (name (missing-arg) :type keyword)
   ;; The position at which this keyword appeared. 0 if it appeared as the
   ;; first argument, etc.
-  (position (required-argument) :type fixnum)
+  (position (missing-arg) :type fixnum)
   ;; a list of all the argument types that have been used with this keyword
   (types nil :type list)
   ;; true if this keyword has appeared only in calls with an obvious
@@ -552,8 +552,8 @@
 	       ((eq int *empty-type*)
 		(note-lossage
 		 "Definition's declared type for variable ~A:~%  ~S~@
-		   conflicts with this type from ~A:~%  ~S"
-		 (leaf-name var) (type-specifier vtype)
+		  conflicts with this type from ~A:~%  ~S"
+		 (leaf-debug-name var) (type-specifier vtype)
 		 where (type-specifier type))
 		(return-from try-type-intersections (values nil nil)))
 	       (t
@@ -753,7 +753,9 @@
 			      "Assignment to argument: ~S~%  ~
 			       prevents use of assertion from function ~
 			       type ~A:~%  ~S~%"
-			      (leaf-name var) where (type-specifier type))))
+			      (leaf-debug-name var)
+			      where
+			      (type-specifier type))))
 		  (t
 		   (setf (leaf-type var) type)
 		   (dolist (ref (leaf-refs var))