0.8.21.12: compiler message fixes
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 5bd50ee..bf21ede 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,10 +1,58 @@
+changes in sbcl-0.8.22 relative to sbcl-0.8.21:
+  * incompatible change: the --noprogrammer option, deprecated since
+    version 0.7.5, has been removed.  Please use the equivalent
+    --disable-debugger option instead.
+  * Null lexical environments are now printed as #<NULL-LEXENV>, 
+    significantly reducing the amount of clutter in typical backtraces.
+  * improved the startup banner.  (thanks to Brian Mastenbrook and
+    Teemu Kalvas)
+  * optimization: REPLACE on declared (UNSIGNED-BYTE 8) vectors, as well
+    as other specialized array types, is much faster.  SUBSEQ and
+    COPY-SEQ on such arrays have also been sped up.
+  * fixed bug: compiler error messages and summaries are now printed to 
+    *ERROR-OUTPUT*, not *STANDARD-OUTPUT*.
+  * fixed inference of the upper bound of an iteration variable.
+    (reported by Rajat Datta).
+  * fixed bug 376: CONJUGATE type deriver.
+  * fixed infinite looping of ALIEN-FUNCALL, compiled with high DEBUG.
+    (reported by Baughn on #lisp)
+  * fixed some bugs related to Unicode integration:
+    ** the restarts for recovering from input and output encoding
+       errors only appear when there is in fact such an error to
+       handle.
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** MISC.549 and similar: late transformation of unsafe type
+       assertions into derived types caused unexpected code
+       transformations.
+    ** SCALE-FLOAT type deriver is less wrong.
+    ** type derivers for EXP, LOG and similar functions compute result
+       types for complex arguments better.
+    ** (MISC.563) CONJUGATE type deriver works for very restricted
+       complex types.
+    ** out-of-line type testers for character strings are available.
+    ** EQUAL compiler transform understands specialness of objects
+       of type BIT-VECTOR.
+    ** accessing double-floats stored on the stack now works on x86-64.
+    ** debugger internals could sometimes create invalid lispobjs, 
+       resulting in GC crashes.
+
 changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20:
+  * incompatible change: thread support for non-NPTL systems has
+    been removed - locking is buggy and unreliable.  A threaded 
+    SBCL build will now warn at startup and refuse to create
+    new threads, unless futex support is detected in the kernel
+  * incompatible change: the top level REPL now has only an ABORT
+    restart associated with it, not TOPLEVEL and ABORT as it used to.
+    TOP and TOPLEVEL are now available as debugger commands for 
+    returning to the top level.
   * incompatible change: forms evaluated in the REPL now use the
     global optimization policy.
   * incompatible change: user- and system-initialization files are
     no longer processed with LOAD, but by READ and EVAL; hence the
     global optimization policy, startup package, readtable, etc, 
     can be set by them.
+  * The .fasl file format number has been incremented because of 
+    various incompatible changes.
   * internal entry point details and argument counts no longer appear
     in backtraces unless explicitly requested by setting
     SB-DEBUG:*SHOW-ENTRY-POINT-DETAILS*.
@@ -16,6 +64,12 @@ changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20:
     are now more amenable to inspection by INSPECT.
   * workaround for bug 354: XEPs no longer appear in backtraces unless
     explicitly requested.
+  * fixed bug: receiving the signal which results from attempting to
+    write to mprotect()ed memory (SIGSEGV on Linux and some *BSDs,
+    SIGBUS on other *BSDs) on architectures where the C stack is also
+    the Lisp stack (x86 and x86-64) from foreign code no longer leads
+    to debugger confusion or wild instability.  (reported by Cheuksan
+    Wang)
   * fixed bug: COUNT and EQUAL no longer issue compiler efficiency
     notes when operating on objects known to be SIMPLE-BIT-VECTORs.
     (reported by Lutz Euler)
@@ -31,9 +85,19 @@ changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20:
   * contrib improvement: the SB-SIMPLE-STREAMS contrib now defines
     STRING-SIMPLE-STREAM and FILE-SIMPLE-STREAM as subclasses of
     STRING-STREAM and FILE-STREAM, respectively.
-  * a more robust x86-64 disassembler. (thanks to Lutz Euler)    
+  * contrib improvement: SB-INTROSPECT handles more of SLIME's needs
+    than previously; in addition, its test suite is now run on build.
+    (thanks to Luke Gorrie)
+  * a more robust x86-64 disassembler. (thanks to Lutz Euler)
+  * optimization: added a immediate representation for single-floats 
+    on x86-64
   * fixed some bugs revealed by Paul Dietz' test suite:
     ** MISC.564: defined out-of-line version of %ATAN2 on x86.
+    ** attempting to create a package with a colliding nickname causes
+       correctable errors to be signalled.
+    ** MISC.572-574: :START1 and :START2 broken for simple-base-strings.
+    ** several x86-64 backend bugs related to sign-extension of immediate
+       operands.
 
 changes in sbcl-0.8.20 (0.9alpha.0?) relative to sbcl-0.8.19:
   * fixed inspection of specialized arrays. (thanks to Simon Alexander)