open intervals and type derivation

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index a820ca0..51b81fa 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -61,6 +61,9 @@ changes relative to sbcl-1.0.56:
     allowing faster release of memory back to the OS. (lp#991293)
   * bug fix: WITH-DEADLINE (:SECONDS NIL :OVERRIDE T) now drops any
     existing deadline for the dynamic scope of its body.
+  * bug fix: compiler-internal interval arithmetic needed to be more
+    conservative about open intervals when operated on by monotonic but not
+    strictly-monotonic functions.  (lp#975528)
   * documentation:
     ** improved docstrings: REPLACE (lp#965592)
 
@@ -123,6 +126,8 @@ changes in sbcl-1.0.55 relative to sbcl-1.0.54:
   * optimization: the compiler no longer refuses to coerce large fixnums to
     single floats inline, except on x86 where this limitation is still
     necessary.
+  * optimization: truncation operations on integers with constant divisor
+    arguments 1 and -1 are optimized away.
   * bug fix: deadlock detection could report the same deadlock twice, for
     two different threads. Now a single deadlock is reported exactly once.
   * bug fix: interval-arithmetic division during type derivation did not
@@ -167,6 +172,7 @@ changes in sbcl-1.0.55 relative to sbcl-1.0.54:
     forms of MAKE-ARRAY with dynamic-extent. (lp#902351)
   * bug fix: some of the compile-time side-effects of DEFCLASS were not caught
     by package locks.
+  * bug fix: Proper handling of --dynamic-space-size option on 32 bit platforms.
 
 changes in sbcl-1.0.54 relative to sbcl-1.0.53:
   * minor incompatible changes: