X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=9d069f5be385d555bed58e87d33eda6b85d6c577;hb=40bf78b47ea89b15698adb9c550efa4cbacafeb7;hp=e107e6ae62662fbe7c882e1b5b66162cec009723;hpb=cec71f1e4e1ead387f2ea642f760e553b6053f2b;p=sbcl.git

diff --git a/NEWS b/NEWS
index e107e6a..9d069f5 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;
@@ -1551,6 +1551,15 @@ changes in sbcl-0.7.13 relative to sbcl-0.7.12:
   * the compiler is now aware that SYMBOL-FUNCTION returns a FUNCTION
     and that READ-DELIMITED-LIST returns a LIST.  (thanks to Robert
     E. Brown and Tony Martinez respectively)
+  * PCL is now smarter about SLOT-VALUE, (SETF SLOT-VALUE) and
+    SLOT-BOUNDP: in particular, it is now able to optimize them much
+    better, and is now not vulnerable to having packages renamed.
+    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;
@@ -1562,6 +1571,28 @@ 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 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;
+  * 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)
 
 planned incompatible changes in 0.7.x:
   * (not done yet, but planned:) When the profiling interface settles