X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.pure.lisp;h=69fcd3cf9d13ccde4f026cedfee87772a94bca24;hb=0e03a9ac950b78d776c4869c809e202d9e929f39;hp=9167b6b66da50341b591bad6f8b7f21a3bc32492;hpb=bb2a6727268d4b7275efd7328169df9db34fe9d9;p=sbcl.git

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 9167b6b..69fcd3c 100644
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -2190,3 +2190,14 @@
 
 (compile nil '(lambda (x) (declare (fixnum x))
                (logand most-positive-fixnum (* x most-positive-fixnum))))
+
+;;; bug 256.b
+(assert (let (warned-p)
+            (handler-bind ((warning (lambda (w) (setf warned-p t))))
+              (compile nil
+                         '(lambda (x)
+                           (list (let ((y (the real x)))
+                                   (unless (floatp y) (error ""))
+                                   y)
+                                 (integer-length x)))))
+            warned-p))