Tags

changes in sbcl-1.0.3 relative to sbcl-1.0.2:
  * new platform: NetBSD/PPC.  (thanks to Aymeric Vincent)
  * optimization: calls of the form (AREF FOO (+ INDEX <constant>)) now
    produce more efficient code on the x86 if the compiler can determine
    that (+ INDEX <constant>) does not require a bounds check and FOO
    has an element type at least 8 bits wide.
  * bug fix: references to undefined variables are handled the same way
    in toplevel forms as in the normal compiler
  * bug fix: the build scripts again work with non-bash /bin/sh (thanks
    to Magnus Henoch)
  * bug fix: use "gtar" as the asdf-install *TAR-PROGRAM* on NetBSD
    (thanks to Jon Buller)
  * improvement: faster compilation times for complex functions
  * improvement: added readlink support to SB-POSIX (thanks to Richard
    M Kreuter)

changes in sbcl-1.0.2 relative to sbcl-1.0.1:
  * improvement: experimental support for mach exception handling on
    x86/macos. requires building with :MACH-EXCEPTION-HANDLER feature
    to use.
  * improvement: support for GBK external format.
    (thanks to Chun Tian (binghe))
  * improvement: the debugger now displays variables that have been closed
    over, in code compiled with (DEBUG 2) or higher
  * improvement: support for executable cores on NetBSD (thanks to
    Richard Kreuter)
  * new feature: added a RESTART-FRAME debugger command
  * new feature: new generic function SB-GRAY:STREAM-FILE-POSITION can
    be used to provide an implementation for FILE-POSITION on Gray streams
    (thanks to Eric Marsden)
  * new feature: add syslog, openlog and closelog support to SB-POSIX
    (thanks to Richard Kreuter)
  * optimization: the function call overhead in code compiled with
    a high DEBUG optimization setting is significantly
  * bug fix: an error is signaled for attempts to use READ-SEQUENCE
    for a (SIGNED-BYTE 8) stream and (UNSIGNED-BYTE 8) vector, or vice versa.
    (thanks to Tony Martinez)
  * bug fix: the initforms for DEFMETHOD &AUX parameters are only
    evaluated once (reported by Kevin Reid)
  * bug fix: the :SHOW-PROGRESS keyword parameter to SB-SPROF:WITH-PROFILING
    works again (thanks to Kilian Sprotte)
  * bug fix: an error is signaled for tagbodies with duplicate tags
    (thanks to Stephen Wilson)
  * bug fix: NIL can be used as a tagbody tag (thanks to Stephen Wilson)
  * bug fix: Win32 port can now handle foreign code unwinding Lisp
    stack frames from alien callbacks.
  * bug fix: ATANH returned incorrect results on win32 (thanks to Pierre Mai)
  * bug fix: SBCL works on Linux/ppc systems with a kernel configured to use
    65k pages (thanks to David Woodhouse)
  * bug fix: fix SB-POSIX dirent and socket on NetBSD (thanks to Richard Kreuter)

changes in sbcl-1.0 relative to sbcl-0.9.18:
  * improvement: experimental support for threading on FreeBSD/x86.
    (thanks to NIIMI Satoshi)
  * improvement: runtime option --dynamic-space-size can be used
    to set the size of the dynamic space reserved on startup.
  * improvement: floating point modes in effect are now saved in
    core, and restored on startup.
  * improvement: GET-INTERNAL-REAL-TIME now reports the time since
    startup, not time since first call to GET-INTERNAL-REAL-TIME.
  * improvement: SAVE-LISP-AND-DIE explicitly checks that multiple
    threads are not running after *SAVE-HOOKS* have run.
  * improvement: writes to CLOS instance slots are type-checked in code
    compiled with (SAFETY 3)
  * improvement: floating-point exception handling on FreeBSD (thanks to
    NIIMI Satoshi)
  * improvement: SB-POSIX supports time(2), utime(2) and utimes(2)
    (thanks to Zach Beane)
  * improvement: support for files larger than 2GB for CL streams and SB-POSIX
    on Linux/x86
  * improvement: added support for the Shift-JIS external format.
    (contributed by NIIMI Satoshi)
  * improvement: callbacks are supported on Linux/PPC.  (thanks to
    Joshua Ross)
  * bug fix: compiler bug triggered by a (non-standard) VALUES
    declaration in a LET* was fixed. (reported by Kaersten Poeck)
  * bug fix: file compiler no longer confuses validated and already
    dumped structurres. (reported by Kaersten Poeck)
  * bug fix: ADJUST-ARRAY :FILL-POINTER T on an array without a
    fill-pointer signals a type-error as required. (thanks to
    Lars Brinkhoff)
  * bug fix: disassemly of funcallable instances works.
  * bug fix: single stepping on PPC.
  * bug fix: fix thread-safety problems in the type system (generally
    manifesting as nonsensical errors like "STRING is a bad type specifier
    for sequences" or "The value 1 is not of type FIXNUM")
  * bug fix: version components are handled correctly in TRANSLATE-PATHNAME
    (reported by Josip Gracin)
  * bug fix: an error is signaled for attempts to displace arrays with
    incompatible element types (thanks to Mario Mommer)
  * bug fix: more correct handling of wide characters in debug info
    (bug reported by Attila Lendvai and fixed by Juho Snellman)
  * optimization: method calls with &OPTIONAL or &KEY arguments are faster
    and don't cause extra consing
  * optimization: MAP and MAP-INTO are significantly faster on vectors
    whose elements types have been declared.
  * Improvements to SB-SPROF:
    ** Support for allocation profiling
    ** Reduced profiling overhead, especially for long profiling runs
  * Improvements to the Windows port:
    ** floating point exceptions are now reported correctly.
    ** stack exhaustion detection works partially.
    ** more accurate GET-INTERNAL-REAL-TIME.
    ** better RUN-PROGRAM behaviour in case of errors in the child
       process.
    ** PROBE-FILE now simplifies pathnames correctly.
    ** DIRECTORY now works correctly with :WILD-INFERIORS.
    ** DECODE-UNIVERSAL-TIME works on times before 00:00:00 January
       1st 1970 (although time timezone data will be unreliable).
    ** Hyperbolic functions TANH, ASINH, ACOSH, and ATANH work.

changes in sbcl-0.9.18 (1.0.beta?) relative to sbcl-0.9.17:
  * enhancement: SB-POSIX now supports cfsetispeed(3), cfsetospeed(3),
    cfgetispeed(3), cfgetospeed(3), and related constants. (thanks to
    Max-Gerd Retzlaff)
  * bug fix: two potential GC deadlocks affecting threaded builds.
  * bug fix: (TYPEP #\A '(NOT (MEMBER #\" #\{ #\:))) now correctly
    returns T (reported by Anton Kazennikov)
  * bug fix: the STORE-VALUE restart of CHECK-TYPE works correctly
    with non-variable places
  * bug fix: remove a race condition in the setting of
    funcallable-instance functions, this should make threaded CLOS
    code more stable against memory faults.
  * bug fix: corruption of specials when unbinding is interrupted by an
    asynchronous unwind (reported by Hannu Koivisto)
  * improvement: the debugger will now also display local variables that
    are only used once, for code compiled with a DEBUG optimization quality
    of 2 or higher.

changes in sbcl-0.9.17 (0.9.99?) relative to sbcl-0.9.16:
  * feature: weak hash tables, see MAKE-HASH-TABLE documentation
  * incompatible change: External-format support for FFI calls.  The
    SB-ALIEN:C-STRING no longer implies an ASCII
    external-format. Instead the string is subject to external-format
    conversion. Additionally return values of type SB-ALIEN:C-STRING
    are by default of type (SIMPLE-ARRAY CHARACTER), not
    SIMPLE-BASE-STRING. For an alien type that behaves like the old
    SB-ALIEN:C-STRING type, use (SB-ALIEN:C-STRING :EXTERNAL-FORMAT
    :ASCII :ELEMENT-TYPE BASE-CHAR).  (thanks to Yaroslav Kavenchuk)
  * incompatible change: SB-EXT package no longer contains the
    following unused symbols: *GC-NOTIFY-AFTER*, *GC-NOTIFY-BEFORE*,
    *GC-NOTIFY-STREAM*, *ERROR-PRINT-LENGTH*, *ERROR-PRINT-LEVEL*,
    *ERROR-PRINT-LINES*
  * incompatible change: the single-stepper is no longer available
    on Alpha, Mips and Sparc platforms.
  * minor incompatible change: the direct superclasses of
    SB-MOP:FUNCALLABLE-STANDARD-OBJECT are (FUNCTION STANDARD-OBJECT),
    not (STANDARD-OBJECT FUNCTION).  This makes the
    class-precedence-lists of GENERIC-FUNCTION and
    STANDARD-GENERIC-FUNCTION comply with the requirement of ANSI
    1.4.4.5.
  * minor incompatible change: the default stream external format on
    non-unicode SBCL is no longer detected from the locale, but is always
    ISO-8859-1
  * new feature: Add a version of evaluator that uses an interpreter instead
    of the compiler. EVAL still uses the compiler by default, to switch it
    to use the interpreter, set the value of the variable
    SB-EXT:*EVALUATOR-MODE* to :INTERPRET.
  * minor incompatible change: the single-stepper REPL has been merged
    with the normal debugger (see the "Stepping" heading of the debugger help
    for more details). The debugger command STEP will no longer switch
    to the single-stepper REPL.
  * bug fix: ENOUGH-NAMESTRING on pathnames with no name and a pattern
    for a type now works.
  * bug fix: loading of default sysinit file works. (thanks to Leonid
    Slobodov)
  * bug fix: better detection of circularities in the file-compiler.
    (reported by Marco Monteiro)
  * bug fix: the CL pathname functions now work with files that have
    non-ASCII characters in their names (thanks to Yaroslav Kavenchuk)
  * bug fix: The :PTY argument for RUN-PROGRAM will now work on
    systems with Unix98 pty semantics.
  * bug fix: ASDF-INSTALL will now work with bsd tar.
  * bug fix: ASDF-INSTALL uses GNU tar on Solaris (thanks to Josip
    Gracin).
  * bug fix: timers expiring in dead threads no longer cause a
    type-error (reported by Paul "Nonny Mouse").
  * bug fix: thanks to more lightweight single-stepper instrumentation,
    code compiled with (DEBUG 3) will compile and execute significantly faster,
    and will have more accurate type-inferencing than before
  * bug fix: SLOT-VALUE optimizations are no longer done on method parameters
    whose bindings are modified
  * improvements to the win32 port (thanks to Yaroslav Kavenchuk):
    ** bug fix: arguments to RUN-PROGRAM are escaped correctly
    ** replace dummy implementations of CL:MACHINE-INSTANCE and
       CL:SOFTWARE-VERSION with proper version

changes in sbcl-0.9.16 relative to sbcl-0.9.15:
  * feature: implemented the READER-METHOD-CLASS and
    WRITER-METHOD-CLASS portion of the Class Initialization Protocol
    as specified by AMOP.
  * incompatible change: variable SB-EXT:*USE-IMPLEMENTATION-TYPES*
    no longer exists.
  * optimization: faster LOGCOUNT implementation on x86 and x86-64
    (thanks to Lutz Euler)
  * optimization: hashing of general arrays and vectors has been
    improved. (reported by Any Fingerhut)
  * enhancement: SB-INTROSPECT is now able to find definitions of
    profiled functions. (thanks to Troels Henriksen)
  * enhancement: compiler-macro expansion applies now to FUNCALL forms
    as well, allowing compiler-macros for SETF-functions to expand.
  * enhancement: step-instrumentation no longer wraps known
    single-value functions with multiple-value context, allowing
    better type inference.
  * fixed bug #337: use of MAKE-METHOD in method combination now works
    even in the presence of user-defined method classes.  (reported by
    Bruno Haible and Pascal Costanza)
  * fixed bug #339(c): if there are applicable methods not part of any
    long-form method-combination group, call INVALID-METHOD-ERROR.
    (reported by Bruno Haible)
  * fixed bug #361: the :FUNCTION initarg in the protocol for
    initialization of methods can now be used to override
    internally-produced optimized functions.  (reported by Bruno
    Haible)
  * bug fix: extensions of MAKE-METHOD-LAMBDA which wrap the
    system-provided lambda expression no longer cause warnings about
    unbound #:|pv-table| symbols.
  * bug fix: improved the handling of type declarations and the
    detection of violations for keyword arguments with non-constant
    defaults.
  * bug fix: potentially erronous calls to PATHNAME and
    MERGE-PATHNAMES were being flushed in some cases.
    (reported by Richard Kreuter)
  * bug fix: compiled calls to TYPEP were mishandling obsolete
    instances.  (reported by James Bielman and Attila Lendvai)
  * bug fix: format strings with ~> without matching ~< no longer
    trigger an AVER, but signal an understandable error instead.
    (reported by Antonio Martinez)
  * bug fix: specifying an output-file without a pathname-type for
    COMPILE-FILE or COMPILE-FILE-PATHNAME resulted in using the type
    of input-file instead of "fasl". (reported by Robert Dodier)
  * bug fix: compiler-macro lambda-list parsing of FUNCALL forms.
    (reported by James Y Knight).
  * bug fix: compiler-macros-function did not consider the environment
    argument for shadowing by local functions.
  * bug fix: compiler-macros expansion was inhibited by local INLINE
    declarations.
  * bug fix: inline expansions of known functions were subject to
    step-instrumentation in high debug policies, leading to problems
    with type-inference.
  * bug fix: compiler failed to differentiate between different CONS
    types in some cases.
  * bug fix: fixed input, output and error redirection in RUN-PROGRAM
    for win32. (thanks to Mike Thomas and Yaroslav Kavenchuk)
  * bug fix: #368: incorrect use of expressed vs. upgraded array
    element type.
  * bug fix: #306a: more precise unions of array types.
  * thread-safety improvements:
    ** CONDITION-WAIT could return early on Linux, if the thread was
       interrupted and subsequently continued with SIGCONT.
    ** STABLE-SORT and ADJUST-ARRAY were not reentrant.

changes in sbcl-0.9.14 relative to sbcl-0.9.13:
  * feature: thread support on Solaris/x86, and experimental thread support
    on OS X/x86.
  * feature: SBCL now tries to signal a STORAGE-CONDITION when running out
    of heap.
  * feature: SBCL now provides USE-VALUE and STORE-VALUE restarts in the
    default method for SLOT-UNBOUND.
  * minor incompatible change: prevent the user from specializing the
    new-value argument to SB-MOP:SLOT-VALUE-USING-CLASS.  It's
    somewhat counter to the intent of the protocol, I (CSR) think, and
    additionally it just doesn't work in SBCL as currently
    implemented, thanks to optimizations (that are always valid for
    the other three SLOT-VALUEish functions, but not for the setter).
  * minor incompatible change: the :SB-LDB feature is now enabled by
    default, and DISABLE-DEBUGGER and ENABLE-DEBUGGER also affect
    the low-level debugger.
  * enchancement: RUN-PROGRAM is now able to extract the file-descriptor
    from SYNONYM-STREAM and TWO-WAY-STREAM provided they can be decomposed
    down to an SB-SYS:FD-STREAM, allowing direct communication in
    more cases. Temporary files and pipes are still used as a fallback
    strategy.
  * thread-safety: DECODE-UNIVERSAL-TIME & GET-DECODED-TIME depended
    on the non-reentrant C functions localtime(3) and gmtime(3).
  * bug fix: global optimization policy was not visible in LOCALLY and
    MACROLET forms.
  * bug fix: class objects can be used as specializers in methods.
    (reported by Pascal Costanza)
  * bug fix: native unparsing of pathnames with :DIRECTORY NIL failed
    with a type error. (reported by blitz_ on #lisp)
  * bug fix: unparsing logical pathnames with :NAME :WILD :TYPE NIL
    failed with a type error.  (reported by Pascal Bourguignon)
  * bug fix: merging pathnames against defaults with :DIRECTORY
    starting with '(:RELATIVE :BACK) should preserve the :BACK.
    (reported by James Y Knight)
  * bug fix: saving large (>2GB) cores on x86-64 now works
  * bug fix: a x86-64 backend bug when compiling (setf aref) with a
    constant index and a (simple-array (signed-byte 32)) array
  * bug fix: NAME-CHAR on an invalid symbol no longer signals an
    error (patch by Robert J. Macomber)
  * feature: TIME now displays the amount of run-time spent in GC
  * bug fix: The debugger now does a better job of respecting
    (PUSH '(*PRINT-CIRCLE* . T) SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST*)
    when printing SB-DEBUG:*DEBUG-CONDITION*. (This is a debugger-only
    workaround for bug 403.)
  * bug fix: floating point exception handling now works on FreeBSD
    (thanks to NIIMI Satoshi)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** MISC.641: LET-conversion were not supposed to work in late
       compilation stages.
  * improvements to the Win32/x86 port:
    ** GET-INTERNAL-RUN-TIME implemented, thanks to Frank Buss.
    ** improved SB-BSD-SOCKETS support, thanks to Timothy Ritchey.

changes in sbcl-0.9.13 relative to sbcl-0.9.12:
  * new feature: source path information is generated for macro-expansion
    errors for use in IDE's like Slime (thanks to Helmut Eller)
  * bug fix: calls to the compiler no longer modify *RANDOM-STATE*
  * bug fix: compiler does not loop forever on an invalid type in
    TYPEP.
  * improvement: compilation of most CLOS applications is significantly
    faster
  * optimization: added a limited bytecode compiler for simple toplevel
    forms, speeding up compilation and FASL loading
  * bug fix: the statistical profiler now properly distinguishes anonymous
    functions

changes in sbcl-0.9.12 relative to sbcl-0.9.11:
  * minor incompatible change: in sbcl-0.9.11 (but not earlier
    versions) SB-MOP:FINALIZE-INHERITANCE would recursively descend
    into subclasses of the finalized class.  Now user calls to
    FINALIZE-INHERITANCE finalize just the one class, and calls by the
    system return before any subclasses are finalized.
  * minor incompatible change: The reader no longer ignores errors
    regarding non-existent packages in #+ and #- feature tests.
  * new feature: command line options --no-sysinit, --no-userinit to
    inhibit loading the corresponding init files
  * new feature: add a generic function SOCKET-SEND to SB-BSD-SOCKETS,
    for sending data through UDP sockets (thanks to François-René Rideau)
  * minor incompatible change: SIGPIPE is ignored and "Broken pipe"
    error is signalled instead (thanks to François-René Rideau)
  * minor incompatible change: Error signalling behaviour of lexical
    operations violating package locks has changed slightly. Refer to
    documentation on package locks for details.
  * enhancement: EVAL can process IF-expressions without resorting to the
    compiler.
  * bug fix: Some operations involving SIN, COS, or TAN weren't being
    constant-folded properly due to missing out-of-line functions.
    (reported by Mika Pihlajamäki)
  * bug fix: LISTEN sometimes returned T even in cases where no data was
    immediately available from the stream
  * fixed bug: types of the last two arguments to SET-SYNTAX-FROM-CHAR
    were reversed. (reported by Levente Mészáros)
  * fixed bug: Tests for the (VECTOR T) type gave the wrong answer
    when given a vector displaced to an adjustable array.  (reported
    by Utz-Uwe Haus)
  * bug fix: derivation of float boundaries from numbers outside the
    appropriate float range (reported by John Wiseman)
  * bug fix: MAKE-LOAD-FORM-SAVING-SLOTS accepts en empty slot name
    list.
  * bug fix: precomputing cache entries for generic functions with
    some subclasses of specializers as yet invalid does not attempt to
    fill a cache line with a negative offset.  (reported by Levente
    Mészároz)
  * improvements to DOCUMENTATION for TYPE and STRUCTURE doc-types:
    allow condition class objects as arguments to DOCUMENTATION and
    (SETF DOCUMENTATION); only find and set documentation for
    structure names for the STRUCTURE doc-type.  (suggested by Gary
    King)
  * improvements to the Win32/x86 port:
    ** (user-homedir-pathname) and default initialization file
       locations now know about the user's "Documents and Settings"
       directory (thanks to Yaroslav Kavenchuk)
    ** run-program is implemented (thanks to Mike Thomas)
    ** sockets support (thanks to Timothy Ritchey)
    ** better backtrace support (thanks to Alastair Bridgewater)
    ** sb-grovel supported
    ** asdf-install and sb-posix work somewhat
    ** capable of running Slime using SWANK:*COMMUNICATION-STYLE* NIL
  * improvements to the Solaris/x86 port:
    ** works on Solaris 11/Solaris Express
    ** floating-point exception handling support
    ** support for the breakpoint-based TRACE :ENCAPSULATE NIL facility
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** REMOVE-METHOD returns its generic function argument even when
       the method is not one of the generic functions' methods.
    ** objects declared as MEMBER types can be admissible arguments to
       structure accessors.
    ** printing characters should simply be printed by the FORMAT ~:C
       directive.
    ** compiler failure when compiling functions with hairy constant
       defaults for optional parameters.
    ** compiler produces wrong code when MAYBE-INLINE-expanding a
       function, which is already optimized.

changes in sbcl-0.9.11 relative to sbcl-0.9.10:
  * new platform: experimental support for SBCL x86/Darwin, including
    MacOS X 10.4.5 on Intel.
  * new feature: Unicode character names are now known to the system
    (through CHAR-NAME and NAME-CHAR).
  * new feature: the filesystem location of SBCL's core file is
    exposed to lisp through the variable SB-EXT:*CORE-PATHNAME*.
  * minor incompatible change: the contrib modules SB-POSIX and
    SB-BSD-SOCKETS no longer depend on stub C libraries; the intent of
    this change is to make it easier to distribute
    location-independent binaries.
  * bug fix: as implied by AMOP, standardized classes no longer have
    slots named by external symbols of public packages.  (reported by
    Pascal Costanza)
  * optimization: calling functions via constant symbols -- as in
    (FUNCALL 'FOO) -- is now roughly as efficient as calling them
    via the function object as in (FUNCALL #'FOO).
  * optimization: on x86 and x86-64, the calling convention for the
    case of dealing with an unknown number of values has been altered
    to be friendlier to the prediction heuristics implemented,
    particularly with reference to CALL and RET pairing.  (thanks to
    Alastair Bridgewater)
  * optimization: on x86, the code for access to thread-local symbol
    values and binding/unbinding of thread-local symbols is smaller.
    (thanks to Alastair Bridgewater)
  * enhancement: CONSTANTP is now able to determine constantness of
    more complex forms, including calls to constant-foldable standardized
    functions and some special forms beyond QUOTE.
  * fixed bug: occasional GC crashes on Solaris/x86
  * optimization: x86-64 supports stack allocation of results of simple
    calls of MAKE-ARRAY, bound to variables, declared DYNAMIC-EXTENT
  * enchancement: the PROCESS-INPUT and -OUTPUT streams created by
    SB-EXT:RUN-PROGRAM can be used for both character and byte IO
    (thanks to James Knight)
  * fixed bug: CL:LISTEN always returns NIL at end of file, as required
    by the standard (thanks to Stephen Compall)

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.