0.pre7.110:

[sbcl.git] / src / compiler / ctype.lisp

diff --git a/src/compiler/ctype.lisp b/src/compiler/ctype.lisp
index 043a52a..a7ebd89 100644 (file)
--- 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))