X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=ea294313f4c7864d5fab2d01762fb16befa84cc8;hb=a2e934ad4e9545f1c6bbd8a9e9d3dd4d1c4698d9;hp=48a77541a9e8bc58d4c5a1268f5623149d06aac3;hpb=c25aa56131b52dda80bb06ec8414bd599e42ed03;p=sbcl.git

diff --git a/NEWS b/NEWS
index 48a7754..ea29431 100644
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,74 @@
 ;;;; -*- coding: utf-8; -*-
+changes in sbcl-1.0.20 relative to 1.0.19:
+  * minor incompatible change: OPTIMIZE qualities
+    SB-C::STACK-ALLOCATE-DYNAMIC-EXTENT, SB-C::STACK-ALLOCATE-VECTOR,
+    and SB-C::STACK-ALLOCATE-VALUE-CELLS no longer exist. See documentation
+    and SB-EXT:*STACK-ALLOCATE-DYNAMIC-EXTENT* for details.
+  * documentation: some slot access efficiency guidelines have been
+    added to the user manual.
+  * optimization: ASSOC-IF, ASSOC-IF-NOT, MEMBER-IF, MEMBER-IF-NOT,
+    RASSOC, RASSOC-IF, and RASSOC-IF-NOT are now equally efficient
+    as ASSOC and MEMEBER.
+  * optimization: calls to ASSOC, MEMBER, and RASSOC can be transformed
+    to more efficient EQ-comparison versions more often.
+  * optimization: enhanced derivation of DOLIST iteration variable type
+    for constant lists.
+  * optimization: constant folding of simple (LIST ...) forms as DOLIST
+    arguments.
+  * optimization: runtime lookup of function definitions can be
+    elided in more cases, eg: (let ((x 'foo)) (funcall foo)).
+  * optimization: compiler is able to derive the return type of
+    (AREF (THE STRING X) Y) as being CHARACTER.
+  * 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.
+  * bug fix: restart computation during the execution of a restart
+    test function no longer causes infinite recursion. (reported by
+    Michael Weber)
+  * bug fix: calling SB-COVER:REPORT with a non-directory pathname now
+    signals an error. (thanks to Pierre Mai)
+  * bug fix: EXPORT left symbol unexported in conflict situations.
+    (thanks to Michael Weber)
+  * bug fix: correctly handle name conflicts involving CL:NIL.
+    (thanks to Michael Weber)
+  * bug fix: RESOLVE-CONFLICT restart for name conflicts handles
+    conflicts arising from USEing package with conflicting symbols
+    correctly. (thanks to Michael Weber)
+
+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.
+    ** 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
     profiles only the current thread.
@@ -31,6 +101,11 @@ changes in sbcl-1.0.18 relative to 1.0.17:
     (reported by Yoshinori Tahara)
   * bug fix: more accurate disassembly annotations of foreign function
     calls.  (thanks to Andy Hefner)
+  * bug fix: trimming non-simple strings and non-string string
+    designators when the there is nothing to trim works properly.
+    (thanks to James Knight)
+  * new feature: SB-POSIX bindings for mlockall, munlockall, and setsid.
+    (thanks to Travis Cross)
   * fixed some bugs revealed by Paul Dietz' test suite:
     ** NIL is a valid function name (regression at 1.0.13.38)
     ** FILL on lists was missing its return value (regression at 1.0.12.27)