X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fctype.lisp;h=97923ac7d42e6d7b8bc1189fc3f2a24c8e59b8eb;hb=7ce2c42adf3d62f03086de940adaee48e6161a40;hp=8ec2cfc5d4f56be1cca4c9d4128cb0d5f3b466ac;hpb=c7410461f77fe65c2913b17d2936c4f6dea2c016;p=sbcl.git

diff --git a/src/compiler/ctype.lisp b/src/compiler/ctype.lisp
index 8ec2cfc..97923ac 100644
--- a/src/compiler/ctype.lisp
+++ b/src/compiler/ctype.lisp
@@ -742,7 +742,8 @@
 	 ((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
@@ -770,7 +771,7 @@
                               :unwinnage-fun #'compiler-note
                               :where "proclamation"))))
 
-;;;;
+;;;; FIXME: Move to some other file.
 (defun check-catch-tag-type (tag)
   (declare (type continuation tag))
   (let ((ctype (continuation-type tag)))