0.8.0.64

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index 5c54d08..02d68b4 100644 (file)
--- 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
@@ -1802,7 +1805,9 @@ changes in sbcl-0.8.1 relative to sbcl-0.8.0:
   * bug fix: defining a generic function with a :METHOD-CLASS being a
     subclass of STANDARD-METHOD no longer causes stack exhaustion.
     (thanks to Gerd Moellmann)
-  * increased compilation speed of long MULTIPLE-VALUES-BIND.
+  * fixed bug 246: increased compilation speed of long
+    MULTIPLE-VALUE-BIND (and likewise of NTH-VALUE with a constant
+    integer argument).
   * a contributed module implementing COMPILER-LET and MACROEXPAND-ALL
     has been included.
   * DEFCONSTANT now throws a condition of type
@@ -1813,6 +1818,13 @@ changes in sbcl-0.8.1 relative to sbcl-0.8.0:
     is better at handling symbol macros.
   * bug fix: there is no longer a type named LENGTH.  (reported by
     Raymond Toy)
+  * bug fix: in macro-like defining macros/special operators the
+    implicit block does not enclose lambda list.
+  * fixed bugs 10 and 43: VALUES, AND, OR and MEMBER are not suitable as 
+    atomic type specifiers, and their use properly signals an error now.
+  * bug fix: an argument count mismatch for a type specifier in code
+    being compiled no longer causes an unhandled error at compile
+    time, but signals a compile-time warning.
   * fixed some bugs revealed by Paul Dietz' test suite:
     ** NIL is now allowed as a structure slot name.
     ** arbitrary numbers, not just reals, are allowed in certain