projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.pre7.86.flaky7.23:
[sbcl.git]
/
src
/
compiler
/
ctype.lisp
diff --git
a/src/compiler/ctype.lisp
b/src/compiler/ctype.lisp
index
37907bb
..
a7ebd89
100644
(file)
--- 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~@
((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
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~%"
"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))
(t
(setf (leaf-type var) type)
(dolist (ref (leaf-refs var))