0.8.20.14:
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 508496d..5bd50ee 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,159 @@
+changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20:
+  * 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.
+  * internal entry point details and argument counts no longer appear
+    in backtraces unless explicitly requested by setting
+    SB-DEBUG:*SHOW-ENTRY-POINT-DETAILS*.
+  * built-in and standard functions no longer have names like "top
+    level local call to FOO".
+  * fixed bug 32: functions defined in non-null lexical environments
+    now have more legible printed representation
+  * fixed bug 33: functions defined in non-null lexical environemnts
+    are now more amenable to inspection by INSPECT.
+  * workaround for bug 354: XEPs no longer appear in backtraces unless
+    explicitly requested.
+  * 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)
+  * fixed bug: (TYPEP X '(MEMBER ...)) no longer returns a list in
+    compiled code. (reported by Paul Dietz)
+  * fixed bug 276b: mutating with MULTIPLE-VALUE-SETQ a binding of a
+    specialized parameter to a method to something that is not TYPEP
+    the specializer is now possible.
+  * fixed bug: the MAKE-INSTANCE optimization is now correct in the
+    face of package deletion.
+  * fixed bug: LOAD should bind *LOAD-PATHNAME* to the merged
+    pathname. (reported by David Tolpin on c.l.l)
+  * 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)    
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** MISC.564: defined out-of-line version of %ATAN2 on x86.
+
+changes in sbcl-0.8.20 (0.9alpha.0?) relative to sbcl-0.8.19:
+  * fixed inspection of specialized arrays. (thanks to Simon Alexander)
+  * fixed disassembly of SHLD and SHRD on x86.  (thanks to David
+    Lichteblau)
+  * fixed loading of multiply forward-referenced layouts. 
+    (thanks to Cheuksan Wang)
+  * fixed bug 7: less verbose COMPILE-FILE output. Additionally, the
+    output is now directed to *STANDARD-OUTPUT* as specified by ANSI. 
+    (see COMPILE-FILE documentation for details of :PRINT option)
+  * fixed bugs 19 and 317: fixed-format floating point printing is
+    more accurate.  This also fixes a bug reported by Adam Warner
+    related to the ~@F format directive.
+  * fixed bug 371: bignum print/read inconsistency. (thanks to Harald
+    Hanche-Olsen)
+  * fixed bug: SET-SYNTAX-FROM-CHAR correctly shallow-copies a
+    dispatch table if the from-char is a dispatch macro character.
+  * fixed bug: COUNT and EQUAL on bit vectors with lengths divisible
+    by the wordsize no longer ignore the last word.  (reported by Lutz
+    Euler)
+  * fixed bug in type checking of dynamic-extent variables. (reported
+    by Svein Ove Aas)
+  * optimization: sequence traversal functions use their freedom to
+    coerce function designators to functions.
+  * optimization: code with many calls to CLOS methods specialized on
+    CLOS classes has had redundant type checks removed.
+  * optimization: added declarations to speed up operations that access
+    the internal character database (for example STRING-UPCASE)
+  * optimization: comparison operations between floats and sufficiently small
+    fixnums no longer create extra rationals
+  * fixed some bugs related to Unicode integration:
+    ** portions of multibyte characters at the end of buffers for
+       character-based file input are correctly transferred to the
+       start of the buffer at the next read.
+    ** COMPILE-FILE now respects any EXTERNAL-FORMAT argument given,
+       passing it through to OPEN.
+    ** LOAD on source files likewise passes any EXTERNAL-FORMAT
+       argument given to internal calls to OPEN.
+    ** the built-in comment readers (introduced by character sequences
+       ";" and "#|") are more forgiving to encoding errors; they will
+       STYLE-WARN and then attempt to resync the stream at a character
+       boundary.  (thanks to Teemu Kalvas)
+  * fixed some bugs in the x86-64 port:
+    ** Negative short int return values from c-calls are sign-extended
+       correctly.
+    ** The stack is aligned to 16-bytes for c-calls, as required by
+       the ABI. (thanks to Cheuksan Wang)
+    ** The disassembler understands more x86-64. (thanks to Cheuksan Wang)
+    ** The regression tests use SB-ALIEN:INT instead of SB-ALIEN:INTEGER
+       for enums. (thanks to Vincent Arkesteijn)
+    ** Multiple small optimizations and bugfixes for floating point
+       operations.
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** Space, Tab, Linefeed, Return and Page have the invalid
+       secondary constituent character trait.
+    ** SET-SYNTAX-FROM-CHAR correctly copies multiple-escape character
+       syntax.
+    ** WITH-INPUT-FROM-STRING should only update the index place on
+       normal termination.
+    ** Pretty-printing backquoted forms when *PRINT-CIRCLE* is true
+       works more reliably.
+    ** Bit-array operations (BIT-AND and similar) worked incorrectly
+       with one-dimensional arrays with fill pointers.
+    ** TYPE-OF failed on a complex with an integer realpart and a
+       RATIO imagpart.
+    ** compiler failure during type inference for the code of form
+       (IF (EQL X (THE ...)) ...) (MISC.535).
+
+changes in sbcl-0.8.19 relative to sbcl-0.8.18:
+  * new port: SBCL now works in native 64-bit mode on x86-64/Linux
+    platform. The port supports 61-bit fixnums, large memory spaces
+    and reloading shared object files.
+  * enhancement: saving cores with foreign code loaded is now
+    supported on ppc/Darwin in addition to the previously supported
+    platforms.
+  * enhancement: the statistical profiler now walks deeper into the 
+    call stack for more meaningful call-graphs and accrued time
+    reports (x86/x86-64 only). It also now reports time spent in
+    foreign functions.
+  * enhancement: it is now possible to trace most individual methods
+    of a generic function in addition to tracing the generic function
+    itself.
+  * bug fix: invalid :DEFAULT-INITARGS are detected in compiled calls
+    to MAKE-INSTANCE.
+  * bug fix: defaulted initargs are passed to INITIALIZE-INSTANCE and
+    SHARED-INITIALIZE methods from compiled calls to MAKE-INSTANCE.
+  * bug fix: COERCE to (COMPLEX FLOAT) of a complex number no longer
+    produces an error.  (thanks to Vincent Arkesteijn)
+  * bug fix: NAMESTRING on pathnames with :WILD components in their
+    directories works correctly.  (thanks to Artem V. Andreev)
+  * fixed bug 125: compiler preserves identity of closures. (reported
+    by Gabe Garza)
+  * bug fixed: functions with &REST arguments sometimes failed with
+    "Undefined function" when compiled with (DEBUG 3). (reported by
+    Robert J. Macomber)
+  * bug fix: overflow during compiling of setting element of a bit
+    vector with constant index and value. (reported by Timmy Douglas)
+  * build fix: fixed the dependence on *LOAD-PATHNAME* and
+    *COMPILE-FILE-PATHNAME* being absolute pathnames.
+  * on x86 compiler partially supports stack allocation of dynamic-extent
+    closures.
+  * GO and RETURN-FROM do not check the extent of their exit points
+    when compiled with SAFETY 0.
+  * fixed some bugs related to Unicode integration:
+    ** encoding and decoding errors are now much more robustly
+       handled; it should now be possible to recover even from invalid
+       input or output to the terminal.  (thanks to Teemu Kalvas)
+    ** provided a first cut at implementing STRING-TO-OCTETS and
+       OCTETS-TO-STRING.  (thanks to Robert J. Macomber)
+    ** altered the SB-MD5 contributed module slightly, changing the
+       interface just enough for it to be supportable for builds where
+       lisp characters are not eight bits.
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** the FORMATTER-generated functions for ~V[ conditionals require
+       the correct number of arguments.
+    ** READ-FROM-STRING returns the mandated second value when applied
+       to displaced strings.
+    ** the #\Rubout and #\Backspace characters are treated as invalid
+       constituent characters by the tokenizer.
+
 changes in sbcl-0.8.18 relative to sbcl-0.8.17:
   * new feature: reloading changed shared object files with
     LOAD-SHARED-OBJECT now causes the new definitions to take effect.
@@ -7,6 +163,8 @@ changes in sbcl-0.8.18 relative to sbcl-0.8.17:
     available at runtime.
   * Solaris 10 (aka SunOS 5.10) on the SPARC platform is now
     supported.  (thanks to Dan Debertin)
+  * SB-ALIEN enums can now be represented in Lisp by any symbols, not
+    just keywords.  (thanks to Vincent Arkesteijn)
   * fixed bug #331: structure-class instances corresponding to
     DEFSTRUCT forms are now created eagerly.
   * fixed bug #345: backtraces from calls to undefined functions work
@@ -23,6 +181,14 @@ changes in sbcl-0.8.18 relative to sbcl-0.8.17:
   * bug fix: starting a core saved with shared objects loaded when
     those objects are not available no longer causes threaded SBCL to 
     hang. (reported by Sean Ross)
+  * bug fix: evaluated FUNCTION no longer bypasses encapsulation (eg.
+    TRACE).
+  * bug fix: (SETF MACRO-FUNCTION) now accepts an optional environment
+    argument, which must always be NIL. (reported by Kalle Niemitalo)
+  * bug fix: printing 1.0d+23 no longer results in an error.
+    (reported by Rolf Wester for CMUCL; bug fix from Raymond Toy)
+  * bug fix: structure slot setters preserve evaluation order. (thanks
+    to Gabor Melis)
   * fixed some bugs related to Unicode integration:
     ** RUN-PROGRAM can allow its child to take input from a Lisp
        stream.  (reported by Stefan Scholl)