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

diff --git a/src/compiler/ctype.lisp b/src/compiler/ctype.lisp
index 37907bb..a7ebd89 100644
--- a/src/compiler/ctype.lisp
+++ b/src/compiler/ctype.lisp
@@ -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))