X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fcompiler.test.sh;h=39098a7452f256518cb9c15467b518df2209c5c4;hb=5efae2334933e0d8a998e8abbc12489cd5043b4d;hp=87e3026d6901b9e2f1ae33c4f9f6989bf14329de;hpb=5fa4a761bfbc8fd2016fd63725c98e8e29e6d5b8;p=sbcl.git

diff --git a/tests/compiler.test.sh b/tests/compiler.test.sh
index 87e3026..39098a7 100644
--- a/tests/compiler.test.sh
+++ b/tests/compiler.test.sh
@@ -469,5 +469,17 @@ cat > $tmpfilename <<EOF
 EOF
 expect_clean_cload $tmpfilename
 
+cat > $tmpfilename <<EOF
+(in-package :cl-user)
+
+(defun foo ()
+  (declare (muffle-conditions warning))
+  (let ((em 0d0))
+    (declare (type double-float em))
+    (dotimes (i 42)
+      (setf em (float (1+ i))))))
+EOF
+expect_clean_compile $tmpfilename
+
 # success
 exit $EXIT_TEST_WIN