X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure-cload.lisp;h=b61f5e525b1ec2f0d60d42e932f1a8960d877e19;hb=15d6e7c9a2c3234f95dfe278046fa2fee1b0c007;hp=c21dad78638749a3d55a9baa8c85678445014c9e;hpb=ce18bcfe50994889a5e3245cacd8702b5a0ced89;p=sbcl.git

diff --git a/tests/compiler.pure-cload.lisp b/tests/compiler.pure-cload.lisp
index c21dad7..b61f5e5 100644
--- a/tests/compiler.pure-cload.lisp
+++ b/tests/compiler.pure-cload.lisp
@@ -101,6 +101,11 @@
            (optimize (speed 3) (safety 1) (debug 1)))
   (let ((v3 (min -1720 b))) (max v3 (logcount (if (= v3 b) b b)))))
 
+(defun #:foo (d)
+  (let ((v7 (flet ((%f16 () (labels ((%f3 () -8)) (%f3))))
+              (labels ((%f7 () (%f16)))  d))))
+    132887443))
+
 ;;; RESULT-FORM in DO is not contained in the implicit TAGBODY
 (assert (eq (handler-case (eval `(do ((x '(1 2 3) (cdr x)))
                                      ((endp x) (go :loop))
@@ -120,7 +125,6 @@
 ;;; Verify type checking policy in full calls: the callee is supposed
 ;;; to perform check, but the results should not be used before the
 ;;; check will be actually performed.
-#+nil
 (locally
     (declare (optimize (safety 3)))
   (flet ((bar (f a)
@@ -139,3 +143,7 @@
                              (make-array 1 :element-type '(unsigned-byte 32)
                                          :initial-element n))
                     nil)))))))
+
+;;; bug 261
+(let ((x (list (the (values &optional fixnum) (eval '(values))))))
+  (assert (equal x '(nil))))