0.8.2.55:

        * New bugs.

diff --git a/BUGS b/BUGS
index bd1c01e..84357b1 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -490,6 +490,7 @@ WORKAROUND:
   it took more than two minutes (but less than five) for me.
 
 145:
+  a.
   ANSI allows types `(COMPLEX ,FOO) to use very hairy values for
   FOO, e.g. (COMPLEX (AND REAL (SATISFIES ODDP))). The old CMU CL
   COMPLEX implementation didn't deal with this, and hasn't been
@@ -497,6 +498,18 @@ WORKAROUND:
   conformance problem, since seems hard to construct useful code
   where it matters.)
 
+  b.
+  * (defun foo (x)
+      (declare (type (double-float -0d0) x))
+      (declare (optimize speed))
+      (+ x (sqrt (log (random 1d0)))))
+  debugger invoked on condition of type SIMPLE-ERROR:
+    bad thing to be a type specifier: ((COMPLEX
+                                        (DOUBLE-FLOAT 0.0d0
+                                                      #.SB-EXT:DOUBLE-FLOAT-POSITIVE-INFINITY))
+                                       #C(0.0d0 #.SB-EXT:DOUBLE-FLOAT-POSITIVE-INFINITY)
+                                       #C(0.0d0 #.SB-EXT:DOUBLE-FLOAT-POSITIVE-INFINITY))
+
 146:
   Floating point errors are reported poorly. E.g. on x86 OpenBSD
   with sbcl-0.7.1, 
@@ -1089,6 +1102,10 @@ WORKAROUND:
 
   (taken from CLOCC)
 
+277:
+  IGNORE/IGNORABLE declarations should be acceptable for symbol
+  macros.
+
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:

diff --git a/OPTIMIZATIONS b/OPTIMIZATIONS
index 3b6ebe1..51fcb32 100644 (file)
--- a/OPTIMIZATIONS
+++ b/OPTIMIZATIONS
@@ -151,3 +151,8 @@ tests lowtag.
 FAST-+/FIXNUM and similar should accept unboxed arguments in interests
 of representation selection. Problem: inter-TN dependencies.
 --------------------------------------------------------------------------------
+#14
+The derived type of (/ (THE (DOUBLE-FLOAT (0D0)) X) (THE (DOUBLE-FLOAT
+1D0) Y)) is (DOUBLE-FLOAT 0.0d0). While it might be reasonable, it is
+better to derive (DOUBLE-FLOAT (-0.0d0)).
+--------------------------------------------------------------------------------

diff --git a/version.lisp-expr b/version.lisp-expr
index 369bf16..1b3a56b 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.2.54"
+"0.8.2.55"