-changes in sbcl-0.8.22 relative to sbcl-0.8.21:
+;;;; -*- coding: utf-8; -*-
+ * new feature: SIMPLE-ARRAY-VECTOR provides access to the underlying
+ data vector of an multidimensional SIMPLE-ARRAY.
+ * optimization: faster generic arithmetic dispatch on x86 and x86-64.
+ * bug fix: lexical type declarations are now correctly reported by
+ SB-CLTL2. (reported by Larry D'Anna)
+ * bug fix: STRING-TO-OCTETS did not handle :START properly when
+ using UTF-8 as external format. (thanks to Luis Oliveira)
+ * bug fix: errors from invalid fill-pointer values to (SETF FILL-POINTER)
+ are signalled correctly. (thanks to Stas Boukarev)
+
+changes in sbcl-1.0.23 relative to 1.0.22:
+ * enhancement: when disassembling method functions, disassembly
+ for the associated fast function is also produced.
+ * enhancement: system stores DEFTYPE lambda-lists, so DESCRIBE can
+ report them.
+ * optimization: printing with *PRINT-PRETTY* true is now more
+ efficient as long as the object being printed doesn't require
+ special handling by the pretty printer.
+ * bug fix: slot symbol-macros from WITH-SLOTS inside DEFMETHOD bodies
+ now interact correctly with type declarations.
+ * partial bug fix: PCL detects infinite recursion during wrapper
+ validation. (thanks to Attila Lendvai)
+ * bug fix: #426; nested function calls are inlined properly.
+ Previously if FOO was an inline function, in calls of the form
+ (FOO (FOO ...)) the outer call was not inlined.
+ * bug fix: long long arguments passed in registers to alien
+ functions on PowerPC Linux and NetBSD are now handled correctly
+ when preceded by SYSTEM-AREA-POINTERs. (reported by Josh Elsasser)
+
+changes in sbcl-1.0.22 relative to 1.0.21:
+ * minor incompatible change: LOAD-SHARED-OBJECT no longer by default looks
+ for the shared object in the current directory, but passes the native
+ namestring of the designated pathname to the operation system's shared
+ object loading function as-it.
+ * minor incompatible change: --disable-debugger toplevel option now takes
+ effect before processing of initialization files and --eval or --load
+ options.
+ * new feature: new commandline argument: --script, which supports
+ shebang lines. See documentation for details. (based on work by
+ Kevin Reid)
+ * new feature: SAVE-LISP-AND-DIE can save current values of
+ --dynamic-space-size and --control-stack-size in the executable core,
+ causing it to skip normal runtime option processing. See documentation
+ for details. (thanks to Zach Beane)
+ * enhancement: inoccous calls to EVAL or generic functions dispatching
+ on subclasses of eg. STREAM no longer cause compiler notes to appear.
+ * enhancement: the system no longer resignals errors from --load and
+ --eval toplevel arguments as SIMPLE-ERRORS, which caused restarts
+ associated with the original error to be lost. (thanks to Ariel
+ Badichi)
+ * enhancement: :DONT-SAVE keyword argument has been added to
+ LOAD-SHARED-OBJECT for controlling interaction with
+ SAVE-LISP-AND-DIE, and UNLOAD-SHARED-OBJECT can be used to undo
+ the effects of an earlier LOAD-SHARED-OBJECT call.
+ * bug fix: ADJUST-ARRAY on multidimensional arrays used bogusly give
+ them a fill pointer unless :DISPLACED-TO or :INITIAL-CONTENTS were
+ provided. (reported by Cedric St-Jean)
+ * bug fix: circularity handling in the reader did not treat raw
+ structure slots correctly. (reported by Cedric St-Jean)
+ * bug fix: SERVE-EVENT occasionally signaled an error about bogus
+ file descriptors when there were none.
+ * bug fix: DEFINE-COMPILER-MACRO support of destructuring lambda-lists
+ was broken. (reporteed by Willem Broekema)
+ * bug fix: SB-EXT:NATIVE-NAMESTRING on Windows did not work on
+ pathnames without a directory.
+ * bug fix: COMPILE-FILE did not warn about undefined variable
+ references at toplevel, and LOAD of the resulting fasl did
+ not signal an error.
+ * bug fix: functions with non-required arguments used to end up with
+ (SB-C::&OPTIONAL-DISPATCH ...) as their name.
+ * bug fix: redefining a function with non-required arguments didn't
+ update the system's knowledge about its call signature properly.
+ * bug fix: fixed #431; incompatible alien record type redefinitions
+ are detected and handled. (reported by Neil Haven)
+ * bug fix: using RESTRICT-COMPILER-POLICY with DEBUG 3 could cause
+ PROGV miscompilation. (reported by Matthias Benkard, patch by Juho
+ Snellman)
+ * bug fix: on x86 and x86-64 backtraces were sometimes truncated
+ after alien stack frames.
+ * bug fix: strings passed to mk{s,d}temp lacked null termination
+
+changes in sbcl-1.0.21 relative to 1.0.20:
+ * new feature: the compiler is able to track the effective type of a
+ generic function across method addition and removal.
+ * new feature: SB-EXT:ATOMIC-INCF allows atomic incrementation of
+ appropriately typed structure slots without locking.
+ * new feature: SB-EXT:CALL-WITH-TIMING provides access to timing
+ information like those gathered by TIME using a programming-friendly
+ interface.
+ * new feature: TIME reports time taken even if the form performs a
+ non-local transfer of control.
+ * enhancement: reduced conservativism on GENCGC platforms: on
+ average 45% less pages pinned (measured from SBCL self build).
+ * bug fix: SB-EXT:COMPARE-AND-SWAP on SYMBOL-VALUE can no longer
+ mutate constant symbols or violate declaimed type of the symbol.
+ * bug fix: SB-THREAD:SIGNAL-SEMAPHORE could fail to wakeup threads
+ sleeping on the semaphore in heavily contested semaphores.
+ * bug fix: semaphores and condition variables were not interrupt
+ safe.
+ * bug fix: SB-THREAD:CONDITION-WAIT doesn't allow waits on mutexes
+ owned by other threads anymore.
+ * bug fix: FIND on lists called KEY outside the specified
+ subsequence. (reported by budden)
+ * bug fix: LOG doesn't use single-float intermediate results when
+ given mixed integer and double-float arguments, leading to better
+ precision. (reported by Bob Felts)
+ * bug fix: LOG with base zero returned values of inconsistent type.
+
+changes in sbcl-1.0.20 relative to 1.0.19:
+ * minor incompatible change: OPTIMIZE qualities
+ SB-C::STACK-ALLOCATE-DYNAMIC-EXTENT, SB-C::STACK-ALLOCATE-VECTOR,
+ and SB-C::STACK-ALLOCATE-VALUE-CELLS no longer exist. See documentation
+ and SB-EXT:*STACK-ALLOCATE-DYNAMIC-EXTENT* for details.
+ * documentation: some slot access efficiency guidelines have been
+ added to the user manual.
+ * optimization: ASSOC-IF, ASSOC-IF-NOT, MEMBER-IF, MEMBER-IF-NOT,
+ RASSOC, RASSOC-IF, and RASSOC-IF-NOT are now equally efficient
+ as ASSOC and MEMEBER.
+ * optimization: calls to ASSOC, MEMBER, and RASSOC can be transformed
+ to more efficient EQ-comparison versions more often.
+ * optimization: enhanced derivation of DOLIST iteration variable type
+ for constant lists.
+ * optimization: constant folding of simple (LIST ...) forms as DOLIST
+ arguments.
+ * optimization: runtime lookup of function definitions can be
+ elided in more cases, eg: (let ((x 'foo)) (funcall foo)).
+ * optimization: compiler is able to derive the return type of
+ (AREF (THE STRING X) Y) as being CHARACTER.
+ * optimization: CLRHASH on empty hash-tables no longer does pointless
+ work. (thanks to Alec Berryman)
+ * optimization: REPLACE deftransforms don't punt when :START1 or
+ :START2 is given
+ * bug fix: compiling DESTRUCTURING-BIND on constant list arguments
+ no longer emits a code deletion note. (reported by Andrew
+ Gasparovic)
+ * bug fix: bogus odd-number-of-keywords STYLE-WARNINGs from calls to
+ functions with an odd number of &OPTIONAL arguments, a &REST
+ argument, and one or more &KEY arguments at the call site.
+ * bug fix: STYLE-WARNINGs for functions with both &OPTIONAL and &KEY
+ arguments appeared at call sites as well.
+ * bug fix: fixed #425; CLOSE drops input buffers from streams, so
+ READ-LINE &co can no longer read from them afterwards. (reported
+ by Damien Cassou)
+ * bug fix: fixed #427: unused local aliens no longer cause compiler
+ breakage. (reported by Stelian Ionescu, Andy Hefner and Stanislaw
+ Halik)
+ * bug fix: non-local exit from a WITH-ALIEN form no longer causes
+ alien-stack leakage. (reported by Andy Hefner)
+ * bug fix: PROGV signals an error when an attempt to violate declared
+ type of a variable or bind a constant is made.
+ * bug fix: SET signals an error when an attempt to violate declared
+ type of a variable is made.
+ * bug fix: restart computation during the execution of a restart
+ test function no longer causes infinite recursion. (reported by
+ Michael Weber)
+ * bug fix: calling SB-COVER:REPORT with a non-directory pathname now
+ signals an error. (thanks to Pierre Mai)
+ * bug fix: EXPORT left symbol unexported in conflict situations.
+ (thanks to Michael Weber)
+ * bug fix: correctly handle name conflicts involving CL:NIL.
+ (thanks to Michael Weber)
+ * bug fix: RESOLVE-CONFLICT restart for name conflicts handles
+ conflicts arising from USEing package with conflicting symbols
+ correctly. (thanks to Michael Weber)
+
+changes in sbcl-1.0.19 relative to 1.0.18:
+ * new feature: user-customizable variable SB-EXT:*MUFFLED-WARNINGS*;
+ warnings that go otherwise unhandled will be muffled if they are
+ of the type that's the value of this variable.
+ * optimization: stack allocation is slightly more efficient on x86
+ and x86-64.
+ * bug fix: DEFSTRUCT forms with user-specified :CONSTRUCTOR options,
+ where a raw slot always is initialized using the initform whose
+ type is not know sufficiently well a compile-time are now compiled
+ correctly. (reported by John Morrison)
+ * bug fix: compiler no longer makes erronous assumptions in the
+ presense of non-foldable SATISFIES types.
+ * bug fix: stack analysis missed cleanups of dynamic-extent
+ arguments in non-let-converted calls to local functions.
+ * improvements to the Windows port:
+ ** adjusted address spaces for building on both Win32 and
+ Win64. (thanks for John Connors)
+ * fixed some bugs revealed by Paul Dietz' test suite:
+ ** interval arithmetic during type derivation used inexact integer
+ to single-float coercions.
+ ** arithmetic operations involving large integers and single
+ floats give the same results in compiled and interpreted code.
+ ** deriving the result type of COERCE no longer signals an error
+ if the derived type of the second argument is a MEMBER type
+ containing invalid type specifiers.
+ ** ADJOIN with constant NIL as second argument works correctly.
+ ** FUNCTION-KEYWORDS was called SB-PCL::FUNCTION-KEYWORD-PARAMETERS.
+
+changes in sbcl-1.0.18 relative to 1.0.17:
+ * minor incompatible change: SB-SPROF:WITH-PROFILING now by default
+ profiles only the current thread.
+ * minor incompatible change: changes to SYMBOL-VALUE of constants
+ defined with DEFCONSTANT now signal an error.
+ * enhancement: SB-SPROF now has support for wallclock profiling,
+ and is also able to profile specific threads. REPORT output
+ has also additional sorting options.
+ * enhancement: better pretty-printing of DEFPACKAGE forms. (Thanks
+ to Michael Weber)
+ * optimization: structure allocation has been improved
+ ** constructors created by non-toplevel DEFSTRUCTs are ~40% faster.
+ ** out of line constructors are ~10% faster.
+ ** inline constructors are ~15% faster.
+ ** inline constructors are capable of dynamic extent allocation
+ (generally on x86 and x86-64, in some cases on other platforms
+ as well.)
+ * optimization: simple uses of HANDLER-CASE and HANDLER-BIND no
+ longer cons.
+ * optimization: file compiler is now able to coalesce non-circular
+ lists, non-base strings, and bit-vectors. Additionally, constants
+ are never referenced through SYMBOL-VALUE at runtime.
+ * optimization: code defining methods on PRINT-OBJECT (and other
+ generic functions in the COMMON-LISP package) now loads faster.
+ * bug fix: EAI_NODATA is deprecated since RFC 3493. Stop using it
+ in sb-bsd-sockets.
+ * bug fix: if COMPILE-FILE aborts due to an unwind, the partial
+ fasl is now deleted. (reported by Attila Lendvai)
+ * bug fix: READ-LINE always returned NIL for the last line in files.
+ (reported by Yoshinori Tahara)
+ * bug fix: more accurate disassembly annotations of foreign function
+ calls. (thanks to Andy Hefner)
+ * bug fix: trimming non-simple strings and non-string string
+ designators when the there is nothing to trim works properly.
+ (thanks to James Knight)
+ * new feature: SB-POSIX bindings for mlockall, munlockall, and setsid.
+ (thanks to Travis Cross)
+ * fixed some bugs revealed by Paul Dietz' test suite:
+ ** NIL is a valid function name (regression at 1.0.13.38)
+ ** FILL on lists was missing its return value (regression at 1.0.12.27)
+ ** STRING-TRIM, STRING-LEFT-TRIM, and STRING-RIGHT-TRIM did not respect
+ fill pointers properly (regression at 1.0.12.23)
+ ** STRING-TRIM, STRING-LEFT-TRIM, and STRING-RIGHT-TRIM did not respect
+ displacement indices properly (regression at 1.0.12.23)
+
+changes in sbcl-1.0.17 relative to 1.0.16:
+ * temporary regression: user code can no longer allocate closure
+ variable storage on stack, due to bug 419 without explicitly
+ requesting it. Please consult sbcl-devel for advice if you need to
+ use this feature in the meanwhile.
+ * new feature: runtime argument --control-stack-size can be used to
+ adjust thread default control stack size.
+ * enhancement: improved TIME output
+ ** all times are reported using the measured accuracy (milliseconds
+ for real and GC times, microseconds for everything else.)
+ ** processor cycle counts on x86 and x86-64.
+ ** interpreted forms are counted for both evaluator modes.
+ ** number of lambdas converted by the compiler is reported.
+ ** CPU percentage report (computed from real and total run time.)
+ ** more comprehensive run time reporting, using a condenced format
+ ** interperted form, lambda, and page fault counts are omitted
+ when zero.
+ * optimization: ADJOIN and PUSHNEW are upto ~70% faster in normal
+ SPEED policies.
+ * optimization: APPEND is upto ~10% faster in normal SPEED policies.
+ * optimization: two argument forms of LAST are upto ~10% faster
+ in normal SPEED policies.
+ * optimization: NCONC no longer needs to heap cons its &REST list
+ in normal SPEED policies.
+ * bug fix: SB-FLUID build feature no longer breaks the build. (thanks
+ to Sidney Markowitz)
+ * bug fix: UNION and NUNION work with :TEST-NOT once more,
+ regression since 1.0.9.1. (thanks to Eric Marsden)
+ * bug fix: result of MAKE-ARRAY can be stack allocated - regression
+ since 1.0.15.36. (thanks to Paul Khuong)
+ * bug fix: LAST when always returned the whole list when given a bignum
+ as the second argument.
+ * bug fix: dynamic extent allocation of nested lists and vectors
+ could leak to otherwise accessible parts.
+ * bug fix: invalid optimization of heap-allocated alien variable
+ reference.
+ * bug fix: fasl header checking is less vulnerable to different
+ platform word lengths.
+ * bug fix: more correct assembler syntax for GNU binutils
+ 2.18.50.0.4 support. (thanks to Marijn Schouten)
+ * bug fix: fix ECASE warnings from CMUCL-as-xc-host. (reported by
+ Andreas Franke)
+ * bug fix: the fopcompiler can handle LOCALLY forms (with no
+ declarations) successfully. (reported by Attila Lendvai)
+
+changes in sbcl-1.0.16 relative to 1.0.15:
+ * minor incompatible change: revert the changes to sb-posix's error
+ signaling added in 1.0.14.
+ * minor incompatible change: change PROBE-FILE back to returning
+ NIL whenever we can't get a truename, as was the case before 1.0.14.
+ * minor incompatible change: SB-BSD-SOCKETS:NAME-SERVICE-ERROR now
+ inherits from ERROR instead of just CONDITION.
+ * new feature: SB-INTROSPECT can provide source locations for instances
+ as well. (thanks to Tobian Ritterweiler)
+ * optimization: binding special variables now generates smaller code
+ on threaded platforms.
+ * optimization: MEMBER and ASSOC are over 50% faster for :TEST #'EQ
+ and cases where no :TEST is given but the compiler can infer that
+ the element to search is of type (OR FIXNUM (NOT NUMBER)).
+ * optimization: better LOGNOT on fixnums.
+ * optimization: modular arithmetic for a particular requested width
+ is implemented using a tagged representation unless a better
+ representation is available.
+ * fixed bug 423: TRULY-THE and *CHECK-CONSISTENCY* interaction.
+ * bug fix: SB-BSD-SOCKETS:MAKE-INET-ADDRESS checks the input string
+ for wellformedness and returns a specialized vector. (reported by
+ Francois-Rene Rideau)
+ * bug fix: FIND-CLASS was not thread-safe. (reported by Attila Lendvai)
+ * bug fix: ~R was broken for vigtillions. (thanks to Luis Oliveira)
+ * bug fix: attempt to obtain *SCHEDULER-LOCK* recursively when
+ unscheduling timer at the same time as another timer fires.
+ * bug fix: don't reschedule timers for dead threads.
+ * bug fix: periodic polling was broken. (thanks to Espen S Johnsen)
+ * bug fix: copying output from RUN-PROGRAM to a stream signalled
+ bogus errors if select() was interrupted.
+ * enhancement: add support for fcntl's struct flock to SB-POSIX.
+
+changes in sbcl-1.0.15 relative to sbcl-1.0.14:
+ * enhancement: cleaner backtraces for interactive interrupts, as
+ well as other cases where the interesting frames used to be
+ obscured by interrupt handling frames.
+ * enhancement: untracing a whole package using (UNTRACE "FOO") is
+ now supported, and tracing a whole package using (TRACE "FOO") now
+ traces SETF-functions as well.
+ * enhancement: implement SB-POSIX:MKTEMP and SB-POSIX:MKDTEMP.
+ * SB-DEBUG:PRINT-FRAME-CALL now prints the entry-point kind even
+ when SB-DEBUG:*SHOW-ENTRY-POINT-DETAILS* is NIL.
+ * unreadably printed representation of hash-tables now includes
+ weakness if any.
+ * bug fix: partially fixed #188: type propagation from assignments
+ is now more efficient.
+ * bug fix: fixed #407: (COERCE X 'SINGLE-FLOAT) and (COERCE X
+ 'DOUBLE-FLOAT) are not flushable.
+ * bug fix: on x86 and x86-64 pointer based EQ-hashing now uses the
+ full address of the object, and none of the tag bits.
+ * bug fix: readably printing hash-tables now respects other printer
+ control variables. (reported by Cedric St-Jean)
+ * bug fix: compiler gave a bogus STYLE-WARNING for the :SYNCHRONIZED
+ keyword with MAKE-HASH-TABLE.
+ * bug fix: export SB-POSIX:MKSTEMP.
+ * bug fix: SORT was not interrupt safe.
+ * bug fix: XREF accounts for the last node of each basic-block as
+ well.
+ * bug fix: MAKE-INSTANCE optimizations interacted badly with
+ non-keyword :DEFAULT-INITARGS in the presence of :BEFORE/:AFTER
+ methods on SHARED-INITIALIZE. (thanks to Matt Marjanovic)
+ * bug fix: the CTOR optimization for MAKE-INSTANCE should no longer
+ create obsolete instances in the case of redefinition or
+ obsoletion of a superclass. (thanks to Andy Hefner)
+ * bug fix: Support for the Alpha architecture has been revived; it had
+ suffered somewhat from lack of maintenance since sbcl-1.0.
+ * improvements to the Windows port:
+ ** The system detects the codepage to use at startup, instead of
+ using the value from the saved core. (thanks to Kei Suzuki)
+
+changes in sbcl-1.0.14 relative to sbcl-1.0.13:
+ * new feature: SB-EXT:*EXIT-HOOKS* are called when the process exits
+ (see documentation for details.)
+ * revived support for OpenBSD (contributed by Josh Elsasser)
+ * partially fixed bug #108: ROOM no longer suffers from occasional
+ (AVER (SAP= CURRENT END)) failures.
+ * fixed bug #402: proclaimed non-standard declarations in DEFMETHOD
+ bodies no longer cause a WARNING to be signalled. (reported by
+ Vincent Arkesteijn)
+ * bug fix: (TRUNCATE X 0) when X is a bignum now correctly signals
+ DIVISION-BY-ZERO. Similarly for MOD and REM (which suffered due to
+ the bug in TRUNCATE.) (reported by Michael Weber)
+ * bug fix: SB-SPROF:REPORT no longer signals an error if there are
+ no samples. (reported by Andy Hefner)
+ * bug fix: functions compiled using (COMPILE NIL '(LAMBDA ...))
+ no longer appear as (NIL ...) frames in backtraces.
+ * bug fix: RESOLVE-CONFLICT (and the other name conflict machinery)
+ is now actually exported from SB-EXT as documented. (reported by
+ Maciej Katafiasz)
+ * bug fix: sb-aclrepl now correctly understands how to inspect
+ single-floats on 64-bit platforms where single-floats are not boxed.
+ * bug fix: SB-MOP:CLASS-SLOTS now signals an error if the class has not
+ yet been finalized. (reported by Levente Meszaros)
+ * bug fix: CLOSE :ABORT T behaves more correctly on Windows.
+ * DESCRIBE and (DOCUMENTATION ... 'OPTIMIZE) describe meaning of
+ SBCL-specific optimize qualities.
+
+changes in sbcl-1.0.13 relative to sbcl-1.0.12:
+ * minor incompatible change: RUN-PROGRAM now uses execvp(3) to find
+ an executable in the search path, and does so in the child
+ process's PATH. The function FIND-EXECUTABLE-IN-SEARCH-PATH has
+ been removed; it can be found in the CVS history, for somebody who
+ needs that search behavior (see the manual).
+ * minor incompatible change: compiler policy re. weakening type
+ checks has changed: now type checks are weakened only if SAFETY < 2
+ and SAFETY < SPEED.
+ * SB-EXT:NATIVE-NAMESTRING takes a new keyword AS-FILE, forcing
+ unparsing of directory pathnames as files. Analogously,
+ SB-EXT:PARSE-NATIVE-NAMESTRING takes an AS-DIRECTORY, forcing a
+ filename to parse into a directory pathname.
+ * enhancement: implicit generic function creation now signals a
+ specific style-warning IMPLICIT-GENERIC-FUNCTION-WARNING, which
+ users can bind handlers for and muffle around calls to LOAD.
+ * enhancement: RUN-PROGRAM allows unicode arguments and environments
+ to be used (using the default stream external format), and allows
+ non-simple strings to be used. (thanks to Harald Hanche-Olsen)
+ * optimization: COPY-SEQ, FILL, and SUBSEQ are 30-80% faster for
+ strings and vectors whose element-type or simplicity is not fully
+ known at compile-time.
+ * optimization: STRING-TRIM and related functions no longer allocate
+ a new string when no trimming needs to be performed. These functions
+ are also faster than before when the input string has been declared
+ as a simple-string.
+ * optimization: READ-SEQUENCE on simple-strings is up to 80% faster.
+ * optimization: READ-LINE is significantly faster for files containing
+ long lines.
+ * optimization: non-open coded uses of character comparison operators
+ (e.g. char=) no longer cons when called with more than one parameter
+ on platforms supporting dynamic-extent allocation.
+ * bug fix: READ-SEQUENCE on composite stream wrapping a Gray stream
+ with STREAM-ELEMENT-TYPE (UNSIGNED-BYTE 8) signalled an error.
+ * bug fix: COPY-SEQ on lists did not signal a type-error on improper
+ lists in safe code.
+ * bug fix: some sequence functions elided bounds checking when
+ SPEED > SAFETY.
+ * bug fix: too liberal weakening of union-type checks when SPEED >
+ SAFETY.
+ * bug fix: more bogus fixnum declarations in ROOM implementation
+ have been fixed.
+
+changes in sbcl-1.0.12 relative to sbcl-1.0.11:
+ * new feature: MAKE-HASH-TABLE now experimentally accepts a
+ :SYNCHRONIZED argument, which makes the hash-table safe for
+ concurrent accesses (but not iteration.) See also:
+ SB-EXT:WITH-LOCKED-HASH-TABLE, and
+ SB-EXT:HASH-TABLE-SYNCHRONIZED-P.
+ * optimization: CONCATENATE on strings is an order of magnitude faster
+ in code compiled with (> SPEED SPACE).
+ * optimization: SUBSEQ is ~50% faster on lists.
+ * bug fix: bug 417 fixed -- source location reporting is now more robust.
+ * bug fix: SUBSEQ on a list will now correctly signal an error if if
+ END is smaller then START.
+ * bug fix: SB-PROFILE will no longer report extra consing for nested
+ calls to profiled functions.
+ * bug fix: ROOM implementation had bogus fixnum declarations which
+ could cause type-errors when calling ROOM on large images.
+ * bug fix: if file compilation is aborted, the partial fasl is now
+ deleted, and COMPILE-FILE returns NIL as the primary value.
+ * bug fix: number of thread safety issues relating to SBCL's internal
+ hash-table usage have been fixed.
+ * bug fix: SB-SYS:WITH-PINNED-OBJECTS could cause garbage values to
+ be returned from its body when the values were being returned
+ using unknown-values return convection and the W-P-O was wrapped
+ inside an UNWIND-PROTECT.
+ * bug fix: sb-posix should now compile again under Windows, enabling
+ slime to work again.
+
+changes in sbcl-1.0.11 relative to sbcl-1.0.10:
+ * incompatible change: hash-table accessor functions are no longer
+ automatically protected by locks. Concurrent accesses on the same hash-table
+ from multiple threads can give inconsistent results or even corrupt the
+ hash-table completely. Multi-threaded applications should do their own
+ locking at the correct granularity. In the current implementation it is
+ still safe to have multiple readers access the same table, but it's not
+ guaranteed that this property will be maintained in future releases.
+ * minor incompatible change: (SETF MUTEX-VALUE) is not longer supported,
+ and will signal an error at runtime.
+ * enhancement: SB-THREAD package now exports a semaphore interface.
+ * enhancement: CONS can now stack-allocate on x86 and
+ x86-64. (Earlier LIST and LIST* supported stack-allocation, but
+ CONS did not.)
+ * enhancement: nested lists can now be stack allocated on
+ platforms providing stack allocation support.
+ * enhancement: dynamic-extent support has been extended to support
+ cases where there are multiple possible sources for the stack
+ allocated value.
+ * optimization: RELEASE-MUTEX no longer needs to perform a syscall
+ if the mutex is uncontested on Linux.
+ * bug fix: symbol-macro expansion now uses the *MACROEXPAND-HOOK*
+ as specified by the CLHS. (thanks to Tobias Rittweiler)
+ * bug fix: NaN comparison now works on x86-64.
+ * bug fix: CLOSE :ABORT T on a stream with pending output now
+ works.
+ * bug fix: instances of non-standard metaclasses using standard
+ instance structure protocol sometimes missed the slot type checks
+ in safe code.
+ * bug fix: known functions can be inlined in high-debug code.
+
+changes in sbcl-1.0.10 relative to sbcl-1.0.9:
+ * minor incompatible change: the MSI installer on Windows no longer
+ associates .lisp and .fasl files with the installed SBCL.
+ * minor incompatible change: :UNIX is no longer present in *FEATURES*
+ on Windows. (thanks to Luis Oliviera)
+ * new feature: SB-CLTL2 contrib module now implements
+ FUNCTION-INFORMATION. (thanks to Larry D'Anna)
+ * optimization: scavenging weak pointers is now more efficient,
+ requiring O(1) instead of O(N) per weak pointer to identify
+ scanvenged vs. unscavenged pointers. (thanks to Paul Khuong)
+ * optimization: typechecking (SETF SLOT-VALUE) is now ~5x faster in
+ method bodies using constant slot-names when the first argument is
+ a specializer parameter for the method.
+ * optimization: SLOT-VALUE &co are now ~50% faster for variable slot
+ names, when the class of the instance is a direct instance
+ STANDARD-CLASS or FUNCALLABLE-STANDARD-CLASS (making them only 3x
+ as slow as the constant slot-name case.)
+ * optimization: member type construction is now O(N) instead
+ of O(N^2).
+ * optimization: UNION and NUNION are now O(N+M) for large
+ inputs as long as the :TEST function is one of EQ, EQL, EQUAL, or
+ EQUALP.
+ * enhancement: DEFINE-MODIFY-MACRO lambda-list information is
+ now more readable in environments like Slime which display it.
+ (thanks to Tobias C. Rittweiler)
+ * bug fix: SB-EXT:COMPARE-AND-SWAP was non-atomic unless the compiler
+ was able to infer the correct argument type for the object on which
+ the CAS operation was being performed.
+ * bug fix: copy propagation interfered with parallel assignment
+ semantics in local calls. (reported by Paul Khuong)
+ * bug fix: the signed modular fixnum shift compiled to wrong code on
+ x86 and x86-64. (spotted by a slight modification to some of
+ PFD's random tests)
+
+changes in sbcl-1.0.9 relative to sbcl-1.0.8:
+ * minor incompatible change: SB-SYS:OUTPUT-RAW-BYTES is deprecated.
+ * enhancement: SB-EXT:FINALIZE accepts a :DONT-SAVE keyword argument,
+ indicating the finalizer should be cancelled when SAVE-LISP-AND-DIE
+ is called.
+ * enhancement: default PRINT-OBJECT methods for classes, slot-definitions,
+ and generic function now print the object identity for anonymous
+ instances. (thanks to Attila Lendvai)
+ * enhancement: as an extension to MOP, SBCL now supports SETF of
+ STANDARD-INSTANCE-ACCESS and FUNCALLABLE-STANDARD-INSTANCE-ACCESS.
+ (thanks to Attila Lendvai)
+ * enhancement: sb-cover has an alternate annotation mode which puts
+ the form annotations at the car of the form, instead of annotating
+ it completely. The benefit of this mode is that it shows better
+ which forms were instrumented by the compiler.
+ * bug fix: new compiler transforms for MEMBER and ASSOC were affected
+ by printer control variables. (reported by Dan Corkill)
+ * bug fix: system leaked memory when delayed output was performed by
+ the OS in smaller chunks then expected. (thanks to David Smith)
+ * bug fix: system leaked memory when file streams were not closed
+ properly.
+ * bug fix: large objects written to slow streams that were modified
+ after the write could end up with the modified state written to
+ the underlying file descriptor.
+ * bug fix: multiple threads operating in parallel on the same stream
+ could cause buffer-overflows.
+ * bug fix: source location information is stored correctly
+ (broken since 1.0.6). This bug would generally show up as the
+ Slime debugger highlighting the wrong form when the sldb-show-source
+ command was used.
+ * bug fix: Branch forms are again annotated as branches in the sb-cover
+ annotations.
+ * bug fix: GCD on MOST-NEGATIVE-FIXNUM no longer causes an infinite loop
+ on x86-64. (reported by Gregory Vanuxem)
+ * bug fix: EQUALP could return wrong results for structures with raw
+ slots (slots with a :TYPE of SINGLE-FLOAT, DOUBLE-FLOAT, or a machine
+ word). (reported by Vjacheslav Fyodorov)
+ * bug fix: sb-sprof sampling didn't work on non-x86oid platforms. (patch
+ by Pierre Mai)
+
+changes in sbcl-1.0.8 relative to sbcl-1.0.7:
+ * enhancement: experimental macro SB-EXT:COMPARE-AND-SWAP provides
+ atomic compare-and-swap operations on threaded platforms.
+ * enhancement: experimental function SB-EXT:RESTRICT-COMPILER-POLICY
+ allows assigning a global minimum value to optimization qualities
+ (overriding proclamations and declarations).
+ * enhancement: closed over variables can be stack-allocated on x86
+ and x86-64.
+ * performance bug fix: GETHASH and (SETF GETHASH) are once again
+ non-consing.
+ * optimization: slot definition lookup is now O(1). This speeds up
+ eg. SLOT-VALUE and (SETF SLOT-VALUE) with variable slot names.
+ * optimization: STRING-TO-OCTETS is now up to 60% faster for UTF-8.
+ * optimization: ASSOC and MEMBER can now be open-coded for all
+ combinations of keyword arguments when second argument is constant
+ and SPEED >= SPACE. In other cases a specialized version is
+ selected.
+ * bug fix: using obsoleted structure instances with TYPEP and
+ generic functions now signals a sensible error.
+ * bug fix: threads waiting on GET-FOREGROUND can be interrupted.
+ (reported by Kristoffer Kvello)
+ * bug fix: backtrace construction is now more careful when making
+ lisp-objects from pointers on the stack, to avoid creating bogus
+ objects that can be seen by the GC.
+ * bug fix: defaulting of values in contexts expecting more than 7
+ variables now works on x86-64. (reported by Christopher Laux)
+ * bug fix: modifications to packages (INTERN, EXPORT, etc) are now
+ thread safe.
+ * bug fix: (SETF SYMBOL-PLIST) no longer allows assigning a non-list
+ as the property-list of a symbol.
+ * bug fix: DEFMETHOD forms with CALL-NEXT-METHOD in the method body,
+ in EVAL-WHEN forms with both :COMPILE-TOPLEVEL and :LOAD-TOPLEVEL
+ situations requested, are once again file-compileable. (reported
+ by Sascha Wilde)
+
+changes in sbcl-1.0.7 relative to sbcl-1.0.6:
+ * MOP improvement: support for user-defined subclasses of
+ SB-MOP:SPECIALIZER has been enhanced. The experimental interface
+ function SB-PCL:MAKE-METHOD-SPECIALIZERS-FORM, called as part of
+ the expansion of DEFMETHOD, is responsible for generating a form
+ which creates a list of specializers when evaluated. Additional
+ functions SB-PCL:[UN]PARSE-SPECIALIZER-USING-CLASS provide
+ debugging and introspective support.
+ * minor incompatible change: the (unsupported) spinlock interface
+ has changed: free spinlock now has the value NIL, and a held spinlock
+ has the owning thread as its value.
+ * enhancement: WITHOUT-INTERRUPTS now binds ALLOW-WITH-INTERRUPTS and
+ WITH-LOCAL-INTERRUPTS as local macros. Refer to documentation string
+ for details.
+ * enhancement: name of a socket-stream is now "a socket" instead of
+ "a constant string".
+ * enhancement: SB-POSIX now supports lockf(). (Thanks to Zach Beane.)
+ * enhancement: SB-POSIX now supports getcwd(). (Thanks to Tassilo Horn.)
+ * enhancement: SB-INTROSPECT:FUNCTION-ARGLIST shows nicer argument lists
+ for generic functions. (Thanks to Tobias C. Rittweiler)
+ * optimization: bignum printing speed has been improved by 20-40%
+ (depending on the bignum size.)
+ * bug fix: WITH-MUTEX and WITH-RECURSIVE-LOCK are now interrupt safe
+ on Linux.
+ * bug fix: the cache used by the CLOS to store precomputed effective
+ methods, slot offsets, and constant return values is now thread and
+ interrupt safe.
+ * bug fix: generic function dispatch function updating is now thread
+ and interrupt safe (in the sense that the known issues have been
+ fixed.)
+ * bug fix: ADD/REMOVE-METHOD is now thread and interrupt safe.
+ * bug fix: interning EQL-specializers is now thread and interrupt safe.
+ * bug fix: asdf systems with dependencies to the SB-POSIX or
+ SB-BSD-SOCKETS contribs can be loaded with :FORCE T.
+ * bug fix: interrupt safety of applicable method computation has been
+ improved.
+
+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 disabled.
+ * 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
+ about 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
+
+changes in sbcl-0.9.1 relative to sbcl-0.9.0:
+ * fixed cross-compiler leakages that prevented building a 32-bit
+ target with a 64-bit host compiler.
+ * fixed a bug in CLOSE :ABORT T: no longer attempts to remove files
+ opened with :IF-EXISTS :OVERWRITE.
+ * fixed bug 281: error for an invalid qualifier in a short-form method
+ combination method is not signalled until the faulty method is called.
+ * bug fix: iteration variable type inferrer failed to deal with open
+ intervals. (reported by Alan Shields)
+ * bug fix: dynamically loading (via LOAD-SHARED-OBJECT or similar)
+ "frameworks" on Mac OS X no longer causes an EXC_BAD_ACCESS if two
+ or more runtime options were provided to the sbcl binary.
+ * compiled code is not steppable if COMPILATION-SPEED >= DEBUG.
+ * contrib improvement: implement SB-POSIX:MKSTEMP (Yannick Gingras)
+ * optimization: there's now a fast-path for fixnum arguments in the
+ generic subtraction routines on x86/x86-64. (Thanks to Lutz Euler)
+ * optimization: the code generated on x86-64 is more compact thanks
+ to not outputting unneccessary prefix bytes. (Thanks to Lutz Euler)
+ * bug fix: floating-point exception handling now partly works on
+ x86-64. (Thanks to James Knight)
+ * improvement to the MIPS backend from Thiemo Seufer: C-style
+ 64-bit long long arguments and return values to alien functions
+ are now supported.
+ * fixed some bugs revealed by Paul Dietz' test suite:
+ ** the type-error signalled from WARN has a filled-in DATUM slot.
+ ** the type-error required when a stream is not associated with
+ a file has the stream as its datum.
+ ** type-errors on single-floats on x86-64 no longer have
+ :INVALID-OBJECT as the datum
+ ** the type-errors signalled for invalid function names now have
+ a correct expected type
+ ** (SETF (DOCUMENTATION ... 'STRUCTURE)) no longer signals an error
+ for structures defined with a :TYPE. Documentation strings for
+ typed structures are no longer immediately discarded
+ ** FILE-STRING-LENGTH and STREAM-EXTERNAL-FORMAT now work on
+ broadcast streams and synonym streams. FILE-LENGTH now also works
+ on broadcast streams.
+
+changes in sbcl-0.9.0 relative to sbcl-0.8.21:
* incompatible change: the --noprogrammer option, deprecated since
version 0.7.5, has been removed. Please use the equivalent
--disable-debugger option instead.
interrupts enabled.
* incompatible change: support for *BEFORE-GC-HOOKS* (that have been
inoperational for a while now) has been completely removed.
- * Null lexical environments are now printed as #<NULL-LEXENV>,
+ * null lexical environments are now printed as #<NULL-LEXENV>,
significantly reducing the amount of clutter in typical backtraces.
+ * documentation on weak pointers, finalization, and after GC hooks
+ has been added to the manual.
* optimization: REPLACE on declared (UNSIGNED-BYTE 8) vectors, as well
as other specialized array types, is much faster. SUBSEQ and
COPY-SEQ on such arrays have also been sped up.
+ * optimization: EQL is now more efficient when at least other argument
+ is known to be of type (OR FIXNUM (NOT NUMBER)).
+ * fixed bug: the runtime is now less vulnerable to changes in the
+ size of the SBCL object on OS X, and virtual memory is reserved for
+ all spaces that need to be at a fixed address.
* fixed bug: finalizers are now thread-safe. (thanks to Gabor Mellis)
* fixed bug: finalizers and after GC hooks that cause consing are now
safe.
*ERROR-OUTPUT*, not *STANDARD-OUTPUT*.
* fixed inference of the upper bound of an iteration variable.
(reported by Rajat Datta).
+ * fixed bug 211e: calling local functions with duplicated constant
+ keyword argument no longer causes a bogus style warning about an
+ unused variable.
+ * fixed bug 305: INLINE/NOTINLINE declaration no longer causes local
+ ftype declaration to be disregarded. (reported by Dave Roberts)
* fixed bug 373: caused by erronous compilation of references to alien
variables in the runtime on ppc/darwin.
* fixed bug 376: CONJUGATE type deriver.
fixed. (thanks to Bruno Haible)
* improvements to the MIPS runtime code for increased stability.
(thanks to Thiemo Seufer)
- * fixed some bugs related to Unicode integration:
- ** the restarts for recovering from input and output encoding
- errors only appear when there is in fact such an error to
- handle.
* increased the maximimum compact environment size to allow
purify on images with large amounts of functions. (thanks to Cyrus Harmon)
+ * partial workaround for bug 135: don't name the function we're
+ calling for hairy cases of EVAL, so as not to accumulate one environment
+ entry per call to EVAL. (reported by Kevin Reid)
* improvements to the x86-64 disassembler. (thanks to Lutz Euler)
* optimization: type testing for non-vector arrays should be faster.
+ * fixed TRACE :ENCAPSULATE NIL, added support for :ENCAPSULATE NIL
+ on x86-64
+ * bug fix: setting 31st element of a bit vector to zero did not work
+ on Alpha-32.
+ * bug fix: redefining a class definition which failed due to a
+ previous accessor / function clash now works (but see BUGS entry
+ #380 for more problems in this area). (thanks to Zach Beane)
+ * the long form of DEFINE-METHOD-COMBINATION disables method group
+ checking when given a single method group with pattern *. (thanks
+ to Wendall Marvel)
+ * on x86 compiler supports stack allocation of results of simple
+ calls of MAKE-ARRAY, bound to variables, declared DYNAMIC-EXTENT.
+ * support for building and running on Mac OS X 10.4 "Tiger" has been added
+ ** Binaries built on Tiger will not run on 10.2 "Jaguar" currently
+ * fixed some bugs related to Unicode integration:
+ ** the restarts for recovering from input and output encoding
+ errors only appear when there is in fact such an error to
+ handle.
* fixed some bugs revealed by Paul Dietz' test suite:
** MISC.549 and similar: late transformation of unsafe type
assertions into derived types caused unexpected code
** accessing double-floats stored on the stack now works on x86-64.
** debugger internals could sometimes create invalid lispobjs,
resulting in GC crashes.
+ ** MISC.548: type check weakening can convert required type into
+ optional.
+ ** initialization forms for bindings are not in scope of free special
+ declarations.
changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20:
* incompatible change: thread support for non-NPTL systems has
(thanks to Richard Kreuter)
* bug fix: defining classes whose accessors are methods on existing
generic functions in other (locked) packages no longer signals
- bogus package lock violations. (reported by François-René Rideau)
+ bogus package lock violations. (reported by François-René Rideau)
* bug fix: special variables as DEFMETHOD parameters no longer have
associated bogus type declarations. (reported by David Wragg and
Bruno Haible)