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

diff --git a/NEWS b/NEWS
index e107e6a..98a1fa2 100644
--- a/NEWS
+++ b/NEWS
@@ -1551,6 +1551,12 @@ 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 some bugs revealed by Paul Dietz' test suite:
     ** ARRAY-IN-BOUNDS-P now allows arbitrary integers as arguments,
        not just nonnegative fixnums;
@@ -1562,6 +1568,13 @@ 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;
 
 planned incompatible changes in 0.7.x:
   * (not done yet, but planned:) When the profiling interface settles