projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.8.0.78.vector-nil-string.11:
[sbcl.git]
/
src
/
compiler
/
checkgen.lisp
diff --git
a/src/compiler/checkgen.lisp
b/src/compiler/checkgen.lisp
index
ec5e9aa
..
9d13c97
100644
(file)
--- a/
src/compiler/checkgen.lisp
+++ b/
src/compiler/checkgen.lisp
@@
-244,6
+244,7
@@
((and (continuation-single-value-p cont)
(or (not (args-type-rest ctype))
(eq (args-type-rest ctype) *universal-type*)))
((and (continuation-single-value-p cont)
(or (not (args-type-rest ctype))
(eq (args-type-rest ctype) *universal-type*)))
+ (principal-continuation-single-valuify cont)
(let ((creq (car (args-type-required ctype))))
(multiple-value-setq (ctype atype)
(if creq
(let ((creq (car (args-type-required ctype))))
(multiple-value-setq (ctype atype)
(if creq
@@
-486,9
+487,9
@@
(:too-hairy
(let ((*compiler-error-context* cast))
(when (policy cast (>= safety inhibit-warnings))
(:too-hairy
(let ((*compiler-error-context* cast))
(when (policy cast (>= safety inhibit-warnings))
- (compiler-note
+ (compiler-notify
"type assertion too complex to check:~% ~S."
"type assertion too complex to check:~% ~S."
- (type-specifier (cast-asserted-type cast)))))
+ (type-specifier (coerce-to-values (cast-asserted-type cast))))))
(setf (cast-type-to-check cast) *wild-type*)
(setf (cast-%type-check cast) nil)))))))
(values))
(setf (cast-type-to-check cast) *wild-type*)
(setf (cast-%type-check cast) nil)))))))
(values))