0.8.4.14:

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index 68014ed..eea0087 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -2119,6 +2119,9 @@ 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)
   * compiler enhancement: SIGNUM is now better able to derive the type
     of its result.
   * fixed some bugs revealed by Paul Dietz' test suite:
@@ -2129,6 +2132,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