X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=NEWS;h=807f3d4bc7cb10b0a0573aa2a1c45b7efd58f366;hb=5f492c8a8eea8a407d82de104e16b7148a7f9eb8;hp=d42783faa4def786729eff07eb820db6a51d4a22;hpb=d0552bdb80b50eb2c600de19b89b2d7139c4841c;p=sbcl.git

diff --git a/NEWS b/NEWS
index d42783f..807f3d4 100644
--- a/NEWS
+++ b/NEWS
@@ -1890,6 +1890,19 @@ changes in sbcl-0.8.2 relative to sbcl-0.8.1:
     circumstances could go off-by-one.
   * improved MACHINE-VERSION, especially on Linux (thanks to Lars
     Brinkhoff)
+  * type declarations for array element types now obey the description
+    on the CLHS page "Declaration TYPE", as per discussions on
+    sbcl-help around 2003-05-08.  This means that a declaration 
+    (TYPE (ARRAY FOO) BAR) means that, within the scope of the
+    declaration, all references to BAR will be asserted or assumed
+    (with THE, so dependent on compiler policy) to involve objects of
+    type FOO.  Note that no such declaration is implied in 
+    (MAKE-ARRAY .. :ELEMENT-TYPE 'FOO).
+  * declared types of functions from the "Conditions"
+    chapter. (reported by Paul Dietz)
+  * bug fix: CERROR accepts a function as its first argument.
+  * bug fix: NTH an NTHCDR accept a bignum as index
+    arguments. (reported by Adam Warner)
 
 planned incompatible changes in 0.8.x:
   * (not done yet, but planned:) When the profiling interface settles