X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=NEWS;h=d57ed10cf9819f225b40b0d3b777b346cecb33c7;hb=11f02398a1a9ccbde847c82fd233e8378e45c29c;hp=06c04a0d7a480f91308e3a99e551000788727d05;hpb=224466fab9dc4e8b3faf13a121f827f198811bf6;p=sbcl.git

diff --git a/NEWS b/NEWS
index 06c04a0..d57ed10 100644
--- a/NEWS
+++ b/NEWS
@@ -2107,6 +2107,31 @@ changes in sbcl-0.8.4 relative to sbcl-0.8.3:
     been incremented (because of the changes to internal compiler
     data structures referred to above).
 
+changes in sbcl-0.8.5 relative to sbcl-0.8.4:
+  * in full calls compiler does not generate checks for declared
+    argument types for all arguments.
+  * fix bug 282: compiler does not trust type assertions while passing
+    arguments to a full call.
+  * fix bug 261: compiler allows NIL or "no value" to be accepted for
+    &OPTIONAL VALUES type parameter.
+  * fix bug 214: algorithm for noting rejected templates is now more
+    similar to that of template seletion. (also reported by rydis on
+    #lisp)
+  * fixed bug 141b: printing backquoted information readably and prettily
+    inserts a space where necessary.
+  * compiler enhancement: SIGNUM is now better able to derive the type
+    of its result.
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** incorrect optimization of TRUNCATE for a positive first
+       argument and negative second.
+    ** compiler failure in let-convertion during flushing dead code.
+    ** compiler failure while deriving type of TRUNCATE on an
+       interval, containing 0.
+    ** ASH of a negative bignum by a negative bignum count now returns
+       -1, not 0.
+    ** intersection of CONS types now canonicalizes properly, fixing
+       inconsistencies in SUBTYPEP.
+
 planned incompatible changes in 0.8.x:
   * (not done yet, but planned:) When the profiling interface settles
     down, it might impact TRACE. They both encapsulate functions, and