X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=5735d3645ed041d6d75c89f5b583e4d293b0c920;hb=960a9fbd48e695e5b970a01315aa687ab59dc3fe;hp=098042c5242181c4d05762e5cbf460a2221d3ce6;hpb=04f74c8cbe98704aa761e187741984bc8fe3983f;p=sbcl.git

diff --git a/NEWS b/NEWS
index 098042c..5735d36 100644
--- a/NEWS
+++ b/NEWS
@@ -1,12 +1,42 @@
 ;;;; -*- coding: utf-8; -*-
+changes in sbcl-1.0.20 relative to 1.0.19:
+  * bug fix: fixed #427: unused local aliens no longer cause compiler
+    breakage. (reported by Stelian Ionescu, Andy Hefner and Stanislaw
+    Halik)
+  * bug fix: non-local exit from a WITH-ALIEN form no longer causes
+    alien-stack leakage. (reported by Andy Hefner)
+  * bug fix: PROGV signals an error when an attempt to violate declared
+    type of a variable or bind a constant is made.
+  * bug fix: SET signals an error when an attempt to violate declared
+    type of a variable is made.
+
 changes in sbcl-1.0.19 relative to 1.0.18:
+  * new feature: user-customizable variable SB-EXT:*MUFFLED-WARNINGS*;
+    warnings that go otherwise unhandled will be muffled if they are
+    of the type that's the value of this variable.  
+  * optimization: stack allocation is slightly more efficient on x86
+    and x86-64.
+  * bug fix: DEFSTRUCT forms with user-specified :CONSTRUCTOR options,
+    where a raw slot always is initialized using the initform whose
+    type is not know sufficiently well a compile-time are now compiled
+    correctly. (reported by John Morrison)
   * bug fix: compiler no longer makes erronous assumptions in the
     presense of non-foldable SATISFIES types.
+  * bug fix: stack analysis missed cleanups of dynamic-extent
+    arguments in non-let-converted calls to local functions.
+  * improvements to the Windows port:
+    ** adjusted address spaces for building on both Win32 and
+       Win64. (thanks for John Connors)
   * fixed some bugs revealed by Paul Dietz' test suite:
     ** interval arithmetic during type derivation used inexact integer
        to single-float coercions.
-    ** artihmetic operations involving large integers and single
+    ** arithmetic operations involving large integers and single
        floats give the same results in compiled and interpreted code.
+    ** deriving the result type of COERCE no longer signals an error
+       if the derived type of the second argument is a MEMBER type
+       containing invalid type specifiers.
+    ** ADJOIN with constant NIL as second argument works correctly.
+    ** FUNCTION-KEYWORDS was called SB-PCL::FUNCTION-KEYWORD-PARAMETERS.
 
 changes in sbcl-1.0.18 relative to 1.0.17:
   * minor incompatible change: SB-SPROF:WITH-PROFILING now by default