X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=90bf9310118075eacfa1670768ae778736219f83;hb=2db3b6b4cb740d5b6512459c223859f747807b09;hp=f3a9e43d9c069d4d0c1aa655b10b07dff7a08be8;hpb=2217cdb364e8b48c187b085895bb2a5cbdbd9622;p=sbcl.git

diff --git a/NEWS b/NEWS
index f3a9e43..90bf931 100644
--- 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;
@@ -1557,6 +1557,9 @@ changes in sbcl-0.7.13 relative to sbcl-0.7.12:
     Furthermore, a compliance bug has been fixed: SLOT-MISSING is now
     always called when a slot is not present in an instance.  (thanks
     to Gerd Moellmann)
+  * fixed a bug related to CONCATENATED-STREAMs: PEEK-CHAR will no
+    longer signal an error on unreading a character following EOF on
+    the previous constituent stream.  (thanks to Tony Martinez)
   * fixed some bugs revealed by Paul Dietz' test suite:
     ** ARRAY-IN-BOUNDS-P now allows arbitrary integers as arguments,
        not just nonnegative fixnums;
@@ -1568,6 +1571,31 @@ changes in sbcl-0.7.13 relative to sbcl-0.7.12:
     ** the type system is now cleverer about negations of numeric
        types, and consequently understands the BIGNUM and RATIO types
        better;
+    ** the type system is now cleverer about the interaction between
+       INTEGER and RATIO types: while bugs still remain, many more
+       cases are accurately computed;
+    ** in TYPECASE, OTHERWISE now only introduces an otherwise-clause
+       if it is in the last clause;
+    ** CONSTANTLY now correctly returns a side-effect-free function in
+       all cases;
+    ** DECLARE is no longer treated as a special-operator; in
+       particular, SPECIAL-OPERATOR-P no longer returns T for DECLARE;
+  * 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