0.6.11.29:

[sbcl.git] / BUGS

diff --git a/BUGS b/BUGS
index 5400789..37e8fed 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -833,17 +833,39 @@ Error in function C::GET-LAMBDA-TO-COMPILE:
                  unsigned-byte
                  (integer -1 1))) => NIL,T
   An analogous problem with SINGLE-FLOAT and REAL types was fixed in 
-  sbcl-0.6.11.22, but some peculiarites of the RATIO type makes it 
+  sbcl-0.6.11.22, but some peculiarites of the RATIO type make it 
   awkward to generalize the fix to INTEGER and RATIONAL. It's not 
   clear what's the best fix. (See the "bug in type handling" discussion
   on cmucl-imp ca. 2001-03-22 and ca. 2001-02-12.)
 
-92:
-  (< SB-EXT:SINGLE-FLOAT-POSITIVE-INFINITY 100) signals an error:
-    error in function SB-KERNEL:INTEGER-DECODE-SINGLE-FLOAT:
-      can't decode NaN or infinity: #.EXT:SINGLE-FLOAT-POSITIVE-INFINITY
-  This is a bug in the original CMU CL code. I reported it to cmucl-imp
-  2001-03-22 in hopes that they'll fix it for us.
+93:
+  In sbcl-0.6.11.26, (COMPILE 'IN-HOST-COMPILATION-MODE) in
+  src/cold/shared.lisp doesn't correctly translate the
+  interpreted function
+    (defun in-host-compilation-mode (fn)
+      (let ((*features* (cons :sb-xc-host *features*))
+            ;; the CROSS-FLOAT-INFINITY-KLUDGE, as documented in
+            ;; base-target-features.lisp-expr:
+            (*shebang-features* (set-difference *shebang-features*
+                                                '(:sb-propagate-float-type
+                                                  :sb-propagate-fun-type))))
+        (with-additional-nickname ("SB-XC" "SB!XC")
+          (funcall fn))))
+  No error is reported by the compiler, but when the function is executed,
+  it causes an error
+    TYPE-ERROR in SB-KERNEL::OBJECT-NOT-TYPE-ERROR-HANDLER:
+      (:LINUX :X86 :IEEE-FLOATING-POINT :SB-CONSTRAIN-FLOAT-TYPE :SB-TEST
+       :SB-INTERPRETER :SB-DOC :UNIX ...) is not of type SYMBOL.
+
+94: 
+  As reported by Christophe Rhodes on sbcl-devel 2001-03-28, the
+  old declaration 
+   (declaim (ftype (function (list list symbol t) list) parse-deftransform))
+  above DEFUN PARSE-DEFTRANSFORM was incorrect. The bad declaration was
+  removed in sbcl-0.6.11.28, but the compiler problem remains: the compiler
+  should've complained about the mismatch between the declaration and the
+  definition, and didn't. (The compiler in cmucl-2.5.1 does detect the 
+  problem and complain.)
 
 
 KNOWN BUGS RELATED TO THE IR1 INTERPRETER