0.7.12.44:

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index f3a9e43..98a1fa2 100644 (file)
--- 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