0.9.6.30:
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 536dd66..0e3aec8 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,235 @@
 ;;;; -*- coding: utf-8; -*-
+changes in sbcl-0.9.7 relative to sbcl-0.9.6:
+  * minor incompatible change: (SETF CLASS-NAME) and (SETF
+    GENERIC-FUNCTION-NAME) are no longer generic functions, and
+    therefore are not customizeable by user code (as seems to be at
+    least permitted and maybe required by AMOP).  As a consolation,
+    however, the SBCL implementation of these functions now calls
+    REINITIALIZE-INSTANCE as specified by AMOP.
+  * bug fix: slot-definition documentation is propagated as per ANSI
+    7.6.2 to EFFECTIVE-SLOT-DEFINITIONS.
+    COMPUTE-EFFECTIVE-SLOT-DEFINITION now receives a :DOCUMENTATION
+    argument, as do eslotd initialization methods.  (from Pascal
+    Costanza's "Closer" project)
+  * bug fix: REINITIALIZE-INSTANCE on generic functions calls
+    COMPUTE-DISCRIMINATING-FUNCTION (almost) unconditionally, as
+    specified by AMOP.
+  * bug fix: it is now possible to have more than one subclass of
+    STANDARD-GENERIC-FUNCTION without causing stack overflow.
+    (reported by Bruno Haible, Pascal Costanza and others)
+  * bug fix: the dependent update protocol now works for generic
+    functions.  (thanks to Gerd Moellmann; reported by Bruno Haible
+    and Pascal Costanza)
+  * bug fix: *COMPILE-FILE-PATHNAME* now contains the user's pathname
+    merged with *DEFAULT-PATHNAME-DEFAULTS*.
+  * bug fix: callbacks on OS X now preserve stack-alignment.
+    (thanks to Cyrus Harmon)
+  * enhancement: the x86-64 disassembler is much better at
+    disassembling SSE instructions.  (thanks to Lutz Euler)
+  * enhancement: CHECK-TYPE on a variable now allows type-inference
+    (thanks to Vincent Arkesteijn)
+  * optimization: improved performance of EUC-JP external format.
+    (thanks to NIIMI Satoshi)
+  * optimization: performance improvements to IO on file streams of
+    :ELEMENT-TYPE CHARACTER
+  * optimization: much faster memory allocation on x86-64
+  * optimization: faster garbage collections (latency and throughput)
+    on gencgc
+  * optimization: faster bignum subtraction and division on x86 and x86-64 
+    (thanks to Lutz Euler)
+
+changes in sbcl-0.9.6 relative to sbcl-0.9.5:
+  * bug fix: add a workaround to SBCL looping infinitely at startup on
+    Linux kernels with apparently buggy implementations of personality().
+    (thanks to Svein Ove Aas)
+  * bug fix: Unicode symbols are correctly printed in LDB backtraces
+    (thanks to David Lichteblau)
+  * bug fix: local bindings shadow global symbol macros for
+    macroexpansion.  (reported by Matthew D Swank on comp.lang.lisp)
+  * optimization: non-open coded uses of numeric comparison operators
+    (e.g. >) no longer cons when called with more than one parameter
+    on platforms supporting dynamic-extent allocation.
+  * enhancement: saving cores with foreign code loaded is now supported
+    on MIPS/Linux in addition to the previously supported platforms.
+  * bug fix: FIND-RESTART now tests for activity, not applicability when given
+    a restart object as identifier. (reported by Helmut Eller for CMUCL)
+  * bug fix: division by zero in sb-sprof when no samples were collected
+  * bug fix: a race when a slow to arrive sigprof signal killed sbcl
+  * bug fix: asdf-install uses CRLF as required by the HTTP spec.
+    (thanks to Alexander Kjeldaas)
+  * new feature: ignoring the return values of destructive functions
+    like NREVERSE signals a compile-time style-warning.
+    (thanks to Kevin Reid)
+  * new feature: the alignment of alien structure fields can be
+    explicitly specified. (thanks to Cyrus Harmon)
+  * bug fix: run cleanup forms (in all threads) when receiving a SIGTERM
+    and dump core on SIGQUIT
+  * threads
+    ** incompatible change: threads do not inherit values of specials
+       from their parents (see manual)
+    ** bug fix: threads stacks belonging to dead threads are freed by the
+       next exiting thread, no need to gc to collect thread stacks anymore
+    ** minor incompatible change: INTERRUPT-THREAD-ERROR-ERRNO removed
+    ** WITH-RECURSIVE-LOCK can be nested in a WITH-MUTEX for the same lock
+    ** bug fix: dynamic variable and thread start related gc lossage
+    ** bug fix: job control (SIGSTOP/SIGCONT) no longer confuses threads
+       suspended for gc
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** SUBTYPEP is slightly more accurate on heinously complicated
+       CONS types where some of the members have uncertain (in the
+       NIL, NIL sense) type relationships to each other.
+  * GENCGC
+    ** Cores produced by SAVE-LISP-AND-DIE on GENCGC platforms are
+       no longer purified unless :PURIFY T is explicitly specified.
+    ** Non-purified cores are significantly smaller than before
+
+changes in sbcl-0.9.5 relative to sbcl-0.9.4:
+  * new feature: timers based on Zach Beane's excellent timer package
+  * added support for the following external formats: koi8-u,
+    x-mac-cyrillic, cp437, cp850, cp852, cp855, cp857, cp860, cp861,
+    cp862, cp863, cp864, cp865, cp866, cp869, cp874, iso-8859-2,
+    iso-8859-3, iso-8859-4, iso-8859-5, iso-8859-6, iso-8859-7,
+    iso-8859-8, iso-8859-9, iso-8859-10, iso-8859-11, iso-8859-13,
+    iso-8859-14, cp1250, cp1251, cp1252, cp1253, cp1254,
+    cp1255,cp1256, cp1257, cp1258 (contributed by Ivan Boldyrev)
+  * incompatible change: a threaded SBCL will no longer revert to
+    non-threaded mode on non-NPTL systems, but refuse to start entirely.
+  * bug fix: interrupts are disabled until startup is complete; no
+    more sigsegvs when receiving a signal to soon
+  * optimization: faster 32-bit SB-ROTATE-BYTE:ROTATE-BYTE on non-x86/ppc
+    platforms
+  * bug fix: add a workaround for the memory randomization features in
+    Linux kernels >= 2.6.12 that interfere with SBCL's memory maps. This
+    workaround will only be in effect on systems with the proc filesystem
+    mounted.
+  * bug fix: printing objects of type HASH-TABLE signals a
+    PRINT-NOT-READABLE error when *READ-EVAL* is NIL.  (reported by
+    Faré Rideau)
+  * bug fix: GET-INTERNAL-REAL-TIME now works even for processes that
+    have been running for over 50 days. (reported by Gilbert Baumann)
+  * bug fix: the logic for getting names of functions gets less
+    confused when confronded with alternate-metaclass
+    funcallable-instances.  (reported by Cyrus Harmon)
+  * bug fix: FUNCTIONP and (LAMBDA (X) (TYPEP X 'FUNCTION)) are now
+    consistent, even on internal alternate-metaclass objects.
+  * bug fix: flush closure information collected by physical
+    environment analysis prepass before the main pass. (bug reported
+    by Vasile Rotaru)
+  * bug fix: compiler pack phase does not modify a hashtable, which is
+    iterated. (reported by Bryan O'Connor, fixed by Rob MacLachlan)
+  * bug fix: backquote does not optimize (LIST* x y) to CONS when x
+    may be expanded. (reported by Alexander <malishev> on c.l.l)
+  * bug fix: no more style-warnings when compiling code using LAST
+    under high-SPEED low-SPACE settings.  (reported by David Wallin
+    aka froog on #lisp)
+  * fixed some incompatibilities between SBCL's MOP and the MOP
+    specified by AMOP:
+    ** the METAOBJECT class is now implemented;
+    ** FUNCALLABLE-STANDARD-OBJECT is now a subclass of
+       STANDARD-OBJECT, as required;
+    ** the classes STANDARD-CLASS and FUNCALLABLE-STANDARD-CLASS are
+       now compatible (as required by VALIDATE-SUPERCLASS); there
+       remains a consistency requirement over the presence or absence
+       of the FUNCTION class in the superclass list of finalized
+       classes; see the manual for more details;
+    ** the :AROUND method for COMPUTE-SLOTS on
+       FUNCALLABLE-STANDARD-CLASS now honours the primary method's
+       requested slot ordering.
+  * threads
+    ** bug fix: parent thread now can be gc'ed even with a live
+       child thread
+    ** bug fix: binding a special with PROGV to no value is not
+       the same as that symbol not having been bound (thanks to
+       Hannu Koivisto)
+    ** bug fix: binding specials is thread safe (thanks to
+       Hannu Koivisto)
+    ** bug fix: interrupt handlers are now per-process, RUN-PROGRAM
+       and SB-SPROF do not die with 'no handler for signal XX in
+       interrupt_handle_now(..)' anymore
+    ** bug fix: WITH-TIMEOUT works with multiple running threads
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** ENSURE-GENERIC-FUNCTION should take a method class object for
+       the :method-class keyword argument.
+
+changes in sbcl-0.9.4 relative to sbcl-0.9.3:
+  * new port: the Solaris operating system on x86 processors is now
+    mostly supported, though some rough edges in the environment
+    remain.  (thanks to Daisuke Homma)
+  * enhancement: SBCL on MIPS platforms now has a much larger dynamic
+    space for its heap.  (thanks to Thiemo Seufer)
+  * optimization: SBCL on MIPS platforms now supports dynamic-extent
+    closures.  (thanks to Thiemo Seufer)
+  * minor incompatible change: eof selects abort in the debugger.
+  * minor incompatible change: *INVOKE-DEBUGGER-HOOK* is run before
+    *DEBUGGER-HOOK* => *DEBUGGER-HOOK* is not run when the debugger
+    is disabled.
+  * minor incompatible change: SB-KERNEL:INSTANCE-LAMBDA is
+    deprecated, and will go away in a future revision of SBCL.
+  * minor incompatible change: GC-ON and GC-OFF are no longer
+    implemented with a counter, it does not matter how many times gc
+    is switched on or off
+  * bug fix: discriminating functions for generic function classes
+    with non-standard methods for COMPUTE-APPLICABLE-METHODS no longer
+    make invalid assumptions about method precedence order.  (reported
+    by Bruno Haible)
+  * bug fix: TRUNCATE now correctly signals division by zero on MIPS
+    platforms.  (thanks to Thiemo Seufer)
+  * bug fix: degree sign (<U00B0>) could not be encoded in KOI8-R.
+  * bug fix: correct pathname printing with printer escaping is on.
+    (thanks to Kevin Reid)
+  * bug fix: complex VOP definitions in "user-space" no longer trigger
+    package locks.  (reported by Zach Beane)
+  * fixed bug 343: SB-KERNEL:INSTANCE-LAMBDA is no longer necessary
+    for funcallable-instance functions, and is no different from
+    regular LAMBDA.
+  * bug fix: PARSE-INTEGER no longer depends on the whitespaceness of
+    characters in the current readtable.  (reported by Nicholas Neuss)
+  * bug fix: SUBTYPEP on various CONS types returns more a more
+    accurate acknowledgment of its certainty.
+  * optimizations: REMOVE-DUPLICATES now runs in linear time on
+    lists in some cases.  This partially fixes bug 384.
+  * flush all standard streams before prompting in the REPL and the
+    debugger.
+  * bug fix: signal handling and triggering gc do not conflict
+    directly anymore, in particular a high frequency sb-sprof does
+    not prevent gc from running
+  * bug fix: DECODE-UNIVERSAL-TIME now uses a more reasonable
+    approximation for timezone and DST information between the
+    universal time epoch and the smallest negative 32-bit time_t.
+  * bug fix: ENCODE-UNIVERSAL-TIME no longer errors when passed the
+    year 1899 so long as the encoded time is non-negative.
+  * bug fix: on the x86 platform, SB-ROTATE-BYTE:ROTATE-BYTE returns
+    the correct answer for non-constant rotate amounts when performing
+    an inline 32-bit rotation.
+  * threads
+    ** bug fix: RELEASE-FOREGROUND doesn't choke on session lock if
+       there is only one thread in the session
+    ** bug fix: memory leak for streams created in one thread and
+       written to in another
+    ** bug fix: lockup when compiled with gcc4
+    ** bug fix: race that allows the gc to be triggered when gc is
+       inhibited
+    ** bug fix: one less memory fault in INTERRUPT-THREAD, again
+    ** bug fix: gc and INTERRUPT-THREAD don't hang when the RT signal
+       queue is full
+    ** bug fix: finished threads are gc'ed properly
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** CALL-NEXT-METHOD signals an error (in safe code) when the call
+       has arguments with a different set of applicable methods from
+       the orignal arguments.
+    ** The type error thrown by MAP now has a correct expected-type
+       cell.
+    ** DISASSEMBLE now throws a TYPE-ERROR when its argument does not
+       name a compiled function.
+    ** Three MISC tests where a large bignum was improperly coerced to
+       a float that couldn't represent that bignum during type
+       derivation were fixed.
+    ** SUBTYPEP can now handle types involving the negation of a
+       list-form FUNCTION type.
+    ** SUBTYPEP also now handles certain COMPLEX type specifiers such
+       as (COMPLEX (AND RATIO (NOT FIXNUM))).
+    ** READ-BYTE and WRITE-BYTE no longer take stream designators.
+
 changes in sbcl-0.9.3 relative to sbcl-0.9.2:
   * New feature: Experimental support for bivalent streams: streams
     opened with :element-type :default now allow character and binary
@@ -567,7 +798,7 @@ changes in sbcl-0.8.16 relative to sbcl-0.8.15:
     (thanks to Richard Kreuter)
   * bug fix: defining classes whose accessors are methods on existing
     generic functions in other (locked) packages no longer signals
-    bogus package lock violations. (reported by François-René Rideau)
+    bogus package lock violations. (reported by François-René Rideau)
   * bug fix: special variables as DEFMETHOD parameters no longer have
     associated bogus type declarations. (reported by David Wragg and
     Bruno Haible)