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

diff --git a/NEWS b/NEWS
index f3a9e43..98a1fa2 100644
--- a/NEWS
+++ b/NEWS
@@ -1568,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