projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.pre8.4
[sbcl.git]
/
src
/
compiler
/
ctype.lisp
diff --git
a/src/compiler/ctype.lisp
b/src/compiler/ctype.lisp
index
8ec2cfc
..
97923ac
100644
(file)
--- a/
src/compiler/ctype.lisp
+++ b/
src/compiler/ctype.lisp
@@
-742,7
+742,8
@@
((not really-assert) t)
(t
(when atype
((not really-assert) t)
(t
(when atype
- (assert-continuation-type (return-result return) atype))
+ (assert-continuation-type (return-result return) atype
+ (lexenv-policy (functional-lexenv functional))))
(loop for var in vars and type in types do
(cond ((basic-var-sets var)
(when (and unwinnage-fun
(loop for var in vars and type in types do
(cond ((basic-var-sets var)
(when (and unwinnage-fun
@@
-770,7
+771,7
@@
:unwinnage-fun #'compiler-note
:where "proclamation"))))
\f
:unwinnage-fun #'compiler-note
:where "proclamation"))))
\f
-;;;;
+;;;; FIXME: Move to some other file.
(defun check-catch-tag-type (tag)
(declare (type continuation tag))
(let ((ctype (continuation-type tag)))
(defun check-catch-tag-type (tag)
(declare (type continuation tag))
(let ((ctype (continuation-type tag)))