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

diff --git a/NEWS b/NEWS
index f5654b9..ee8ebef 100644
--- a/NEWS
+++ b/NEWS
@@ -2124,8 +2124,21 @@ changes in sbcl-0.8.5 relative to sbcl-0.8.4:
     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.