Tags

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.
  * incompatible change: finalizers and *AFTER-GC-HOOKS* are now run with
    interrupts enabled.
  * incompatible change: support for *BEFORE-GC-HOOKS* (that have been
    inoperational for a while now) has been completely removed.
  * null lexical environments are now printed as #<NULL-LEXENV>,
    significantly reducing the amount of clutter in typical backtraces.
  * documentation on weak pointers, finalization, and after GC hooks
    has been added to the manual.
  * 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.
  * fixed bug: finalizers are now thread-safe. (thanks to Gabor Mellis)
  * fixed bug: finalizers and after GC hooks that cause consing are now
    safe.
  * 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 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.
  * fixed infinite looping of ALIEN-FUNCALL, compiled with high DEBUG.
    (reported by Baughn on #lisp)
  * a cross-compiler bug on non-x86 platforms has been identified and
    fixed.  (thanks to Bruno Haible)
  * improvements to the MIPS runtime code for increased stability.
    (thanks to Thiemo Seufer)
  * increased the maximimum compact environment size to allow
    purify on images with large amounts of functions. (thanks to Cyrus Harmon)
  * partial workaround for bug 135: don't name the function we're
    calling for hairy cases of EVAL, so as not to accumulate one environment
    entry per call to EVAL.  (reported by Kevin Reid)
  * improvements to the x86-64 disassembler. (thanks to Lutz Euler)
  * optimization: type testing for non-vector arrays should be faster.
  * fixed TRACE :ENCAPSULATE NIL, added support for :ENCAPSULATE NIL
    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
       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.
    ** 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
    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*.
  * 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: 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)
  * 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.
  * 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)
  * 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.
  * new feature: references to foreign variables and functions
    can now be compiled and loaded before the corresponding shared
    object file is loaded, as long as the foreign definitions are
    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
    on x86 as well. Related bug #61 is now also partially fixed on x86
    (backtraces from throws to unknown catch tags.)
  * bug fix: lambda-list parsing is now stricter vrt. order and number
    of lambda-list keywords.
  * bug fix: as specified by AMOP, an error is signalled if a
    class-option appears multiple times in a DEFCLASS form. (reported
    by Bruno Haible)
  * bug fix: RANDOM can be compiled when the compiler derives the type
    of its numeric argument as a disjoint set of small integers.
    (reported by Paul Dietz)
  * 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)
    ** ASDF-INSTALL successfully downloads .tar.gz files in all
       locales.  (reported by Ken Causey)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** INCF, DECF and REMF evaluate their place form as specified in
       CLtS 5.1.3.
    ** FORMATTER expands ~{ ~} iteration directives with V or #
       parameters correctly.
    ** FORMATTER deals with the ~@[ ~] conditional directive where the
       consequent uses no arguments correctly.
    ** the system has a partial understanding of the (COMPLEX RATIO)
       type specifier.
    ** UPGRADED-COMPLEX-PART-TYPE obeys the lattice upgrading rules
       required.

changes in sbcl-0.8.17 relative to sbcl-0.8.16:
  * new feature: a build-time option (controlled by the :SB-UNICODE
    keyword feature, enabled by default) for building the system with
    support for the entire 21-bit character space defined by the
    Unicode consortium.
  * new feature: the system now has rudimentary external-format
    support; the primary user-visible change at this time is that
    characters with the high bit set (such as lower-case-e-acute) will
    print correctly to a terminal in a UTF-8 environment.
  * minor incompatible change: BASE-CHAR no longer names a class;
    however, CHARACTER continues to do so, as required by ANSI.
  * minor incompatible change: SB-DEBUG:*DEBUG-PRINT-FOO* variables
    are no longer supported, and SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST*
    has been moved to the SB-EXT package (temporarily re-exported from
    SB-DEBUG).
  * minor incompatible change: SB-C::*COMPILER-ERROR-PRINT-FOO* variables
    are no longer supported: use SB-EXT:*COMPILER-PRINT-VARIABLE-ALIST*
    instead.
  * fixed bug #351: better error-handlind and reporting for malformed
    LET and LET* forms.
  * fixed bug #350: bignum-printing is now more memory-efficient,
    allowing printing of very large bignums, eg. (expt 2 10000000).
    (reported by Bruno Haible)
  * fixed bug #302: better primitive-type selection for intersection
    types.
  * fixed bug #308: non-graphic characters now all have names, as
    required.  (reported by Bruno Haible)
  * bug fix: redefining a class with different superclasses now correctly
    removes it from the direct-subclasses of its previous superclasses.
    (reported by David Morse)
  * bug fix: (SETF FIND-CLASS) using a FORWARD-REFERENCED-CLASS as the
    new value now works. (reported by Bruno Haible)
  * bug fix: correct canonicalization of multiple non-standard slot
    options in DEFCLASS as per AMOP 5.4.2. (reported by Bruno Haible)
  * bug fix: SB-MOP:CLASS-PROTOTYPE now signals an error if the class
    is not yet finalized, as required by AMOP. (reported by Bruno Haible)
  * bug fix: SB-MOP:ALLOCATE-INSTANCE method for instances of BUILT-IN-CLASS
    now exists, an signals an error.
  * bug fix: duplicate LOOP variable bindings now signal PROGRAM-ERROR
    during macroexpansion for non-iteration variables as well. (reported
    by Bruno Haible for CMUCL)
  * bug fix: Cyclic structures and unprintable objects in compiler
    messages no longer cause errors. (reported by Bruno Haible)
  * bug fix: READ, READ-PRESERVING-WHITESPACE, READ-DELIMITED-LIST,
    and READ-FROM-STRING all now return a primary value of NIL if
    *READ-SUPPRESS* is true.  (reported by Bruno Haible for CMUCL)
  * bug fix: Default value of EOF-ERROR-P in READ-FROM-STRING is true.
    (reported by Bruno Haible for CMUCL)
  * bug fix: ERROR now signals a TYPE-ERROR if the arguments to ERROR
    do not designate a condition.  (reported by Bruno Haible for
    CMUCL)
  * bug fix: UNINTERN, USE-PACKAGE, IMPORT and EXPORT all signal an
    SB-EXT:NAME-CONFLICT condition (subtype of PACKAGE-ERROR) in the
    name conflict situations in CLHS 11.1.1.2.5, and provide a restart
    permitting resolution in favour of any of the conflicting symbols.
    (reported by Bruno Haible for CMUCL)
  * bug fix: EQUAL compiler optimizations is less aggressive on
    strings which can potentially compare true despite having distinct
    specialized array element types.
  * bug fix: unit enumerations can be defined without dividing by
    zero.  (thanks to Vincent Arkesteijn)
  * FORMAT compile-time argument count checking has been enhanced.
    (report from Bruno Haible for CMUCL)
  * a partial workaround for the bug 262: the compiler does not try to
    inline-expand a local function doing RETURN-FROM from a deleted
    BLOCK. (thanks to Peter Denno for the bug report and to David
    Wragg for the simple test case)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** RENAME-PACKAGE allows all package designators as new package
       names.
    ** constraint propagation and lambda variable substitution are
       more cautious in dealing with partially deleted code.
    ** compiler sometimes lost reoptimization passes.
    ** CERROR, given a condition as condition designator, passes its
       remaining arguments to the continue format control without
       complaint.
    ** Case-altering FORMAT directives work correctly on non-ASCII
       characters.
    ** The REAL type specifier handles bounds outside the floating
       point ranges without signalling FLOATING-POINT-OVERFLOW.
    ** Functions with IR1-transformations can create intercomponent
       references to global functions.
    ** NIL parameter to the FORMAT directive ~^ means `unsupplied
       parameter'.
    ** FORMAT ~R treats a nil value for its first parameter correctly.

changes in sbcl-0.8.16 relative to sbcl-0.8.15:
  * enhancement: saving cores with foreign code loaded is now
    supported on x86/NetBSD and sparc/Linux in addition to the previously
    supported platforms.
  * bug fix: on some platforms repeated installations caused multiple
    copies of HTML documentation to be installed -- should not happen
    any more. (reported by Stefan Scholl)
  * bug fix: parsing self-recursive alien record types multiple times
    no longer causes infinite recursion. (reported by Thomas F. Burdick,
    original patch by Helmut Eller for CMUCL)
  * bug fix: stack-exhaustion detection works now on NetBSD as well.
    (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)
  * bug fix: special variables as DEFMETHOD parameters no longer have
    associated bogus type declarations. (reported by David Wragg and
    Bruno Haible)
  * bug fix: read-write consistency on streams of element-type
    (SIGNED-BYTE N) for N > 32.  (reported by Bruno Haible for CMUCL)
  * bug fix: redefiniton of the only method of a generic function with
    no DEFGENERIC no longer emits a full WARNING.  In addition,
    redefinition of generic functions with no DEFGENERIC to an
    incompatible lambda list now signals an error.  (thanks to Zach
    Beane)
  * bug fix: DEFGENERIC now works even when there's a function of the
    same name in an enclosing lexical environment.  (thanks to Zach
    Beane)
  * fixed compiler failure, caused by instrumenting code during
    IR1-optimization.  (Debian bug report #273606 by Gabor Melis)
  * optimization: added loop analysis and improved register allocation
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** POSITION on displaced vectors with non-zero displacement
       returns the right answer.
    ** (SIMPLE-STRING) is a valid type specifier for sequence
       creators.
    ** *PRINT-LEVEL* handling for slotless structures is pedantically
       correct.
    ** PPRINT-INDENT accepts a request for an indentation of any REAL.
    ** PPRINT-TAB (and the FORMAT ~T directive) now indent by the
       correct amounts.
    ** The justification version of the FORMAT ~< directive treats
       non-zero minpad parameter correctly.

changes in sbcl-0.8.15 relative to sbcl-0.8.14:
  * incompatible change: SB-INT:*BEFORE-SAVE-INITIALIZATIONS* and
    SB-INT:*AFTER-SAVE-INITIALIZATIONS* have been renamed
    SB-EXT:*SAVE-HOOKS* and SB-EXT:*INIT-HOOKS*, and are now part of
    the supported interface.
  * new feature: Single-stepping of code compiled with DEBUG 2 or
    higher and (> DEBUG (MAX SPACE SPEED)) is now possible.
  * new feature: saving cores with foreign code loaded is now
    supported on x86/FreeBSD, x86/Linux, and sparc/SunOS. (based on
    Timothy Moore's work for CMUCL)
  * bug fix: DEFTYPE lambda-list parsing now binds unsupplied keyword
    parameters to * instead of NIL if no initform is supplied.
    (reported by Johan Bockgaard)
  * bug fix: DEFINE-COMPILER-MACRO lambda-list parsing now binds
    correctly when FUNCALL appears as the car of the form. Note:
    despite this FUNCALL forms are not currently subject to
    compiler-macro expansion. (port of Raymond Toy's fix for the
    same from CMUCL, reported by Johan Bockgaard)
  * bug fix: FOR ... ON ... -clauses in LOOP now work on dotted lists
    (thanks for Teemu Kalvas)
  * bug fix: in FORMAT ~^ inside ~:{ now correctly steps to the next
    case instead of terminating the iteration (thanks for Julian
    Squires, Sean Champ and Raymond Toy)
  * bug fix: incorrect expansion of defgeneric that caused a style
    warning. (thanks for Zach Beane)
  * bug fix: slot accessor effective method computation works properly
    for classes with multiple non-standard applicable methods on
    SB-MOP:SLOT-VALUE-USING-CLASS.  (reported by Ralf Mattes)
  * on x86 compiler supports stack allocation of results of LIST and
    LIST*, bound to variables, declared DYNAMIC-EXTENT. (based on
    CMUCL implementation by Gerd Moellmann)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** FORMAT strings with both the ~<~:;~> form of the justification
       directive and pretty-printing directives cause an error.

changes in sbcl-0.8.14 relative to sbcl-0.8.13:
  * incompatible change: the internal functions
    SB-KERNEL:32BIT-LOGICAL-FOO, intended for providing efficient
    logical operations on (UNSIGNED-BYTE 32) values, have been renamed
    to SB-KERNEL:WORD-LOGICAL-FOO.  Modular arithmetic should be used
    instead of the old functions.
  * new feature: on platforms where "dladdr" is available foreign
    function names now appear in backtraces.  (based on Helmut Eller's
    work for CMUCL)
  * documentation: documentation for SB-BSD-SOCKETS, SB-GRAY,
    SB-SIMPLE-STREAMS, and SB-PROFILE have been integrated into the user
    manual.
  * documentation: ASDF manual is now distributed with SBCL.
  * bug fix: SBCL can now load its contributed modules with REQUIRE
    even if the system-provided entries have been removed from
    ASDF:*CENTRAL-REGISTRY*. Infinite recursion in REQUIRE is also
    detected.
  * bug fix: backtraces involving undefined functions or assembly
    routines are more informative.  (thanks to Brian Downing)
  * bug fix: mutually referent alien structures now work correctly.
    (reported by Rick Taube)
  * bug fix: structures defined by WITH-ALIEN can be referred to
    within other definitions in the same WITH-ALIEN.
  * bug fix: division operators (MOD, TRUNCATE and the like) with
    constant zero divisors and integer dividends no longer generate
    left shifts.
  * bug fix: provide default methods for INPUT-STREAM-P and
    OUTPUT-STREAM-P specialized on SB-GRAY:FUNDAMENTAL-STREAM.
  * bug fix: improve the detection and resolution of MOP metacycles
    (where effective method computation depends on the generic function
    having its effective method computed).  (reported by Bruno Haible)
  * bug fix: pass the right initargs to :BEFORE or :AFTER methods on
    SHARED-INITIALIZE or INITIALIZE-INSTANCE in optimized
    MAKE-INSTANCE constructors.  (reported by Axel Schairer for cmucl)
  * bug fix: pathnames with relative directory components can be
    represented relative to default pathnames.
  * optimization: in taking the GCD of bignums, reduce the two bignums
    to approximately the same size (using Euclid's algorithm) before
    applying the more sophisticated binary GCD.  (thanks to Juho
    Snellman)
  * optimization: COUNT on bitvectors now operates word-at-a-time.
  * optimization: ASH with a positive, but not necessarily constant,
    (leftwards) shift, when in a modular context, is compiled to a
    hardware shift.
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** FORMAT variable parameters ("~V<char>") are defaulted properly
       if the corresponding argument is NIL.
    ** FORMAT directives accepting a minpad parameter treat negative
       values as 0.
    ** literal commas as character parameters to FORMAT directives are
       parsed correctly.
    ** literal spaces directly after ~<Newline> directives within a
       format-logical-block (~:< ~@:>) do not induce :FILL-style
       conditional newlines.
    ** PRINT-UNREADABLE-OBJECT inserts spaces as specified (and only
       as specified: it no longer includes conditional newlines).
    ** PRINC-TO-STRING binds *PRINT-READABLY* to NIL (as well as
       *PRINT-ESCAPE*).
    ** PPRINT-LOGICAL-BLOCK signals a TYPE-ERROR if its :PREFIX or
       :PER-LINE-PREFIX argument does not evaluate to a string.

changes in sbcl-0.8.13 relative to sbcl-0.8.12:
  * new feature: SB-PACKAGE-LOCKS. See the "Package Locks" section of
    the manual for details; for now, package locks can be disabled by
    removing :SB-PACKAGE-LOCKS in customize-target-features.lisp, but
    if no major problems are found then it is likely that they will be
    compiled in unconditionally.
  * major incompatible change: LOAD-FOREIGN and LOAD-1-FOREIGN are now
    unsupported operators on all platforms.  To load a shared library
    into SBCL, use SB-ALIEN:LOAD-SHARED-OBJECT.  To load a non-shared
    object file, link it into a shared library outside of SBCL and
    load it using SB-ALIEN:LOAD-SHARED-OBJECT.  (incidentally fixes
    bug #79)
  * bug workaround: ROOM T and the GC were not working together
    reliably, because invariants expected by the SB!VM:INSTANCE-USAGE
    reporting facility aren't preserved. That reporting has been
    disabled, so now until and unless someone figures out how to make it
    work reliably with the current GC, (ROOM T) is equivalent to (ROOM).
  * minor incompatible change: as threatened around sbcl-0.8.0, the
    home package of MOP-related symbols is now SB-MOP, not SB-PCL.
    The symbols are also exported from SB-PCL for backwards
    compatibility, but more so than before SB-PCL should be treated as
    an implementation-internal package.
  * fasl format changed: SBCL 0.8.13 fasls are incompatible with those
    of earlier versions
  * the SB-SPROF contrib now works on (most) non-x86 architectures.
    It is known as of this release not to work on the Alpha, however.
  * fixed bug #167: errors signalled due to illegal syntax in method
    bodies are now more legible.
  * fixed bug #338: instances of EQL-SPECIFIER are now valid type
    designators and can hence be used with TYPEP.
  * fixed bug #333: CHECK-TYPE now ensures that the type error
    signalled, if any, has the right object to be accessed by
    TYPE-ERROR-DATUM.  (reported by Tony Martinez)
  * fixed bug #340: SETF of VALUES obeys the specification in ANSI
    5.1.2.3 for multiple-value place subforms.  (reported by Kalle
    Olavi Niemetalo)
  * fixed bug #334: programmatic addition of slots using specialized
    methods on SB-MOP:COMPUTE-SLOTS works for :ALLOCATION :INSTANCE
    and :ALLOCATION :CLASS slots.
  * fixed bug #269: SCALE-FLOAT scales floats by any integer, not just
    float exponents.  (rereported by Peter Seibel)
  * fixed a bug: #\Space (and other whitespace characters) are no
    longer considered to be macro characters in standard syntax by
    GET-MACRO-CHARACTER.
  * fixed bug: initialization of condition class metaobjects no longer
    causes an instance of the condition to be created.  (reported by
    Marco Baringer)
  * fixed bug: it is now possible to have slots such that
    SB-MOP:SLOT-DEFINITION-ALLOCATION of the effective slot
    description is neither :INSTANCE nor :CLASS.
  * fixed bug: the ctor optimization of MAKE-INSTANCE now respects
    user-defined methods on SLOT-BOUNDP-USING-CLASS and (SETF
    SLOT-VALUE-USING-CLASS), and no longer causes errors with
    non-standard SLOT-DEFINITION-ALLOCATION values.
  * fixed bugs: various race conditions handling exiting threads.
    CL-PPCRE's thread torture test now passes.
  * fixed arguably-a-bug: GC time proportional to number of threads in
    system even when most of them are idle
  * optimization: improved performance of BIT and SBIT on bit-vectors.
  * .fasl file incompatibility: The fasl file version number has
    been incremented because of changes associated with package locks.

changes in sbcl-0.8.12 relative to sbcl-0.8.11:
  * minor incompatible change: the system no longer provides
    optimization hints (conditions which are TYPEP
    SB-EXT:COMPILER-NOTE) for conforming code in default compilation
    mode; these hints are still emitted when higher SPEED optimization
    is requested.
  * new contrib module: a sampling profiler (profiling by statistical
    sampling, rather than by instrumenting functions) is available as
    the SB-SPROF contrib.  (thanks to Gerd Moellmann and Juho Snellman)
  * the behaviour of the standard function ED is now customizeable by
    third parties through a hook variable: see ED's documentation
    string for information on the protocol.
  * the compiler no longer emits efficiency notes for (FUNCALL X)
    when the type of X is uncertain under default optimization
    settings.
  * fixed bug 276: mutating a binding of a specialized parameter to a
    method to something that is not TYPEP the specializer is now
    possible.
  * fixed bugs 45d and 118: DOUBLE-FLOAT[-NEGATIVE]-EPSILON now
    exhibit the required behaviour on the x86 platform.  (thanks to
    Peter van Eynde, Eric Marsden and Bruno Haible)
  * fixed bug 335: ATANH now computes the inverse hyperbolic tangent
    even for difficult arguments.  (reported by Peter Graves)
  * fixed bug 141a: the backquote printer now descends quoted
    structure.
  * fixed another bug in backquote printing: no more destructive
    modification of the form's list structure.  (reported by Brian
    Downing)
  * fixed bug in INTERRUPT-THREAD: pin the function, so that it cannot
    move between its address being taken and the call to
    interrupt_thread, fixing a crashing race condition.
  * the SB-POSIX contrib implementation has been adjusted so that it
    no longer exhibits ridiculously poor performance when constructing
    instances corresponding to C structs.

changes in sbcl-0.8.11 relative to sbcl-0.8.10:
  * minor incompatible change: the sb-grovel contrib now treats C
    structures as alien (in the sense of SB-ALIEN) objects rather than
    as undistinguished (simple-array (unsigned-byte 8) (*))s.  This
    has implications for memory management of client code
    (sb-grovel-returned objects must now be manually managed) and for
    type safety (alien objects now have full types).
  * new feature: the SB-EXT:MUFFLE-CONDITIONS declaration should be
    used to control emission of compiler diagnostics, rather than the
    SB-EXT:INHIBIT-WARNINGS OPTIMIZE quality.  See the manual for
    documentation on this feature.  The SB-EXT:INHIBIT-WARNINGS
    quality should be considered deprecated.
  * install.sh now installs the user manual as well
  * (not quite a new documentable feature, but worth considering in
    the light of the new SB-EXT:MUFFLE-CONDITIONS declaration): the
    beginnings of a semantically meaningful condition hierarchy is
    under development, for use in SB-EXT:MUFFLE-CONDITIONS and by
    IDEs.
  * fixed bug: PARSE-NAMESTRING now accepts any valid pathaname
    designator as the defaults argument.
  * fixed bug: Displaced arrays whose displaced-to array has become
    too small now cause ARRAY-DIMENSION to signal an error, providing
    for safer bounds-checking. (reported by Bruno Haible)
  * fixed bug: DEFCLASS slot definitions with identical :READER and
    :WRITER names now signal a reasonable error. (reported by Thomas
    Burdick)
  * fixed bug: CLOSE :ABORT T on appending stream no longer causes
    file deletion.
  * fixed bug: Invalid slot specification errors now print correctly.
    (thanks to Zach Beane)
  * fixed bug 320: Shared to local slot value transfers in class
    redefinitions now happen corrently from superclasses as
    well. (reported by Bruno Haible)
  * fixed bug 316: SHIFTF now accepts VALUES forms. (reported by Bruno
    Haible)
  * fixed bug 322: DEFSTRUCT :TYPE LIST type predicates now handle
    improper lists correctly. (reported by Bruno Haible)
  * fixed bug 313: source-transform for <fun-name> was erroneously
    applied to a call of a value of a variable with name <fun-name>.
    (reported by Antonio Menezes Leitao)
  * fixed bug 307: The obsolete instance protocol ensures that
    subclasses are properly obsoleted.  (thanks to Nikodemus Siivola)
  * fixed bug 298, revealed by Paul F. Dietz' test suite: SBCL can
    remove dead unknown-values globs from the middle of the stack.
  * added a new restart to *BREAK-ON-SIGNALS* handling to make it
    easier to resume long computations after using *BREAK-ON-SIGNALS*
    to diagnose and fix failures.  (thanks to Nikodemus Siivola)
  * fixed bug reported by PFD in lisppaste #747 (and Bruno Haible from
    CLISP test suite): WRITE-TO-STRING is not constant-foldable.
  * fixed bugs in COMPLEX type specifier: UPGRADED-COMPLEX-PART-TYPE
    is now consistent with (COMPLEX <x>); bugs in treatment of COMPLEX
    MEMBER and UNION types have likewise been fixed.  (thanks to Bruno
    Haible)
  * fixed a (fairly theoretical) bug in string printing: if
    *PRINT-READABLY* is true, signal PRINT-NOT-READABLE if the string
    does not have array-element-type equal to the most general string
    type.
  * fixed bug: SET-PPRINT-DISPATCH does not immediately resolve
    function name. (thanks to Nikodemus Siivola)
  * fixed bug: compile-time format string checker failed on
    non-closed ~{.  (reported by Thomas F Burdick)
  * fixed bug: as reported by Kalle Olavi Niemitalo on #lisp IRC,
    don't warn on legal loop code involving more than one aggregate
    boolean.  (thanks to Nikodemus Siivola)
  * fixed bug: as reported by Peter Graves on #lisp IRC, passing a NIL
    in keyword position to MAKE-PACKAGE was not being reported as
    invalid.
  * fixed bug: as reported by Juan Ripoll on cmucl-imp,
    MULTIPLE-VALUE-BIND should be able to lexically bind lambda list
    keywords.
  * fixed bugs 280 and 312: the checking for multiple definitions in a
    file is less likely to become confused by uses of inline
    functions.
  * fixed bug: the #S reader macro performs the keyword coercion
    specified for slot names.  (reported by Kalle Niemitalo)
  * fixed bug: lambda lists may contain symbols whose names start with
    & but are not lambda-list-keywords; their occurrence triggers a
    STYLE-WARNING.
  * fixed bug 321: define-method-combination argument lambda lists do
    not cause invalid code to be generated when &optional or &aux
    variables have default values.  (reported by Bruno Haible)
  * fixed bug 327: system subclasses of STRUCTURE-OBJECT or CONDITION
    have CLOS classes; this appears also to have fixed reported
    instability in stack exhaustion detection.
  * fixed bug: the CONTROL-ERROR from ABORT, CONTINUE and
    MUFFLE-WARNING when no associated restart is present is now
    printable.
  * optimization: rearranged the expansion of various defining macros
    so that each expands into only one top-level form in a
    :LOAD-TOPLEVEL context; this appears to decrease fasl sizes by
    approximately 10%.
  * optimization: used a previously little-used slot in symbols to
    cache SXHASH values, yielding a 5-10% compiler speedup.  (thanks
    to Juho Snellman)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** MAKE-INSTANCES-OBSOLETE returns the class name when called with
       a symbol.
    ** Fixed an optimization bug related to inheritance of initforms
       from local to shared slots.
    ** FILE-POSITION works as specified on BROADCAST-STREAMs.
    ** CAST optimizer forgot to flush argument derived type.
    ** print/read consistency on floats is now orders of magnitude
       more likely.  (thanks also to Bruno Haible for a similar report
       and discussions)
    ** removed stack cleaning in the cleanup part of UNWIND-PROTECT.
    ** IMAGPART is specified (infelicitously) to return (* 0 <thing>)
       for objects of type REAL.  Make it so.
    ** SXHASH is specified (infelicitously) to respect similarity,
       which means that (SXHASH 0.0) must equal (SXHASH -0.0).  Make
       it so.  (thanks to Markus Ziegler)
    ** on the Alpha, the compiler succeeds in compiling functions
       returning a known number of arguments greater than 63.
    ** fixed handling of invalid NIL arguments in keyword position
       in local calls.
    ** fixed non-pretty printing of arrays with *PRINT-RADIX* being
       true.
    ** provided a readably-printable representation for RANDOM-STATE
       objects.
    ** ensured that pathnames, where they have a namestring, always
       print using #P"..." syntax.

changes in sbcl-0.8.10 relative to sbcl-0.8.9:
  * Support for the forthcoming 2.0 version of the NetBSD kernel
    running on x86 hardware has been added.  (thanks to Perry
    E. Metzger most immediately, and others for their past work)
  * SBCL now runs on OpenBSD 3.4. (Thanks to Scott Parish; 3.4 is the
    current release version; SBCL's OpenBSD support had been broken
    since about the time of OpenBSD's switch to ELF binary format.)
  * [placeholder for DX summary]
    ** user code with &REST lists declared dynamic-extent, under high
       speed or space and low safety and debug optimization policy.
  * The manual has been converted to Texinfo format and the debugger
    chapter from the cmucl manual has been added.
  * A facility has been added to extract documentation strings from
    sbcl and store them as Texinfo-formatted snippets for inclusion in
    the manual (via Texinfo's @include directive)
  * bug fix: compiler emitted division in optimized DEREF.  (thanks for
    the test case to Dave Roberts)
  * bug fix: multidimensional simple arrays loaded from FASLs had fill
    pointers.  (reported by Sean Ross)
  * bug fix: PROFILE output is printed nicely even for large numerical
    values.  (thanks to Zach Beane)
  * bug fix: streams with element-type (SIGNED-BYTE <N>) for <N>
    greater than 32 handle EOF correctly.
  * bug fix: on X86 an immediate argument of the IMUL instruction is
    correctly printed in disassembly. (thanks to Lutz Euler)
  * bug fix: class slots in redefined classes preserve their old
    values.  (thanks to Bruno Haible and Nikodemus Siivola)
  * bug fix: compilation of funcalls of CXX+R (e.g. CDDR) now
    succeeds.  (reported by Marco Baringer)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** READ-SEQUENCE now works on ECHO-STREAMs.
    ** RATIONALIZE works more according to its specification.  (thanks
       to Bruno Haible)

changes in sbcl-0.8.9 relative to sbcl-0.8.8:
  * deprecation of old extension: *DEBUG-PRINT-LEVEL* and
    *DEBUG-PRINT-LENGTH* are now deprecated in favor of the new, more
    general SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST* mechanism. (This
    should matter to you only if you rebind the printer control
    variables and then find you want different bindings in the
    debugger than in the ordinary execution of your program.)
  * The runtime build system has been tweaked to support building
    (on SPARC/SunOS) using a C compiler which invokes Sun's own
    assembler and linker.  (thanks to Nikodemus Siivola)
  * Unbound, undefined, undeclared variables now trigger full
    WARNINGs, not just STYLE-WARNINGs, on the assumption that this is
    more often programmer error than deliberate exploitation of undefined
    behaviour.
  * optimization: the hash algorithm for strings has changed to one
    that is less vulnerable to spurious collisions.  (thanks to Juho
    Snellman)
  * optimization: VECTOR-POP, VECTOR-PUSH-EXTEND and REPLACE do less
    needless bounds checking.  (thanks to Juho Snellman)
  * optimization: implemented multiplication as a modular
    (UNSIGNED-BYTE 32) operation on the PPC backend.
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** ADJUST-ARRAY now copies the datum in a zero rank array if
       required.
    ** ADJUST-ARRAY no longer adjusts non-adjustable arrays.
    ** MAKE-STRING-INPUT-STREAM accepts NIL as a value for :END.
    ** MAKE-STRING-INPUT-STREAM functions correctly for strings with
       element-type NIL.
    ** CLEAR-INPUT accepts NIL and T for its (optional) stream
       argument.
    ** Ratios can now be printed correctly with *PRINT-BASE* bound to
       2, 8 or 16.
    ** ECHO-STREAMs no longer attempt to echo the end of file value to
       their output stream on EOF from read.
    ** CONCATENATED-STREAM-STREAMS discards constituent streams which
       have been read to end-of-file.
    ** CLOSE works as expected on the null CONCATENATED-STREAM, and on
       STRING-STREAMS.
    ** Printing symbols with *PRINT-CASE* :CAPITALIZE respects the
       description of determination of which consecutive characters
       constitute a word.
    ** Printing the "Space" character with escaping on now yields "#\\ ",
       rather than "#\\Space", as mandated by ANSI 22.1.3.2.
    ** Reading floating-point numbers with *READ-BASE* set to a number
       less than 10 works correctly.
    ** Reading floating-point numbers with *READ-BASE* set to a number
       more than 10 works correctly.
    ** Printing with *PRINT-READABLY* targets the standard readtable, not
       the readtable currently in effect.

changes in sbcl-0.8.8 relative to sbcl-0.8.7:
  * minor incompatible change: parsing of namestrings on a physical
    (Unix) host has changed; numbers after the final #\. in a
    namestring are no longer interpreted as a version field.  This is
    intented to be largely invisible to the user, except that the
    meaning of the namestring "*.*.*" has changed: it now refers to a
    pathname with :TYPE :WILD :NAME #<pattern "*.*">.  This namestring
    should usually be replaced by
      (make-pathname :name :wild :type :wild :version :wild)
    with the added benefit that this is more likely to be portable.
    As a consequence of this change, the :IF-EXISTS :NEW-VERSION
    option to OPEN now signals an error if the file being opened
    exists; this may have an impact on existing code.
  * fixed bug 190: RUN-PROGRAM should now work properly, respecting
    signals received, on the PowerPC platforms (both Linux and
    Darwin).  (thanks to Pierre Mai for pointing out the location of
    the error)
  * several fixes on OS X: The system now builds and runs cleanly on
    Panther (10.3), and works around sigreturn bug (no more SIGFPEs).
    (thanks to Brian Mastenbrook)
  * bug fix: DECODE-UNIVERSAL-TIME now accepts timezone arguments with
    second-resolution: integer multiples of 1/3600 between -24 and 24.
    (thanks to Vincent Arkesteijn)
  * bug fix: functions =, /=, <, <=, >, >= did not check the argument
    type when called with 1 argument; PEEK-CHAR checked type of
    PEEK-TYPE only after having read first character from a
    stream.  (reported by Peter Graves)
  * bug fix: the garbage collector now has much better locality
    behaviour, and in particular no longer treats all memory as being
    exhausted when many small objects point to each other in a deeply
    recursive manner.
  * bug fix: arrays specialized on (UNSIGNED-BYTE 15) are now
    recognized as being TYPEP their class.
  * bug fix: the PUSHNEW documentation string has been corrected.
    (thanks to Vincent Arkesteijn)
  * bug fix: defaulting of the value for the last of an atypically
    large number of multiple values being bound was not being
    performed correctly on the Alpha or PPC platforms
  * optimization: implemented multiplication as a modular
    (UNSIGNED-BYTE 32) operation on the x86 backend.
  * optimization: SEARCH on simple-base-strings can now be open-coded.
    (see also contrib/compiler-extras.lisp for inspiration for
    teaching the compiler about the Boyer-Moore algorithm).
  * value, returned by MAX (and MIN) called with several EQUALP, but
    not EQL, arguments now does not depend on compiler settings.
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** in stack analysis liveness information is propagated from
       non-local entry points.
    ** pathwise CAST removing failed when the CAST node did not start
       a block.
    ** INPUT-STREAM-P, OUTPUT-STREAM-P, STREAM-ELEMENT-TYPE and
       OPEN-STREAM-P signal a TYPE-ERROR if their argument is not a
       stream.
    ** LOAD-LOGICAL-PATHNAME-TRANSLATIONS returns NIL if the logical
       host is already defined.
    ** RENAME-FILE works on streams instead of signalling an internal
       type error.
    ** PEEK-CHAR uses the current readtable when determining whether
       or not a character is whitespace.
    ** MERGE-PATHNAMES handles the case when the pathname does not
       specify a name while the default-pathname specifies a version.
    ** Pathnames now stand a better chance of respecting print/read
       consistency.
    ** Attempting to use standardized file system operators with a
       pathname with invalid :DIRECTORY components signals a
       FILE-ERROR.
    ** OPEN :DIRECTION :IO no longer fails to work on non-existent
       files.
    ** DIRECTORY on logical pathnames is more correct.
    ** CLEAR-INPUT, CLEAR-OUTPUT, FINISH-OUTPUT and FORCE-OUTPUT
       signal a TYPE-ERROR if their argument is not a stream.
    ** READ-BYTE and WRITE-BYTE signal a TYPE-ERROR if their stream
       designator argument does not designate a stream.
    ** OPEN-STREAM-P and INPUT-STREAM-P on synonym streams work by
       examining the synonym.
    ** STREAM-ELEMENT-TYPE and FRESH-LINE on broadcast-streams now
       work as specified.
    ** OPEN and WITH-OPEN-STREAM allow opening streams with
       element-type larger than ([UN]SIGNED-BYTE 32).

changes in sbcl-0.8.7 relative to sbcl-0.8.6:
  * When built with the :SB-FUTEX feature, threaded builds now take
    advantage of the "fast userspace mutex" facility in Linux kernel 2.6
    for faster/more reliable mutex and condition variable support.
  * Incompatible change (but one you probably shouldn't have been using
    anyway): the interface and code for arbitrating between multiple
    threads in the same user session has been redesigned.
  * bug fix: GET-SETF-EXPANSION no longer throws an internal type
    error when called without an explicit environment argument.
    (thanks to Nikodemus Siivola)
  * bug fix: buffered :DIRECTION :IO streams are less likely to become
    confused about their position.  (thanks to Adam Warner and Gerd
    Moellmann)
  * bug fix: Pretty printing backquoted forms with unquotations in the
    argument list position of various code constructs such as LAMBDA
    now works correctly.  (reported by Paul Dietz)
  * bug fix: Pretty printing unquotations no longer loses all
    stream position information.
  * optimization: performance of string output streams is now less
    poor for multiple small sequence writes.
  * optimization: performance of CSUBTYPEP in the presence of complex
    expressions involving CONS and NOT many times has been improved.
    (reported by Paul Dietz)
  * ASDF-INSTALL bug fix: now parses *PROXY* properly.  (thanks to
    Sean Ross)
  * SB-SIMPLE-STREAMS enhancement: simple-streams can now be used as
    streams for the REPL, for the debugger, and so on.  (thanks to
    David Licteblau)
  * DEFINE-CODITION is more efficient.  (thanks to Brian Mastenbrook)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** the value of the :REHASH-THRESHOLD argument to MAKE-HASH-TABLE
       is ignored if it is too small, rather than propagating through
       to cause DIVIDE-BY-ZERO or FLOATING-POINT-OVERFLOW errors.
    ** extremely complex negations of CONS types were not being
       sufficiently canonicalized, leading to inconsistencies in
       SUBTYPEP.
    ** VALUES tranformer lost derived type.

changes in sbcl-0.8.6 relative to sbcl-0.8.5:
  * fixed a bootstrapping bug: the build process no longer assumes
    that the various BOOLE-related constants have the same value in
    host and target lisps.  (noted by Paul Dietz' test suite on an
    SBCL binary built from CLISP)
  * The system can now be dynamically linked on the MIPS platform,
    which enables dynamic loading of foreign code from Lisp.  (thanks
    to Ralf Baechle for discussions on the MIPS ABI)
  * The system now records debugging information for its own source
    files in a filesystem-position-independent manner, relative to
    the "SYS" logical host.
  * fixed a compiler bug: MV-LET convertion did not check references
    to the "max args" entry point.  (reported by Brian Downing)
  * tweaked disassembly notes to be less confident about proclaiming
    some instruction as an LRA.  (thanks to Brian Downing)
  * contrib update: SB-ACLREPL is now threadsafe; multiple listeners
    now each have their own history, command character, and other
    characteristics.  (thanks to David Lichteblau)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** compiler failure in compiling LOGAND expressions including a
       constant 0
    ** Implementation of ASH-MOD32 on X86 and PPC did not work for the
       shift greater than 32.
    ** FLUSH-DEST did not mark blocks for type check regeneration.
    ** HANDLER-CASE failed to accept declarations in handler clauses
       in some circumstances.

changes in sbcl-0.8.4 relative to sbcl-0.8.3:
  * incompatible change: The --disable-debugger command line
    option now clobbers the debugger at a more fundamental
    level, by redefining #'INVOKE-DEBUGGER instead of by
    rebinding *DEBUGGER-HOOK*. The main difference is that BREAK
    is specified by ANSI to ignore *DEBUGGER-HOOK* and
    INVOKE-DEBUGGER regardless. Under the old system, BREAK would
    enter the debugger REPL and then suffer recursive errors
    because *DEBUG-IO* is also messed up in --disable-debugger mode;
    while under the new system, BREAK in --disable-debugger mode
    terminates the system just as an unhandled error would.
  * fixed compiler performance when processing loops with a step >1;
  * bug fix: DOCUMENTATION now retrieves generic function
    documentation.  Also, DOCUMENTATION and (SETF DOCUMENTATION)
    support has been systematized, and now supports the methods
    specified by ANSI, along with a default method and a method for
    slot documentation.  (reported by Nathan Froyd)
  * bug fix: effective methods associated with a generic function are
    no longer cached over a change of that generic function's method
    combination.  (reported by Andreas Fuchs)
  * bug fix: RUN-PROGRAM now does not fail if some element in $PATH
    names a non-existent directory.  (thanks to Andreas Fuchs)
  * bug fix: ROUND and TRUNCATE could, under certain circumstances on
    the PPC platform, lead to stack corruption; this has been fixed.
    (reported by Rainer Joswig)
  * bug fix: ASH on an (UNSIGNED-BYTE 32) with a shift of -32 or lower
    no longer ever returns 1 instead of 0.  (thanks to Lars Brinkhoff)
  * fixed bug 285: TRUNCATE on bignum arguments, and indeed bignum
    arithmetic in general, is now much more reliable on the PPC
    platform.
  * bug fix: LOGCOUNT on (UNSIGNED-BYTE 64) objects on the Alpha
    platform now returns the right answer.
  * optimization: restored some effective method precomputation in
    CLOS (turned off by an ANSI fix in sbcl-0.8.3); the amount of
    precomputation is now tunable.
  * optimization: compiler-internal data structure use has been
    reviewed, and changes have been made that should improve the
    performance of the compiler by about 20%.
  * optimization: performance of FILL (and :INITIAL-ELEMENT) on
    simple-base-strings and simple-bit-vectors is improved.
  * optimization: the optimization of 32-bit logical and arithmetic
    functions introduced in version 0.8.3 on the x86 has been
    implemented on the mips, ppc and sparc platforms; an
    implementation of the same facility, but for 64-bit arithmetic,
    has been added for the alpha.
  * microoptimization: the compiler is better able to make use of the
    x86 LEA instruction for multiplication by constants.
  * bug fix: in some situations compiler did not report usage of
    generic arithmetic in (SPEED 3) policy.
  * bug 145b fix: compiler used wrong type specifier while converting
    MEMBER-types to numeric.
  * bug fix: COMPILE-FILE must bind *READTABLE*. (reported by Doug
    McNaught)
  * bug fix: (SETF AREF) on byte-sized-element arrays with constant
    index argument now works properly on the Alpha platform.
  * bug fix: floating point exception treatment on the Alpha platform
    is improved.
  * bug fix: FILE-POSITION works much better on string input and
    output streams.  (thanks to Nikodemus Siivola)
  * bug fix: many threading/garbage collection symptoms sorted.
    SB-THREAD:INTERRUPT-THREAD now safe to call on a thread that
    might be pseudo-atomic.
  * internal change: Stopping for GC is now done with signals not
    ptrace. GC is now done in whichever thread wanted it, instead of
    in the parent.
  * bug fix: GC hooks (missing since 0.8) reinstated, so finalizers
    work again.
  * bug fix: result form in DO is not contained in the implicit
    TAGBODY.
  * incompatible change: ICR structure is changed; the value part of
    CONTINUATION is now called LVAR; corresponding functions are
    renamed (e.g. SB-C::CONTINUATION-TYPE has become SB-C::LVAR-TYPE).
  * added type deriver for ISQRT (thanks to Robert E. Brown).
  * bug fix: better support for loading from the command line when an
    initialization file sets (READTABLE-CASE *READTABLE*).  (thanks
    to Adam Warner)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** the RETURN clause in LOOP is now equivalent to DO (RETURN ...).
    ** ROUND and FROUND now give the right answer when given very
       small float arguments.
    ** (FLOAT X) for X of type DOUBLE-FLOAT now returns X in all
       circumstances.
    ** optimizer for (EXPT X 0) did not work for X not of type FLOAT.
    ** (GCD 0 <negative-integer>) returned <negative-integer>.
    ** LCM should return a non-negative integer.
    ** PARSE-INTEGER returned the index of a terminator instead of the
       upper bounding index of a substring in case :JUNK-ALLOWED NIL.
    ** PARSE-INTEGER returned an incorrect index being applied to a
       displaced string.
    ** LCM with two arguments of 0 returns 0 rather than signalling
       DIVISION-BY-ZERO.
    ** unsigned addition of a 32-bit constant with the high bit set no
       longer causes an internal compiler error on the x86.
    ** LOGBITP accepts a non-negative bignum as its INDEX argument.
    ** compiler incorrectly derived types of DPB and DEPOSIT-FIELD
       with negative last argument.
    ** byte specifiers with zero size and position no longer cause
       an error during type derivation.
    ** bignum multiplication on the Alpha platform now returns the
       right answer.
  * porting: The system now builds on SuSE AMD64, although it still
    generates a 32-bit binary.
  * .fasl file incompatibility: The fasl file version number has
    been incremented (because of the changes to internal compiler
    data structures referred to above).