+;;;; -*- coding: utf-8; -*-
+changes in sbcl-1.0.6 relative to sbcl-1.0.5:
+ * new contrib: sb-cover, an experimental code coverage tool, is included
+ as a contrib module.
+ * optimization: STRING-TO-OCTETS for unibyte encodings and UTF-8 is
+ significantly faster.
+ * optimization: calls of the form (AREF FOO (+ INDEX <constant>)) now
+ produce more efficient code on x86-64 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.
+ * enhancement: a new, experimental synchronous timeout facility is
+ provided. Refer to SB-SYS:WITH-DEADLINE for details.
+ * enhancement: when a symbol name conflict error arises, the
+ conflicting symbols are always printed with a package prefix.
+ (thanks to Kevin Reid)
+ * enhancement: stepping is now once again supported on the SPARC and
+ MIPS platforms. (It is also now more likely to work on CheneyGC
+ builds on the PPC.)
+ * enhancement: sb-sprof can now also track and report accurate call
+ counts.
+ * bug fixes: the treatment of non-standard subclasses of
+ SB-MOP:SPECIALIZER is more correct.
+ * incompatible change: PURIFY no longer copies the data from the
+ dynamic space into the static and read-only spaces on platforms
+ that use the generational garbage collector
+ * bug fix: GETHASH, (SETF GETHASH), CLRHASH and REMHASH are now
+ interrupt safe.
+ * bug fix: GC race condition occasionally resulting in crashes with
+ the error message "SIG_STOP_FOR_GC blocked at a bad place" has been
+ fixed.
+ * bug fix: &ENVIRONMENT variables in macro lambda lists can now be
+ declared ignored.
+ * bug fix: DEFSETF lambda lists without &ENVIRONMENT no longer cause
+ a STYLE-WARNING to be signalled (regression from 1.0.4.)
+ * bug fix: an asynchronous interrupt could previously leave the
+ system running with GC inhibited.
+ * bug fix: a DECLARE form evaluated at top-level now causes an error
+ rather than silently (or verbosely) returning NIL.
+ * bug fix: trying to dissassemble functions compiled at high DEBUG could
+ result in a error being signalled due to source form lookup errors.
+ (reported by Peter Graves)
+
+changes in sbcl-1.0.5 relative to sbcl-1.0.4:
+ * incompatible change: removed writer methods for host-ent-name,
+ host-ent-addresses -- changing the values did not update the DNS
+ information anyway.
+ * minor incompatible change: changed experimental JOIN-THREAD interface
+ * documentation: the manual now lists reader and writer methods
+ in class slot documentation sections. (thanks to Richard M Kreuter)
+ * documentation: unwinding from asyncronous events has been
+ documented as unsafe.
+ * documentation: SB-SYS:WITHOUT-GCING has been documented as unsafe
+ in multithreaded application code.
+ * optimization: GET-INTERNAL-REAL-TIME has been optimized on POSIX
+ platforms. (thanks to James Anderson for the optimization hint)
+ * optimization: REPLACE, SUBSEQ, and COPY-SEQ are now optimized in
+ more cases.
+ * optimization: STRING-{EQUAL,LESSP,GREATER-P} and their NOT-
+ variants no longer cons.
+ * optimization: Direct calls to CHAR-{EQUAL,LESSP,GREATERP} and
+ their NOT- variants no longer cons.
+ * optimization: EQUAL hash tables no longer use SXHASH for objects
+ of all data types, but instead use an EQL hash for types for which
+ EQUAL is the same as EQL.
+ * optimization: the non-inlined generic versions of AREF and (SETF AREF)
+ are significantly faster.
+ * optimization: new STRING-OUTPUT-STREAM implementation is much
+ faster for large outputs and conses 30% less on average.
+ * enhancement: XREF information is now collected for references made
+ to global variables using SYMBOL-VALUE and a constant argument.
+ * enhancement: SIGINT now causes a specific condition
+ SB-SYS:INTERACTIVE-INTERRUPT to be signalled.
+ * bug fix: FILE-POSITION used to signal an error in some cases where
+ ANSI requires it to return NIL.
+ * bug fix: ADJUST-ARRAY is now interrupt-safe.
+ * bug fix: adding and removing fd-handlers is now interrupt-safe.
+ * bug fix: inlined calls to C now ensure 16byte stack alignment on
+ x86/Darwin.
+ * bug fix: bad type declaration in the CLOS implementation has
+ been fixed. (reported by James Anderson)
+ * bug fix: incorrect ROOM reporting on x86-64 has been fixed.
+ (thanks to Lutz Euler)
+ * bug fix: DEFSETF now allows &ENVIRONMENT and disallows &AUX as
+ required by the CLHS. (reported by Samium Gromoff)
+ * bug fix: dead unbound variable references now signal an error.
+ (reported by Marco Monteiro)
+ * bug fix: / with an unused value was being deleted in safe code.
+ (thanks to Marco Monteiro and Kevin Reid)
+ * bug fix: number of characters that can be written onto a single
+ line in a file is unlimited.
+ * bug fix: some GC deadlocks caused by asynchronous interrupts have
+ been fixed by inhibiting interrupts for when GC is disbled.
+ * bug fix: some interrupt safety issues with GETHASH, (SETF
+ GETHASH), CLRHASH and REMHASH have been fixed.
+ * bug fix: binding *BREAK-ON-SIGNALS* to a value that is not a type
+ specifier no longer causes infinite recursion.
+ * bug fix: SB-EXT:MUFFLE-CONDITIONS declarations no longer trigger a
+ bogus warning in DEFMETHOD bodies. (reported by Kevin Reid)
+ * bug fix: an &environment argument with the correct variable information
+ is passed to macros that are expanded during byte compilation.
+ (reported by Samium Gromoff)
+ * bug fix: a logic error was causing the hash function for bignums to
+ have excessive amounts of collisions. (reported by Faré Rideau)
+ * bug fix: modifying the contents of an array could change the return
+ value of SXHASH on that array, which is only allowed for strings
+ and bit vectors. (bug introduced in 0.9.16)
+ * improvement: the x86-64/darwin port now passes all tests (except
+ for the debugger tests) but should still be considered
+ experimental until this is fixed.
+ * improvement: a style-warning is signaled for CASE (etc) clauses with
+ duplicate keys. (thanks to Kevin Reid)
+ * improvement: macos/x86 and macos/x86-64 now use mach exception
+ handlers for dealing with illegal instructions (for trapping and
+ error handling) and memory protection violations (for GC).
+
+changes in sbcl-1.0.4 relative to sbcl-1.0.3:
+ * new platform: experimental support for x86-64/darwin (MacOS).
+ * incompatible change: the thread-safe (on most platforms) getaddrinfo
+ and getnameinfo sockets functions are used instead of gethostbyaddr
+ and gethostbyname, on platforms where the newer functions are available.
+ As a result, the ALIASES field of HOST-ENT will always be NIL on these
+ platforms.
+ * change: runtimes with embedded cores (i.e. saved with :EXECUTABLE T)
+ don't print the startup banner, but behave as if --noinform was passed
+ as a command line argument. (thanks to Kevin Reid)
+ * new experimental feature: added JOIN-THREAD (by NIIMI Satoshi)
+ * optimization: code using alien values with undeclared types is much faster.
+ * optimization: the compiler is now able to open code SEARCH in more cases.
+ * optimization: more compact typechecks on x86-64 (thanks to Lutz Euler)
+ * bug fix: using standardized COMMON-LISP special variables as loop
+ variables no longer signals bogus package lock violations. (reported
+ by Eric Marsden)
+ * bug fix: declaring local loop variables to be of a range-limited type
+ such as (SINGLE-FLOAT 1.0 2.0) no longer causes a compile-time error.
+ (reported by Andras Simon)
+ * bug fix: >= and <= gave wrong results when used with NaNs. (Some NaN
+ bugs remain on x86-64.)
+ * bug fix: the #= and ## reader macros now interact reasonably with
+ funcallable instances.
+ * bug fix: type-checks for function arguments were compiled using the
+ compiler policy settings of the wrong lexical environment (in 1.0.2
+ and 1.0.3).
+ * bug fix: SHADOW accepts characters as string designators, as required
+ by the spec (thanks to Eric Marsden)
+ * bug fix: fixed GC safety issues when foreign functions are called with
+ non-base strings as arguments
+ * bug fix: more consistent error output for fatal-compiler-warnings, like
+ reader errors
+ * bug fix: functions with proper names were showing up as NIL in
+ backtraces (reported by Edi Weitz, regression in 1.0.2)
+
+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.1 relative to sbcl-1.0:
+ * new platform: FreeBSD/x86-64, including support for threading.
+ * new feature: the compiler stores cross-referencing information
+ abount function calls (who-calls), macroexpansion (who-macroexpands)
+ and special variables (who-binds, who-sets, who-references) for code
+ compiled with (< SPACE 3). This information is available through the
+ sb-introspect contrib.
+ * new feature: users may subclass SEQUENCE, and have instances of
+ these classes interoperate with standard Common Lisp functions if
+ a number of methods are defined. (This feature is experimental
+ and the interface subject to change based on feedback from SBCL
+ users and the general community)
+ * improvement: sb-sprof traces call stacks to an arbitrary depth on
+ x86/x86-64, rather than the previous fixed depth of 8
+ * improvement: another pthread back-end of mutex "pthread-futex".
+ * bug fix: non-ascii command-line arguments are processed correctly
+ (thanks to Yaroslav Kavenchuk)
+ * bug fix: non-required arguments were not passed correctly when a method
+ defined using DEFMETHOD was called from a mop-generated method using
+ CALL-NEXT-METHOD (reported by Pascal Costanza)
+ * bug fix: recursion is now permitted in accessors through
+ SLOT-UNBOUND. (reported by Pascal Costanza)
+ * bug fix: an error was signaled at startup if the HOME environment
+ variable was defined, but had an empty value (reported by Peter Van Eynde)
+ * bug fix: non ordinary lambda-list keyword in ordinary lambda lists
+ signal a PROGRAM-ERROR, not a BUG.
+ * bug fix: SB-POSIX:READDIR works when built with large file support.
+ * bug fix: ENOUGH-NAMESTRING works relative to #p"/" as well. (thanks
+ to Marco Monteiro)
+ * enhancement: DESTRUCTURING-BIND lambda-list uses &BODY instead of &REST
+ for better automatic indentation support. (thanks to Matt Pillsbury)
+ * optimization: loading generic functions no longer takes O(n^2) time,
+ proportional to the amount of methods in the generic function
+ (reported by Todd Sabin and Jeremy Brown)
+ * optimization: the FIND and POSITION family of sequence functions
+ are significantly faster on arrays whose element types have been
+ declared.
+ * improvements to the Windows port:
+ ** Intermittent heap corruption problems have been fixed. (thanks
+ to Alastair Bridgewater)
+ ** TRACE :ENCAPSULATE NIL (and function end breakpoints)
+ work on Windows.
+ ** Lisp is able to unwind foreign exception frames from alien
+ callbacks. (thanks to Alastair Bridgewater)
+
+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.15 relative to sbcl-0.9.14:
+ * added support for the ucs-2 external format. (contributed by Ivan
+ Boldyrev)
+ * minor incompatible change: pretty printing of objects of type
+ (cons symbol) is, in the default pprint-dispatch-table, now
+ sensitive to whether the symbol satisfies FBOUNDP. (thanks to
+ Marcus Pearce)
+ * minor incompatible change: SB-MOP:FINALIZE-INHERITANCE is now
+ called later in a class's lifetime, possibly as late as when the
+ first instance of the class is created. Previously,
+ SB-MOP:FINALIZE-INHERITANCE was called by the system as soon as a
+ class became finalizeable.
+ * fixed bug: FILE-POSITION sometimes returned inconsistent results
+ for multibyte external-format streams. (thanks to "vbzoli")
+ * fixed bug: CHANGE-CLASS would fail to preserve the values of slots
+ with :ALLOCATION :CLASS inherited from superclasses of the
+ original class.
+ * fixed bug: anonymous classes can now be created using the :NAME
+ initarg and MAKE-INSTANCE / REINITIALIZE-INSTANCE, as specified by
+ AMOP. (reported by Leonid Slobodov on comp.lang.lisp)
+ * fixed bug: core-files saved with :EXECUTABLE T can again be
+ executed when SBCL_HOME isn't set. (reported by James Knight)
+ * fixed bug: toplevel LOCALLY forms with declarations could
+ occasionally get miscompiled. (reported by Yaroslav Kavenchuk)
+ * fixed bug: printing from several different threads using different
+ values of *print-case* could cause invalid output, due to
+ some internal special variables of the printer not being bound
+ thread-locally (reported by Max Mikhanosha)
+ * fixed bug: SPECIALIZER metaobjects (including anonymous classes
+ and EQL-SPECIALIZERs) can be used as specializers to DEFMETHOD.
+ (reported by Pascal Costanza)
+ * fixed bug: FINALIZE-INHERITANCE is called from
+ REINITIALIZE-INSTANCE on classes when the class has previously
+ been finalized, as required by AMOP.
+ * minor code generation optimizations:
+ ** better register allocation in CLOS dispatching functions
+ ** overflow detection when coercing signed bytes to fixnums on x86-64
+ ** is now implemented with one IMUL instruction instead of three shifts
+ ** more efficient bit-vector access on x86 and x86-64
+ ** more efficient access to raw structure slots on x86 and x86-64
+ * fixed some bugs revealed by Paul Dietz' test suite:
+ ** ENSURE-DIRECTORIES-EXIST.8: ENSURE-DIRECTORIES-EXIST must
+ return its argument.
+
+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-STEAMS 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
+\a
+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
+