X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=ee8ebef0ab0d673026138e43fd893d8c546fb282;hb=e3f68bde025bd0602cf554e1eaf5935aaa74662a;hp=68014ed9782c62e6ac6e79e37058f8884d54cd27;hpb=7f029da277c068fd346c5d95303f7e4eeafbdcfc;p=sbcl.git

diff --git a/NEWS b/NEWS
index 68014ed..ee8ebef 100644
--- a/NEWS
+++ b/NEWS
@@ -2119,8 +2119,26 @@ changes in sbcl-0.8.5 relative to sbcl-0.8.4:
     #lisp)
   * fixed bug 141b: printing backquoted information readably and prettily
     inserts a space where necessary.
+  * bug fix: obviously wrong type specifiers such as (FIXNUM 1) or
+    (CHARACTER 10) are now reported as errors, rather than propagated
+    as unknown types.  (reported by piso on #lisp)
+  * bug fix: the :IF-EXISTS argument to OPEN now behaves correctly
+    with values NIL and :ERROR.  (thanks to Milan Zamazal)
+  * fixed bug 191c: CLOS now does proper keyword argument checking as
+    described in CLHS 7.6.5 and 7.6.5.1.
+  * bug fix: LOOP forms using NIL as a for-as-arithmetic counter no
+    longer raise an error; further, using a list as a for-as-arithmetic
+    counter now raises a meaningful error.
+  * fixed bug 213a: even fairly unreasonable CONS type specifiers are
+    now understood by sequence creation functions such as MAKE-SEQUENCE
+    and COERCE.
   * compiler enhancement: SIGNUM is now better able to derive the type
     of its result.
+  * type declarations inside WITH-SLOTS are checked.  (reported by
+    salex on #lisp)
+  * loading incompatible FASLs, e.g. those produced by an incompatible
+    lisp implementation, cause a condition of type SB-EXT:INVALID-FASL
+    (a subtype of ERROR) to be raised.
   * fixed some bugs revealed by Paul Dietz' test suite:
     ** incorrect optimization of TRUNCATE for a positive first
        argument and negative second.
@@ -2129,6 +2147,8 @@ changes in sbcl-0.8.5 relative to sbcl-0.8.4:
        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