X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=BUGS;h=fed7fc371bee3e11a7489a93c6efcb53d43d08b3;hb=4ed3f0d08c3a57a6762018d9622f253ab9d0f2b6;hp=b2198f0f071e507e5467a05b99eb9f1be781cec0;hpb=bd312c14430db9621126f014b0b07f3d47399378;p=sbcl.git

diff --git a/BUGS b/BUGS
index b2198f0..fed7fc3 100644
--- a/BUGS
+++ b/BUGS
@@ -1190,3 +1190,12 @@ WORKAROUND:
   argument.  As a result, files with Lisp pathname pattern characters
   (#\* or #\?, for instance) or quotation marks can cause the system
   to perform arbitrary behaviour.
+
+297:
+  LOOP with non-constant arithmetic step clauses suffers from overzealous
+  type constraint: code of the form 
+    (loop for d of-type double-float from 0d0 to 10d0 by x collect d)
+  compiles to a type restriction on X of (AND DOUBLE-FLOAT (REAL
+  (0))).  However, an integral value of X should be legal, because
+  successive adds of integers to double-floats produces double-floats,
+  so none of the type restrictions in the code is violated.