+changes in sbcl-0.8.17 relative to sbcl-0.8.16:
+ * new feature: a build-time option (controlled by the :SB-UNICODE
+ keyword feature, enabled by default) for building the system with
+ support for the entire 21-bit character space defined by the
+ Unicode consortium.
+ * new feature: the system now has rudimentary external-format
+ support; the primary user-visible change at this time is that
+ characters with the high bit set (such as lower-case-e-acute) will
+ print correctly to a terminal in a UTF-8 environment.
+ * minor incompatible change: BASE-CHAR no longer names a class;
+ however, CHARACTER continues to do so, as required by ANSI.
+ * minor incompatible change: SB-DEBUG:*DEBUG-PRINT-FOO* variables
+ are no longer supported, and SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST*
+ has been moved to the SB-EXT package (temporarily re-exported from
+ SB-DEBUG).
+ * minor incompatible change: SB-C::*COMPILER-ERROR-PRINT-FOO* variables
+ are no longer supported: use SB-EXT:*COMPILER-PRINT-VARIABLE-ALIST*
+ instead.
+ * fixed bug #351: better error-handlind and reporting for malformed
+ LET and LET* forms.
+ * fixed bug #350: bignum-printing is now more memory-efficient,
+ allowing printing of very large bignums, eg. (expt 2 10000000).
+ (reported by Bruno Haible)
+ * fixed bug #302: better primitive-type selection for intersection
+ types.
+ * fixed bug #308: non-graphic characters now all have names, as
+ required. (reported by Bruno Haible)
+ * bug fix: (SETF FIND-CLASS) using a FORWARD-REFERENCED-CLASS as the
+ new value now works. (reported by Bruno Haible)
+ * bug fix: correct canonicalization of multiple non-standard slot
+ options in DEFCLASS as per AMOP 5.4.2. (reported by Bruno Haible)
+ * bug fix: SB-MOP:CLASS-PROTOTYPE now signals an error if the class
+ is not yet finalized, as required by AMOP. (reported by Bruno Haible)
+ * bug fix: SB-MOP:ALLOCATE-INSTANCE method for instances of BUILT-IN-CLASS
+ now exists, an signals an error.
+ * bug fix: duplicate LOOP variable bindings now signal PROGRAM-ERROR
+ during macroexpansion for non-iteration variables as well. (reported
+ by Bruno Haible for CMUCL)
+ * bug fix: Cyclic structures and unprintable objects in compiler
+ messages no longer cause errors. (reported by Bruno Haible)
+ * bug fix: READ, READ-PRESERVING-WHITESPACE, READ-DELIMITED-LIST,
+ and READ-FROM-STRING all now return a primary value of NIL if
+ *READ-SUPPRESS* is true. (reported by Bruno Haible for CMUCL)
+ * bug fix: Default value of EOF-ERROR-P in READ-FROM-STRING is true.
+ (reported by Bruno Haible for CMUCL)
+ * bug fix: ERROR now signals a TYPE-ERROR if the arguments to ERROR
+ do not designate a condition. (reported by Bruno Haible for
+ CMUCL)
+ * bug fix: UNINTERN, USE-PACKAGE, IMPORT and EXPORT all signal an
+ SB-EXT:NAME-CONFLICT condition (subtype of PACKAGE-ERROR) in the
+ name conflict situations in CLHS 11.1.1.2.5, and provide a restart
+ permitting resolution in favour of any of the conflicting symbols.
+ (reported by Bruno Haible for CMUCL)
+ * bug fix: EQUAL compiler optimizations is less aggressive on
+ strings which can potentially compare true despite having distinct
+ specialized array element types.
+ * bug fix: unit enumerations can be defined without dividing by
+ zero. (thanks to Vincent Arkesteijn)
+ * FORMAT compile-time argument count checking has been enhanced.
+ (report from Bruno Haible for CMUCL)
+ * a partial workaround for the bug 262: the compiler does not try to
+ inline-expand a local function doing RETURN-FROM from a deleted
+ BLOCK. (thanks to Peter Denno for the bug report and to David
+ Wragg for the simple test case)
+ * fixed some bugs revealed by Paul Dietz' test suite:
+ ** RENAME-PACKAGE allows all package designators as new package
+ names.
+ ** constraint propagation and lambda variable substitution are
+ more cautious in dealing with partially deleted code.
+ ** compiler sometimes lost reoptimization passes.
+ ** CERROR, given a condition as condition designator, passes its
+ remaining arguments to the continue format control without
+ complaint.
+ ** Case-altering FORMAT directives work correctly on non-ASCII
+ characters.
+ ** The REAL type specifier handles bounds outside the floating
+ point ranges without signalling FLOATING-POINT-OVERFLOW.
+ ** Functions with IR1-transformations can create intercomponent
+ references to global functions.
+ ** NIL parameter to the FORMAT directive ~^ means `unsupplied
+ parameter'.
+ ** FORMAT ~R treats a nil value for its first parameter correctly.
+
+changes in sbcl-0.8.16 relative to sbcl-0.8.15:
+ * enhancement: saving cores with foreign code loaded is now
+ supported on x86/NetBSD and sparc/Linux in addition to the previously
+ supported platforms.
+ * bug fix: on some platforms repeated installations caused multiple
+ copies of HTML documentation to be installed -- should not happen
+ any more. (reported by Stefan Scholl)
+ * bug fix: parsing self-recursive alien record types multiple times
+ no longer causes infinite recursion. (reported by Thomas F. Burdick,
+ original patch by Helmut Eller for CMUCL)
+ * bug fix: stack-exhaustion detection works now on NetBSD as well.
+ (thanks to Richard Kreuter)
+ * bug fix: defining classes whose accessors are methods on existing
+ generic functions in other (locked) packages no longer signals
+ bogus package lock violations. (reported by François-René Rideau)
+ * bug fix: special variables as DEFMETHOD parameters no longer have
+ associated bogus type declarations. (reported by David Wragg and
+ Bruno Haible)
+ * bug fix: read-write consistency on streams of element-type
+ (SIGNED-BYTE N) for N > 32. (reported by Bruno Haible for CMUCL)
+ * bug fix: redefiniton of the only method of a generic function with
+ no DEFGENERIC no longer emits a full WARNING. In addition,
+ redefinition of generic functions with no DEFGENERIC to an
+ incompatible lambda list now signals an error. (thanks to Zach
+ Beane)
+ * bug fix: DEFGENERIC now works even when there's a function of the
+ same name in an enclosing lexical environment. (thanks to Zach
+ Beane)
+ * fixed compiler failure, caused by instrumenting code during
+ IR1-optimization. (Debian bug report #273606 by Gabor Melis)
+ * optimization: added loop analysis and improved register allocation
+ * fixed some bugs revealed by Paul Dietz' test suite:
+ ** POSITION on displaced vectors with non-zero displacement
+ returns the right answer.
+ ** (SIMPLE-STRING) is a valid type specifier for sequence
+ creators.
+ ** *PRINT-LEVEL* handling for slotless structures is pedantically
+ correct.
+ ** PPRINT-INDENT accepts a request for an indentation of any REAL.
+ ** PPRINT-TAB (and the FORMAT ~T directive) now indent by the
+ correct amounts.
+ ** The justification version of the FORMAT ~< directive treats
+ non-zero minpad parameter correctly.
+
+changes in sbcl-0.8.15 relative to sbcl-0.8.14:
+ * incompatible change: SB-INT:*BEFORE-SAVE-INITIALIZATIONS* and
+ SB-INT:*AFTER-SAVE-INITIALIZATIONS* have been renamed
+ SB-EXT:*SAVE-HOOKS* and SB-EXT:*INIT-HOOKS*, and are now part of
+ the supported interface.
+ * new feature: Single-stepping of code compiled with DEBUG 2 or
+ higher and (> DEBUG (MAX SPACE SPEED)) is now possible.
+ * new feature: saving cores with foreign code loaded is now
+ supported on x86/FreeBSD, x86/Linux, and sparc/SunOS. (based on
+ Timothy Moore's work for CMUCL)
+ * bug fix: DEFTYPE lambda-list parsing now binds unsupplied keyword
+ parameters to * instead of NIL if no initform is supplied.
+ (reported by Johan Bockgaard)
+ * bug fix: DEFINE-COMPILER-MACRO lambda-list parsing now binds
+ correctly when FUNCALL appears as the car of the form. Note:
+ despite this FUNCALL forms are not currently subject to
+ compiler-macro expansion. (port of Raymond Toy's fix for the
+ same from CMUCL, reported by Johan Bockgaard)
+ * bug fix: FOR ... ON ... -clauses in LOOP now work on dotted lists
+ (thanks for Teemu Kalvas)
+ * bug fix: in FORMAT ~^ inside ~:{ now correctly steps to the next
+ case instead of terminating the iteration (thanks for Julian
+ Squires, Sean Champ and Raymond Toy)
+ * bug fix: incorrect expansion of defgeneric that caused a style
+ warning. (thanks for Zach Beane)
+ * bug fix: slot accessor effective method computation works properly
+ for classes with multiple non-standard applicable methods on
+ SB-MOP:SLOT-VALUE-USING-CLASS. (reported by Ralf Mattes)
+ * on x86 compiler supports stack allocation of results of LIST and
+ LIST*, bound to variables, declared DYNAMIC-EXTENT. (based on
+ CMUCL implementation by Gerd Moellmann)
+ * fixed some bugs revealed by Paul Dietz' test suite:
+ ** FORMAT strings with both the ~<~:;~> form of the justification
+ directive and pretty-printing directives cause an error.
+
changes in sbcl-0.8.14 relative to sbcl-0.8.13:
+ * incompatible change: the internal functions
+ SB-KERNEL:32BIT-LOGICAL-FOO, intended for providing efficient
+ logical operations on (UNSIGNED-BYTE 32) values, have been renamed
+ to SB-KERNEL:WORD-LOGICAL-FOO. Modular arithmetic should be used
+ instead of the old functions.
* new feature: on platforms where "dladdr" is available foreign
function names now appear in backtraces. (based on Helmut Eller's
work for CMUCL)
+ * documentation: documentation for SB-BSD-SOCKETS, SB-GRAY,
+ SB-SIMPLE-STREAMS, and SB-PROFILE have been integrated into the user
+ manual.
+ * documentation: ASDF manual is now distributed with SBCL.
+ * bug fix: SBCL can now load its contributed modules with REQUIRE
+ even if the system-provided entries have been removed from
+ ASDF:*CENTRAL-REGISTRY*. Infinite recursion in REQUIRE is also
+ detected.
* bug fix: backtraces involving undefined functions or assembly
routines are more informative. (thanks to Brian Downing)
* bug fix: mutually referent alien structures now work correctly.
* bug fix: division operators (MOD, TRUNCATE and the like) with
constant zero divisors and integer dividends no longer generate
left shifts.
+ * bug fix: provide default methods for INPUT-STREAM-P and
+ OUTPUT-STREAM-P specialized on SB-GRAY:FUNDAMENTAL-STREAM.
+ * bug fix: improve the detection and resolution of MOP metacycles
+ (where effective method computation depends on the generic function
+ having its effective method computed). (reported by Bruno Haible)
+ * bug fix: pass the right initargs to :BEFORE or :AFTER methods on
+ SHARED-INITIALIZE or INITIALIZE-INSTANCE in optimized
+ MAKE-INSTANCE constructors. (reported by Axel Schairer for cmucl)
+ * bug fix: pathnames with relative directory components can be
+ represented relative to default pathnames.
+ * optimization: in taking the GCD of bignums, reduce the two bignums
+ to approximately the same size (using Euclid's algorithm) before
+ applying the more sophisticated binary GCD. (thanks to Juho
+ Snellman)
+ * optimization: COUNT on bitvectors now operates word-at-a-time.
+ * optimization: ASH with a positive, but not necessarily constant,
+ (leftwards) shift, when in a modular context, is compiled to a
+ hardware shift.
+ * fixed some bugs revealed by Paul Dietz' test suite:
+ ** FORMAT variable parameters ("~V<char>") are defaulted properly
+ if the corresponding argument is NIL.
+ ** FORMAT directives accepting a minpad parameter treat negative
+ values as 0.
+ ** literal commas as character parameters to FORMAT directives are
+ parsed correctly.
+ ** literal spaces directly after ~<Newline> directives within a
+ format-logical-block (~:< ~@:>) do not induce :FILL-style
+ conditional newlines.
+ ** PRINT-UNREADABLE-OBJECT inserts spaces as specified (and only
+ as specified: it no longer includes conditional newlines).
+ ** PRINC-TO-STRING binds *PRINT-READABLY* to NIL (as well as
+ *PRINT-ESCAPE*).
+ ** PPRINT-LOGICAL-BLOCK signals a TYPE-ERROR if its :PREFIX or
+ :PER-LINE-PREFIX argument does not evaluate to a string.
changes in sbcl-0.8.13 relative to sbcl-0.8.12:
* new feature: SB-PACKAGE-LOCKS. See the "Package Locks" section of