0.7.13.21:

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index d547abe..90bf931 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1506,7 +1506,7 @@ changes in sbcl-0.7.13 relative to sbcl-0.7.12:
     SBCL now looks for its core file in /usr/{local/,}lib/sbcl/sbcl.core 
     if it's not in $SBCL_HOME.  It also sets SBCL_HOME to match.
   * REQUIRE and PROVIDE are now optionally capable of doing something
-    useful: see the documentation string for REQUIRE
+    useful. See the documentation string for REQUIRE.
   * infrastructure for a managed SBCL contrib system: contributed 
     modules in this release include:
     ** the ASDF system definition facility;
@@ -1583,6 +1583,20 @@ changes in sbcl-0.7.13 relative to sbcl-0.7.12:
   * incremented fasl file version number due to the change in the
     DEFSTRUCT-SLOT-DESCRIPTION structure.
 
+changes in sbcl-0.7.14 relative to sbcl-0.7.13:
+  * fixed CEILING optimization for a divisor of form 2^k.
+  * fixed bug 240 (emitting extra style warnings "using the lexical
+    binding of the symbol *XXX*" for &OPTIONAL arguments).  (reported
+    by Antonio Martinez)
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** a bug in the CONS type specifier, whereby the CAR and CDR
+       types got intertwined, has been fixed;
+    ** the type system is now able to reason about the interaction
+       between INTEGER and RATIO types more completely;
+    ** APPEND checks its arguments for being proper lists;
+    ** An array specialized to be unable to hold elements has been
+       implemented (as required -- yes, really) by ANSI;
+
 planned incompatible changes in 0.7.x:
   * (not done yet, but planned:) When the profiling interface settles
     down, maybe in 0.7.x, maybe later, it might impact TRACE. They both