0.7.13.17:

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index ac16198..9d069f5 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1506,13 +1506,15 @@ 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;
     ** an interface to the BSD Sockets API;
     ** an ACL-like convenience interface to the repl; 
        (thanks to Kevin Rosenberg)
+    ** an implementation of ROTATE-BYTE, with efficient implementation
+       on x86 hardware;
   * fixed a bug in LOG, so that LOG of a rational argument near 1 now
     gives a closer approximation to the right answer than previously.
     (thanks to Raymond Toy)
@@ -1549,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;
@@ -1560,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