X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=02d68b488f05a5edb7163e154686f0ceacb19f6c;hb=421c1e5fba9f89bd137d2f407ff86100b2f88cef;hp=86b4d82374db562eef13fb5ea1dcc974c76acf76;hpb=8871a1f72225f959a454a1b77f7a0e85642ba427;p=sbcl.git

diff --git a/NEWS b/NEWS
index 86b4d82..02d68b4 100644
--- a/NEWS
+++ b/NEWS
@@ -1778,14 +1778,17 @@ changes in sbcl-0.8.1 relative to sbcl-0.8.0:
     were silently accepted).
   * minor incompatible change: COMPILE-FILE now uses the freedom
     afforded (ANSI 3.2.2.3) to use derived function types for
-    functions defined in the same file.  This also permits the system
-    to warn on static type mismatches and function redefinition.
+    functions defined in the same file. This also permits the system
+    to warn on static type mismatches and function
+    redefinition.  (Currently it does not work with high DEBUG level.)
   * changes in type checking closed the following bugs:
     ** type checking of unused values (192b, 194d, 203);
     ** template selection based on unsafe type assertions (192c, 236);
     ** type checking in branches (194bc).
   * VALUES declaration is disabled.
-  * a short form of VALUES type specifier has ANSI meaning.
+  * a short form of VALUES type specifier has ANSI meaning (it has
+    increased the number of situations when SBCL cannot perform type
+    checking).
   * fixed bug in DEFSTRUCT: once again, naming structure slots with
     keywords or constants is permissible.
   * STREAM-READ-SEQUENCE and STREAM-WRITE-SEQUENCE now have methods