0.9.9.38:
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 9fc6eaf..a309ef7 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,485 @@
-changes in sbcl-0.8.22 relative to sbcl-0.8.21:
+;;;; -*- coding: utf-8; -*-
+changes in sbcl-0.9.10 relative to sbcl-0.9.9:
+  * new feature: new SAVE-LISP-AND-DIE keyword argument :EXECUTABLE can
+    be used for bundling the runtime and the core file into one 
+    executable binary. This feature is not currently supported on all SBCL
+    platforms.  (thanks to James Bielman and NIIMI Satoshi)
+  * new feature: a generational or ephemeral garbage collector is now
+    the default on the PowerPC platform (both Linux and Darwin).  The
+    old Cheney (stop and copy) collector is a build-time option.
+    (thanks to Cyrus Harmon, after Raymond Toy)
+  * minor incompatible change: the method by which SBCL finds its
+    contributed modules has changed; it no longer relies on symbolic
+    links from an $SBCL_HOME/systems directory, but searches directly
+    in the subdirectories of $SBCL_HOME.
+  * enhancement: the dynamic heap size on the Linux/PPC platform is
+    markedly larger, even using the older Cheney garbage collector.
+  * fixed bug #399: full call to DATA-VECTOR-REF in accesses to
+    certain complicated string types.  (reported by Gary King)
+  * fixed bug: STRING-TO-OCTETS and OCTETS-TO-STRING did not convert
+    character codes.  (thanks to Yaroslav Kavenchuk and Ivan Boldyrev)
+  * fixed bug: DOCUMENTATION on structures no longer signals an 
+    error if no structure type of the right name exists.  (reported by
+    Glenn Ehrlich)
+  * fixed bug: compiled calls to MAKE-INSTANCE where there is an
+    applicable non-standard primary or :AROUND method on
+    INITIALIZE-INSTANCE or SHARED-INITIALIZE and a non-keyword initarg
+    no longer cause unbound variable errors.  (reported by Kevin Reid)
+  * fixed bug: metacircle resolution in cases where methods have slots
+    added before the slots from STANDARD-METHOD.  (reported by Jean
+    Bresson)
+  * fixed bug: the Power PC assembly code for calling into lisp
+    sometimes computed its return address wrongly (depending on the
+    15th bit of the address, fixed at link time).  This used to
+    manifest itself in a segmentation violation while building PCL.
+    (reported by Kevin Rosenberg, Eric Marsden, Lars Brinkhoff and
+    many others over the years)
+  * fixed bug: ROOM no longer reports silly numbers for stack usage if
+    the stack pointer (treated as a signed integer) is negative.
+    (thanks to Peter van Eynde)
+
+changes in sbcl-0.9.9 relative to sbcl-0.9.8:
+  * new platform: experimental support for the Windows operating
+    system has been added.  (thanks to Alastair Bridgewater)
+  * fixed several bugs in and robustified the PPC FFI (including
+    callbacks).  (thanks to Cyrus Harmon and Heiner Schwarte)
+  * bug fix: allow non-simple string symbol names (reported by Paul
+    Dietz)
+  * bug fix: interrupt handling on NetBSD (thanks to Richard M
+    Kreuter)
+  * bug fix: saving a core corrupted callbacks on x86/x86-64
+  * bug fix: closed a loophole in metacircularity detection and
+    grounding in the PCL implementation of CLOS.
+  * bug fix: TRUENAME on "/" no longer returns a relative pathname.
+    (reported by tomppa on #lisp)
+  * bug fix: clear the direction flag on Lisp -> C transitions, as 
+    required by the x86-64 ABI. Fixes mysterious GC crashes on SuSE.
+    (reported by Andrej Grozin and Hendrik Maryns)
+  * optimization: major improvements to GC efficiency on GENCGC platforms
+  * optimization: faster implementation of EQUAL
+  * optimization: emit more efficient opcodes for some common 
+    immediate->register MOV instructions on x86-64.  (thanks to Lutz Euler)
+  * optimization: several other minor code-generation improvements on x86-64
+  * fixed segfaults on x86 FreeBSD 7-current.  (thanks to NIIMI Satoshi)
+
+changes in sbcl-0.9.8 relative to sbcl-0.9.7:
+  * minor incompatible change: (SETF CLASS-NAME) and (SETF
+    GENERIC-FUNCTION-NAME) are generic functions once more (reverting
+    the change in the 0.9.7 release).  (SETF CLASS-NAME) is specified
+    by ANSI as a generic function, and for consistency (SETF
+    GENERIC-FUNCTION-NAME) is treated likewise.
+  * fixed bug #233.b: make constraint propagation notice when a variable
+    value is changed after it is referenced but before it is used
+  * fixed bug #296: no more arbitrary behaviour from filenames with
+    odd characters as --load arguments.  (reported by Adam Warner)
+  * fixed bug #390: :CHARACTER-SET pathname components now work as
+    expected.  (reported by Tim Daly Jr)
+  * fixed bug #391: complicated :TYPE intersections in slot
+    definitions no longer cause an error in PCL internals.
+  * fixed bug #392: plugged a hole in the obsolete-instance protocol.
+  * bug fix: FILE-STRING-LENGTH is now external-format sensitive,
+    returning the number of octets which would be written to the
+    file-stream.  (thanks to Robert J. Macomber)
+  * bug fix: the SB-SIMPLE-STREAMS contrib passes external-format
+    arguments to the internal stream functions.  (thanks to David
+    Lichteblau)
+  * bug fix: stack exhaustion is now handled on the x86/SunOS
+    platform.  (thanks to Daisuke Homma)
+  * bug fix: more accurate ROOM results on GENCGC platforms
+  * optimization: improved type inference for arithmetic-for
+    index variables in LOOP
+  * optimization: faster floating-point SQRT on x86-64
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** DOCUMENTATION returns NIL instead of "" for method combinations
+       that don't have a docstring
+
+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: condition-class instances corresponding to
+    DEFINE-CONDITION forms are now created eagerly.  (reported by
+    Kalle Olavi Niemitalo on comp.lang.lisp)
+  * bug fix: floating point printing is more accurate in some
+    circumstances.  (thanks to Simon Alexander)
+  * 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)
+  * optimization: more accurate type-inference for loops that use a
+    floating point index variable or a negative step.
+
+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
+    (unsigned-byte 8) I/O
+  * Support for the koi8-r external format.  (thanks to Ivan Boldyrev)
+  * Bug fix: OPEN no longer fails when *PRINT-READABLY* is T. (thanks
+    to Zach Beane)
+  * bug fix: no more highly sporadic "couldn't check whether ~S is
+    readable" when reading a stream and an interrupt hits in the middle
+    of a select system call
+  * compiler better recognizes complex arrays (reported by Eduardo
+    Muñoz)
+  * bug fix: out-of-line SB-SYS:FOREIGN-SYMBOL-ADDRESS did not work
+    for variables on SBCL built with linkage-tables. (reported by Luis
+    Oliveira)
+  * various error reporting improvements.
+  * optimizations: LOGNOR on fixnums is improved in the MIPS backend.
+    (Thanks to Thiemo Seufer)
+  * bug fix: nested reader invokations work correctly
+  * bug fix: it is possible to have simultaneous references to foreign
+    code and foreign data with the same name.
+  * threads
+    ** added x86-64 support
+    ** incompatible change: the threading api now works with thread
+       objects instead of thread ids
+    ** bug fix: threads are protected from signals and interruption when
+       starting up or going down
+    ** bug fix: a race where an exiting thread could lose its stack to gc
+    ** bug fix: don't halt on infinite error in threads if possible
+    ** fixed numerous gc deadlocks introduced in the pthread merge
+    ** bug fix: fixed thread safety issues in read and print
+    ** bug fix: debugger doesn't hang on session lock if interrupted at
+       an inappropriate moment
+    ** bug fix: run-program is now thread safe(r)
+    ** bug fix: inner with-recursive-lock no longer releases the mutex
+  * fixed a bug in (DECODE-UNIVERSAL-TIME 0) (reported by Paul Dietz)
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** TYPE-ERRORs from signalled by COERCE now have DATUM and
+       EXPECTED-TYPE slots filled.
+    ** MULTIPLE-VALUE-SETQ always returns the primary value of the
+       values form.
+    ** MAKE-CONDITION accepts classes as type-designators.
+    ** COMPILE may never return NIL.
+    ** ENCODE-UNIVERSAL-TIME now guards against times out of Unix's
+       range before calling Unix time functions
+
+changes in sbcl-0.9.2 relative to sbcl-0.9.1:
+  * numerous signal handling fixes to increase stability
+  * Support for EUC-JP external format.  (thanks to NIIMI Satoshi)
+  * minor incompatible change: we now correctly canonize default
+    initargs, making them be a list of (INITARG INITFORM INITFUNCTION)
+    as per the MOP, rather than the historical (INITARG INITFUNCTION
+    INITFORM).  (reported by Bruno Haible)
+  * new feature: WITH-COMPILATION-UNIT now accepts a non-standard
+    :SOURCE-PLIST option. See (DOCUMENTATION #'WITH-COMPILATION-UNIT T)
+    for more information.
+  * TRUENAME and PROBE-FILE now correctly resolve symlinks even if the
+    pathname is a directory pathname.
+  * SB-SPROF now works (more) reliably on non-GENCGC platforms.
+  * dynamic space size on PPC has been increased to 768Mb. (thanks to
+    Cyrus Harmon)
+  * SB-MOP:ENSURE-CLASS-USING-CLASS now accepts a class as the
+    :METACLASS argument in addition to a class name.  (reported by
+    Bruno Haible for CMUCL, patch for CMUCL by Gerd Moellmann)
+  * RESTART-CASE can now be wrapped around CALL-METHOD forms.
+    (reported by Bruno Haible; patch from Gerd Moellmann)
+  * bug fix: sbcl runtime can now be compiled with gcc4 (thanks to 
+    Sascha Wilde)
+  * bug fix: more cleanups to the floating point exception handling on
+    x86-64 (thanks to James Knight)
+  * bug fix: the compiler does not try to constant fold calls of
+    COERCE and BIT-* functions when they return freshly constructed
+    objects. (reported by Nikodemus Siivola and Paul Dietz)
+  * optimization: improved the MIPS versions of generic (in the
+    generic sense) arithmetic routines.  (thanks to Thiemo Seufer)
+  * optimization: direct conversion of (unsigned-byte 32) to floats on
+    the PowerPC platform.
+  * optimization: structure instances with raw slots now use less
+    memory, and probably show better memory locality.  (thanks to
+    David Lichteblau)
+  * optimization: DYNAMIC-EXTENT declarations for lists and closures
+    are treated as requests for stack allocation on the x86-64,
+    Alpha-32, PPC and SPARC platforms.
+  * contrib improvement: it's harder to cause SOCKET-CLOSE to close()
+    the wrong file descriptor; implementation of SOCKET-OPEN-P.
+    (thanks to Tony Martinez)
+  * threads
+    ** gcing a dead thread can no longer lead to lockups
+    ** threads block signals until they are set up properly
+    ** errno is no longer shared by threads
+    ** interrupt-thread restores the eflags register on x86
+    ** fixed some lockups due to gc/thread interaction
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** invalid dotted lists no longer raise a read error when 
+       *READ-SUPPRESS* is T
+    ** signal an error if a symbol that names a declaration is used
+       as the name of a type, or vice versa
+    ** allow using the (declare (typespec var*)) abbreviation for 
+       (declare (type typespec var*)) with all type specifiers
+    ** circularity detection works properly with PPRINT-LOGICAL-BLOCK
+    ** always return NIL from PPRINT-POP when OBJECT is NIL
+    ** don't signal errors when pretty-printing malformed LABELS, 
+       FLET or MACROLET forms
+    ** declarations in a DOLIST body are also in scope for the 
+       DOLIST return-form
+    ** COMPILE-FILE accepts all pathname designators as INPUT-FILE
+       and OUTPUT-FILE
+    ** the ELEMENT-TYPE keyword argument to WITH-OUTPUT-STREAM is 
+       always evaluated
+
+changes in sbcl-0.9.1 relative to sbcl-0.9.0:
+  * fixed cross-compiler leakages that prevented building a 32-bit
+    target with a 64-bit host compiler.
+  * fixed a bug in CLOSE :ABORT T: no longer attempts to remove files
+    opened with :IF-EXISTS :OVERWRITE.
+  * fixed bug 281: error for an invalid qualifier in a short-form method
+    combination method is not signalled until the faulty method is called.
+  * bug fix: iteration variable type inferrer failed to deal with open
+    intervals. (reported by Alan Shields)
+  * bug fix: dynamically loading (via LOAD-SHARED-OBJECT or similar)
+    "frameworks" on Mac OS X no longer causes an EXC_BAD_ACCESS if two
+    or more runtime options were provided to the sbcl binary.
+  * compiled code is not steppable if COMPILATION-SPEED >= DEBUG.
+  * contrib improvement: implement SB-POSIX:MKSTEMP (Yannick Gingras)
+  * optimization: there's now a fast-path for fixnum arguments in the
+    generic subtraction routines on x86/x86-64. (Thanks to Lutz Euler)
+  * optimization: the code generated on x86-64 is more compact thanks
+    to not outputting unneccessary prefix bytes. (Thanks to Lutz Euler)
+  * bug fix: floating-point exception handling now partly works on
+    x86-64.  (Thanks to James Knight)
+  * improvement to the MIPS backend from Thiemo Seufer: C-style
+    64-bit long long arguments and return values to alien functions
+    are now supported.
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** the type-error signalled from WARN has a filled-in DATUM slot.
+    ** the type-error required when a stream is not associated with
+       a file has the stream as its datum.
+    ** type-errors on single-floats on x86-64 no longer have 
+       :INVALID-OBJECT as the datum
+    ** the type-errors signalled for invalid function names now have
+       a correct expected type
+    ** (SETF (DOCUMENTATION ... 'STRUCTURE)) no longer signals an error
+       for structures defined with a :TYPE. Documentation strings for
+       typed structures are no longer immediately discarded
+    ** FILE-STRING-LENGTH and STREAM-EXTERNAL-FORMAT now work on 
+       broadcast streams and synonym streams. FILE-LENGTH now also works
+       on broadcast streams.
+
+changes in sbcl-0.9.0 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.
@@ -13,6 +494,8 @@ changes in sbcl-0.8.22 relative to sbcl-0.8.21:
   * 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.
+  * optimization: EQL is now more efficient when at least other argument 
+    is known to be of type (OR FIXNUM (NOT NUMBER)).
   * fixed bug: the runtime is now less vulnerable to changes in the
     size of the SBCL object on OS X, and virtual memory is reserved for
     all spaces that need to be at a fixed address.
@@ -23,6 +506,11 @@ changes in sbcl-0.8.22 relative to sbcl-0.8.21:
     *ERROR-OUTPUT*, not *STANDARD-OUTPUT*.
   * fixed inference of the upper bound of an iteration variable.
     (reported by Rajat Datta).
+  * fixed bug 211e: calling local functions with duplicated constant
+    keyword argument no longer causes a bogus style warning about an
+    unused variable.
+  * fixed bug 305: INLINE/NOTINLINE declaration no longer causes local
+    ftype declaration to be disregarded. (reported by Dave Roberts)
   * fixed bug 373: caused by erronous compilation of references to alien
     variables in the runtime on ppc/darwin.
   * fixed bug 376: CONJUGATE type deriver.
@@ -43,6 +531,16 @@ changes in sbcl-0.8.22 relative to sbcl-0.8.21:
     on x86-64
   * bug fix: setting 31st element of a bit vector to zero did not work
     on Alpha-32.
+  * bug fix: redefining a class definition which failed due to a
+    previous accessor / function clash now works (but see BUGS entry
+    #380 for more problems in this area).  (thanks to Zach Beane)
+  * the long form of DEFINE-METHOD-COMBINATION disables method group
+    checking when given a single method group with pattern *.  (thanks
+    to Wendall Marvel)
+  * on x86 compiler supports stack allocation of results of simple
+    calls of MAKE-ARRAY, bound to variables, declared DYNAMIC-EXTENT.
+  * support for building and running on Mac OS X 10.4 "Tiger" has been added
+    ** Binaries built on Tiger will not run on 10.2 "Jaguar" currently
   * 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
@@ -64,6 +562,8 @@ changes in sbcl-0.8.22 relative to sbcl-0.8.21:
        resulting in GC crashes.
     ** MISC.548: type check weakening can convert required type into
        optional.
+    ** initialization forms for bindings are not in scope of free special
+       declarations.
 
 changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20:
   * incompatible change: thread support for non-NPTL systems has
@@ -399,7 +899,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)