1.0.19.3: more careful PROGV and SET
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 49d208a..5735d36 100644 (file)
--- a/NEWS
+++ b/NEWS
 ;;;; -*- 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.
+    ** 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.
+  * minor incompatible change: changes to SYMBOL-VALUE of constants
+    defined with DEFCONSTANT now signal an error.
+  * enhancement: SB-SPROF now has support for wallclock profiling,
+    and is also able to profile specific threads. REPORT output
+    has also additional sorting options.
+  * enhancement: better pretty-printing of DEFPACKAGE forms.  (Thanks
+    to Michael Weber)
+  * optimization: structure allocation has been improved
+    ** constructors created by non-toplevel DEFSTRUCTs are ~40% faster.
+    ** out of line constructors are ~10% faster.
+    ** inline constructors are ~15% faster.
+    ** inline constructors are capable of dynamic extent allocation
+       (generally on x86 and x86-64, in some cases on other platforms
+       as well.)
+  * optimization: simple uses of HANDLER-CASE and HANDLER-BIND no
+    longer cons.
+  * optimization: file compiler is now able to coalesce non-circular
+    lists, non-base strings, and bit-vectors. Additionally, constants
+    are never referenced through SYMBOL-VALUE at runtime.
+  * optimization: code defining methods on PRINT-OBJECT (and other
+    generic functions in the COMMON-LISP package) now loads faster.
+  * bug fix: EAI_NODATA is deprecated since RFC 3493. Stop using it
+    in sb-bsd-sockets.
+  * bug fix: if COMPILE-FILE aborts due to an unwind, the partial
+    fasl is now deleted. (reported by Attila Lendvai)
+  * bug fix: READ-LINE always returned NIL for the last line in files.
+    (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)
+    ** STRING-TRIM, STRING-LEFT-TRIM, and STRING-RIGHT-TRIM did not respect
+       fill pointers properly (regression at 1.0.12.23)
+    ** STRING-TRIM, STRING-LEFT-TRIM, and STRING-RIGHT-TRIM did not respect
+       displacement indices properly (regression at 1.0.12.23)   
+
+changes in sbcl-1.0.17 relative to 1.0.16:
+  * temporary regression: user code can no longer allocate closure
+    variable storage on stack, due to bug 419 without explicitly
+    requesting it. Please consult sbcl-devel for advice if you need to
+    use this feature in the meanwhile.
+  * new feature: runtime argument --control-stack-size can be used to
+    adjust thread default control stack size.
+  * enhancement: improved TIME output
+    ** all times are reported using the measured accuracy (milliseconds
+       for real and GC times, microseconds for everything else.)
+    ** processor cycle counts on x86 and x86-64.
+    ** interpreted forms are counted for both evaluator modes.
+    ** number of lambdas converted by the compiler is reported.
+    ** CPU percentage report (computed from real and total run time.)
+    ** more comprehensive run time reporting, using a condenced format
+    ** interperted form, lambda, and page fault counts are omitted
+       when zero.
+  * optimization: ADJOIN and PUSHNEW are upto ~70% faster in normal
+    SPEED policies.
+  * optimization: APPEND is upto ~10% faster in normal SPEED policies.
+  * optimization: two argument forms of LAST are upto ~10% faster
+    in normal SPEED policies.
+  * optimization: NCONC no longer needs to heap cons its &REST list
+    in normal SPEED policies.
+  * bug fix: SB-FLUID build feature no longer breaks the build. (thanks
+    to Sidney Markowitz)
+  * bug fix: UNION and NUNION work with :TEST-NOT once more,
+    regression since 1.0.9.1. (thanks to Eric Marsden)
+  * bug fix: result of MAKE-ARRAY can be stack allocated - regression
+    since 1.0.15.36. (thanks to Paul Khuong)
+  * bug fix: LAST when always returned the whole list when given a bignum
+    as the second argument.
+  * bug fix: dynamic extent allocation of nested lists and vectors
+    could leak to otherwise accessible parts.
+  * bug fix: invalid optimization of heap-allocated alien variable
+    reference.
+  * bug fix: fasl header checking is less vulnerable to different
+    platform word lengths.
+  * bug fix: more correct assembler syntax for GNU binutils
+    2.18.50.0.4 support.  (thanks to Marijn Schouten)
+  * bug fix: fix ECASE warnings from CMUCL-as-xc-host.  (reported by
+    Andreas Franke)
+  * bug fix: the fopcompiler can handle LOCALLY forms (with no
+    declarations) successfully.  (reported by Attila Lendvai)
+
 changes in sbcl-1.0.16 relative to 1.0.15:
+  * minor incompatible change: revert the changes to sb-posix's error
+    signaling added in 1.0.14.
   * minor incompatible change: change PROBE-FILE back to returning
     NIL whenever we can't get a truename, as was the case before 1.0.14.
+  * minor incompatible change: SB-BSD-SOCKETS:NAME-SERVICE-ERROR now
+    inherits from ERROR instead of just CONDITION.
+  * new feature: SB-INTROSPECT can provide source locations for instances
+    as well. (thanks to Tobian Ritterweiler)
+  * optimization: binding special variables now generates smaller code
+    on threaded platforms.
   * optimization: MEMBER and ASSOC are over 50% faster for :TEST #'EQ
     and cases where no :TEST is given but the compiler can infer that
     the element to search is of type (OR FIXNUM (NOT NUMBER)).
+  * optimization: better LOGNOT on fixnums.
+  * optimization: modular arithmetic for a particular requested width
+    is implemented using a tagged representation unless a better 
+    representation is available.
+  * fixed bug 423: TRULY-THE and *CHECK-CONSISTENCY* interaction.
+  * bug fix: SB-BSD-SOCKETS:MAKE-INET-ADDRESS checks the input string
+    for wellformedness and returns a specialized vector. (reported by
+    Francois-Rene Rideau)
+  * bug fix: FIND-CLASS was not thread-safe. (reported by Attila Lendvai)
+  * bug fix: ~R was broken for vigtillions. (thanks to Luis Oliveira)
+  * bug fix: attempt to obtain *SCHEDULER-LOCK* recursively when
+    unscheduling timer at the same time as another timer fires.
+  * bug fix: don't reschedule timers for dead threads.
   * bug fix: periodic polling was broken. (thanks to Espen S Johnsen)
   * bug fix: copying output from RUN-PROGRAM to a stream signalled
     bogus errors if select() was interrupted.