0.8.21.37: fix bug 305
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 0a16ae5..0692ab7 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,3 +1,471 @@
+changes in sbcl-0.8.22 relative to sbcl-0.8.21:
+  * incompatible change: the --noprogrammer option, deprecated since
+    version 0.7.5, has been removed.  Please use the equivalent
+    --disable-debugger option instead.
+  * incompatible change: finalizers and *AFTER-GC-HOOKS* are now run with
+    interrupts enabled.
+  * incompatible change: support for *BEFORE-GC-HOOKS* (that have been
+    inoperational for a while now) has been completely removed.
+  * null lexical environments are now printed as #<NULL-LEXENV>, 
+    significantly reducing the amount of clutter in typical backtraces.
+  * documentation on weak pointers, finalization, and after GC hooks
+    has been added to the manual.
+  * optimization: REPLACE on declared (UNSIGNED-BYTE 8) vectors, as well
+    as other specialized array types, is much faster.  SUBSEQ and
+    COPY-SEQ on such arrays have also been sped up.
+  * fixed bug: the runtime is now less vulnerable to changes in the
+    size of the SBCL object on OS X, and virtual memory is reserved for
+    all spaces that need to be at a fixed address.
+  * fixed bug: finalizers are now thread-safe. (thanks to Gabor Mellis)
+  * fixed bug: finalizers and after GC hooks that cause consing are now
+    safe.
+  * fixed bug: compiler error messages and summaries are now printed to 
+    *ERROR-OUTPUT*, not *STANDARD-OUTPUT*.
+  * fixed inference of the upper bound of an iteration variable.
+    (reported by Rajat Datta).
+  * fixed bug 305: INLINE/NOTINLINE declaration no longer causes local
+    ftype declaration to be disregarded. (reported by Dave Roberts)
+  * fixed bug 373: caused by erronous compilation of references to alien
+    variables in the runtime on ppc/darwin.
+  * fixed bug 376: CONJUGATE type deriver.
+  * fixed infinite looping of ALIEN-FUNCALL, compiled with high DEBUG.
+    (reported by Baughn on #lisp)
+  * a cross-compiler bug on non-x86 platforms has been identified and
+    fixed.  (thanks to Bruno Haible)
+  * improvements to the MIPS runtime code for increased stability.
+    (thanks to Thiemo Seufer)
+  * increased the maximimum compact environment size to allow
+    purify on images with large amounts of functions. (thanks to Cyrus Harmon)
+  * partial workaround for bug 135: don't name the function we're
+    calling for hairy cases of EVAL, so as not to accumulate one environment
+    entry per call to EVAL.  (reported by Kevin Reid)
+  * improvements to the x86-64 disassembler. (thanks to Lutz Euler)
+  * optimization: type testing for non-vector arrays should be faster.
+  * fixed TRACE :ENCAPSULATE NIL, added support for :ENCAPSULATE NIL
+    on x86-64
+  * bug fix: setting 31st element of a bit vector to zero did not work
+    on Alpha-32.
+  * fixed some bugs related to Unicode integration:
+    ** the restarts for recovering from input and output encoding
+       errors only appear when there is in fact such an error to
+       handle.
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** MISC.549 and similar: late transformation of unsafe type
+       assertions into derived types caused unexpected code
+       transformations.
+    ** SCALE-FLOAT type deriver is less wrong.
+    ** type derivers for EXP, LOG and similar functions compute result
+       types for complex arguments better.
+    ** (MISC.563) CONJUGATE type deriver works for very restricted
+       complex types.
+    ** out-of-line type testers for character strings are available.
+    ** EQUAL compiler transform understands specialness of objects
+       of type BIT-VECTOR.
+    ** accessing double-floats stored on the stack now works on x86-64.
+    ** debugger internals could sometimes create invalid lispobjs, 
+       resulting in GC crashes.
+    ** MISC.548: type check weakening can convert required type into
+       optional.
+
+changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20:
+  * incompatible change: thread support for non-NPTL systems has
+    been removed - locking is buggy and unreliable.  A threaded 
+    SBCL build will now warn at startup and refuse to create
+    new threads, unless futex support is detected in the kernel
+  * incompatible change: the top level REPL now has only an ABORT
+    restart associated with it, not TOPLEVEL and ABORT as it used to.
+    TOP and TOPLEVEL are now available as debugger commands for 
+    returning to the top level.
+  * incompatible change: forms evaluated in the REPL now use the
+    global optimization policy.
+  * incompatible change: user- and system-initialization files are
+    no longer processed with LOAD, but by READ and EVAL; hence the
+    global optimization policy, startup package, readtable, etc, 
+    can be set by them.
+  * The .fasl file format number has been incremented because of 
+    various incompatible changes.
+  * internal entry point details and argument counts no longer appear
+    in backtraces unless explicitly requested by setting
+    SB-DEBUG:*SHOW-ENTRY-POINT-DETAILS*.
+  * built-in and standard functions no longer have names like "top
+    level local call to FOO".
+  * fixed bug 32: functions defined in non-null lexical environments
+    now have more legible printed representation
+  * fixed bug 33: functions defined in non-null lexical environemnts
+    are now more amenable to inspection by INSPECT.
+  * workaround for bug 354: XEPs no longer appear in backtraces unless
+    explicitly requested.
+  * fixed bug: receiving the signal which results from attempting to
+    write to mprotect()ed memory (SIGSEGV on Linux and some *BSDs,
+    SIGBUS on other *BSDs) on architectures where the C stack is also
+    the Lisp stack (x86 and x86-64) from foreign code no longer leads
+    to debugger confusion or wild instability.  (reported by Cheuksan
+    Wang)
+  * fixed bug: COUNT and EQUAL no longer issue compiler efficiency
+    notes when operating on objects known to be SIMPLE-BIT-VECTORs.
+    (reported by Lutz Euler)
+  * fixed bug: (TYPEP X '(MEMBER ...)) no longer returns a list in
+    compiled code. (reported by Paul Dietz)
+  * fixed bug 276b: mutating with MULTIPLE-VALUE-SETQ a binding of a
+    specialized parameter to a method to something that is not TYPEP
+    the specializer is now possible.
+  * fixed bug: the MAKE-INSTANCE optimization is now correct in the
+    face of package deletion.
+  * fixed bug: LOAD should bind *LOAD-PATHNAME* to the merged
+    pathname. (reported by David Tolpin on c.l.l)
+  * contrib improvement: the SB-SIMPLE-STREAMS contrib now defines
+    STRING-SIMPLE-STREAM and FILE-SIMPLE-STREAM as subclasses of
+    STRING-STREAM and FILE-STREAM, respectively.
+  * contrib improvement: SB-INTROSPECT handles more of SLIME's needs
+    than previously; in addition, its test suite is now run on build.
+    (thanks to Luke Gorrie)
+  * a more robust x86-64 disassembler. (thanks to Lutz Euler)
+  * optimization: added a immediate representation for single-floats 
+    on x86-64
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** MISC.564: defined out-of-line version of %ATAN2 on x86.
+    ** attempting to create a package with a colliding nickname causes
+       correctable errors to be signalled.
+    ** MISC.572-574: :START1 and :START2 broken for simple-base-strings.
+    ** several x86-64 backend bugs related to sign-extension of immediate
+       operands.
+
+changes in sbcl-0.8.20 (0.9alpha.0?) relative to sbcl-0.8.19:
+  * fixed inspection of specialized arrays. (thanks to Simon Alexander)
+  * fixed disassembly of SHLD and SHRD on x86.  (thanks to David
+    Lichteblau)
+  * fixed loading of multiply forward-referenced layouts. 
+    (thanks to Cheuksan Wang)
+  * fixed bug 7: less verbose COMPILE-FILE output. Additionally, the
+    output is now directed to *STANDARD-OUTPUT* as specified by ANSI. 
+    (see COMPILE-FILE documentation for details of :PRINT option)
+  * fixed bugs 19 and 317: fixed-format floating point printing is
+    more accurate.  This also fixes a bug reported by Adam Warner
+    related to the ~@F format directive.
+  * fixed bug 371: bignum print/read inconsistency. (thanks to Harald
+    Hanche-Olsen)
+  * fixed bug: SET-SYNTAX-FROM-CHAR correctly shallow-copies a
+    dispatch table if the from-char is a dispatch macro character.
+  * fixed bug: COUNT and EQUAL on bit vectors with lengths divisible
+    by the wordsize no longer ignore the last word.  (reported by Lutz
+    Euler)
+  * fixed bug in type checking of dynamic-extent variables. (reported
+    by Svein Ove Aas)
+  * optimization: sequence traversal functions use their freedom to
+    coerce function designators to functions.
+  * optimization: code with many calls to CLOS methods specialized on
+    CLOS classes has had redundant type checks removed.
+  * optimization: added declarations to speed up operations that access
+    the internal character database (for example STRING-UPCASE)
+  * optimization: comparison operations between floats and sufficiently small
+    fixnums no longer create extra rationals
+  * fixed some bugs related to Unicode integration:
+    ** portions of multibyte characters at the end of buffers for
+       character-based file input are correctly transferred to the
+       start of the buffer at the next read.
+    ** COMPILE-FILE now respects any EXTERNAL-FORMAT argument given,
+       passing it through to OPEN.
+    ** LOAD on source files likewise passes any EXTERNAL-FORMAT
+       argument given to internal calls to OPEN.
+    ** the built-in comment readers (introduced by character sequences
+       ";" and "#|") are more forgiving to encoding errors; they will
+       STYLE-WARN and then attempt to resync the stream at a character
+       boundary.  (thanks to Teemu Kalvas)
+  * fixed some bugs in the x86-64 port:
+    ** Negative short int return values from c-calls are sign-extended
+       correctly.
+    ** The stack is aligned to 16-bytes for c-calls, as required by
+       the ABI. (thanks to Cheuksan Wang)
+    ** The disassembler understands more x86-64. (thanks to Cheuksan Wang)
+    ** The regression tests use SB-ALIEN:INT instead of SB-ALIEN:INTEGER
+       for enums. (thanks to Vincent Arkesteijn)
+    ** Multiple small optimizations and bugfixes for floating point
+       operations.
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** Space, Tab, Linefeed, Return and Page have the invalid
+       secondary constituent character trait.
+    ** SET-SYNTAX-FROM-CHAR correctly copies multiple-escape character
+       syntax.
+    ** WITH-INPUT-FROM-STRING should only update the index place on
+       normal termination.
+    ** Pretty-printing backquoted forms when *PRINT-CIRCLE* is true
+       works more reliably.
+    ** Bit-array operations (BIT-AND and similar) worked incorrectly
+       with one-dimensional arrays with fill pointers.
+    ** TYPE-OF failed on a complex with an integer realpart and a
+       RATIO imagpart.
+    ** compiler failure during type inference for the code of form
+       (IF (EQL X (THE ...)) ...) (MISC.535).
+
+changes in sbcl-0.8.19 relative to sbcl-0.8.18:
+  * new port: SBCL now works in native 64-bit mode on x86-64/Linux
+    platform. The port supports 61-bit fixnums, large memory spaces
+    and reloading shared object files.
+  * enhancement: saving cores with foreign code loaded is now
+    supported on ppc/Darwin in addition to the previously supported
+    platforms.
+  * enhancement: the statistical profiler now walks deeper into the 
+    call stack for more meaningful call-graphs and accrued time
+    reports (x86/x86-64 only). It also now reports time spent in
+    foreign functions.
+  * enhancement: it is now possible to trace most individual methods
+    of a generic function in addition to tracing the generic function
+    itself.
+  * bug fix: invalid :DEFAULT-INITARGS are detected in compiled calls
+    to MAKE-INSTANCE.
+  * bug fix: defaulted initargs are passed to INITIALIZE-INSTANCE and
+    SHARED-INITIALIZE methods from compiled calls to MAKE-INSTANCE.
+  * bug fix: COERCE to (COMPLEX FLOAT) of a complex number no longer
+    produces an error.  (thanks to Vincent Arkesteijn)
+  * bug fix: NAMESTRING on pathnames with :WILD components in their
+    directories works correctly.  (thanks to Artem V. Andreev)
+  * fixed bug 125: compiler preserves identity of closures. (reported
+    by Gabe Garza)
+  * bug fixed: functions with &REST arguments sometimes failed with
+    "Undefined function" when compiled with (DEBUG 3). (reported by
+    Robert J. Macomber)
+  * bug fix: overflow during compiling of setting element of a bit
+    vector with constant index and value. (reported by Timmy Douglas)
+  * build fix: fixed the dependence on *LOAD-PATHNAME* and
+    *COMPILE-FILE-PATHNAME* being absolute pathnames.
+  * on x86 compiler partially supports stack allocation of dynamic-extent
+    closures.
+  * GO and RETURN-FROM do not check the extent of their exit points
+    when compiled with SAFETY 0.
+  * fixed some bugs related to Unicode integration:
+    ** encoding and decoding errors are now much more robustly
+       handled; it should now be possible to recover even from invalid
+       input or output to the terminal.  (thanks to Teemu Kalvas)
+    ** provided a first cut at implementing STRING-TO-OCTETS and
+       OCTETS-TO-STRING.  (thanks to Robert J. Macomber)
+    ** altered the SB-MD5 contributed module slightly, changing the
+       interface just enough for it to be supportable for builds where
+       lisp characters are not eight bits.
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** the FORMATTER-generated functions for ~V[ conditionals require
+       the correct number of arguments.
+    ** READ-FROM-STRING returns the mandated second value when applied
+       to displaced strings.
+    ** the #\Rubout and #\Backspace characters are treated as invalid
+       constituent characters by the tokenizer.
+
+changes in sbcl-0.8.18 relative to sbcl-0.8.17:
+  * new feature: reloading changed shared object files with
+    LOAD-SHARED-OBJECT now causes the new definitions to take effect.
+  * new feature: references to foreign variables and functions
+    can now be compiled and loaded before the corresponding shared 
+    object file is loaded, as long as the foreign definitions are
+    available at runtime.
+  * Solaris 10 (aka SunOS 5.10) on the SPARC platform is now
+    supported.  (thanks to Dan Debertin)
+  * SB-ALIEN enums can now be represented in Lisp by any symbols, not
+    just keywords.  (thanks to Vincent Arkesteijn)
+  * fixed bug #331: structure-class instances corresponding to
+    DEFSTRUCT forms are now created eagerly.
+  * fixed bug #345: backtraces from calls to undefined functions work
+    on x86 as well. Related bug #61 is now also partially fixed on x86
+    (backtraces from throws to unknown catch tags.)
+  * bug fix: lambda-list parsing is now stricter vrt. order and number
+    of lambda-list keywords.
+  * bug fix: as specified by AMOP, an error is signalled if a
+    class-option appears multiple times in a DEFCLASS form. (reported
+    by Bruno Haible)
+  * bug fix: RANDOM can be compiled when the compiler derives the type
+    of its numeric argument as a disjoint set of small integers.
+    (reported by Paul Dietz)
+  * bug fix: starting a core saved with shared objects loaded when
+    those objects are not available no longer causes threaded SBCL to 
+    hang. (reported by Sean Ross)
+  * bug fix: evaluated FUNCTION no longer bypasses encapsulation (eg.
+    TRACE).
+  * bug fix: (SETF MACRO-FUNCTION) now accepts an optional environment
+    argument, which must always be NIL. (reported by Kalle Niemitalo)
+  * bug fix: printing 1.0d+23 no longer results in an error.
+    (reported by Rolf Wester for CMUCL; bug fix from Raymond Toy)
+  * bug fix: structure slot setters preserve evaluation order. (thanks
+    to Gabor Melis)
+  * fixed some bugs related to Unicode integration:
+    ** RUN-PROGRAM can allow its child to take input from a Lisp
+       stream.  (reported by Stefan Scholl)
+    ** ASDF-INSTALL successfully downloads .tar.gz files in all
+       locales.  (reported by Ken Causey)
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** INCF, DECF and REMF evaluate their place form as specified in
+       CLtS 5.1.3.
+    ** FORMATTER expands ~{ ~} iteration directives with V or #
+       parameters correctly.
+    ** FORMATTER deals with the ~@[ ~] conditional directive where the
+       consequent uses no arguments correctly.
+    ** the system has a partial understanding of the (COMPLEX RATIO)
+       type specifier.
+    ** UPGRADED-COMPLEX-PART-TYPE obeys the lattice upgrading rules
+       required.
+
+changes in sbcl-0.8.17 relative to sbcl-0.8.16:
+  * new feature: a build-time option (controlled by the :SB-UNICODE
+    keyword feature, enabled by default) for building the system with
+    support for the entire 21-bit character space defined by the
+    Unicode consortium.
+  * new feature: the system now has rudimentary external-format
+    support; the primary user-visible change at this time is that
+    characters with the high bit set (such as lower-case-e-acute) will
+    print correctly to a terminal in a UTF-8 environment.
+  * minor incompatible change: BASE-CHAR no longer names a class;
+    however, CHARACTER continues to do so, as required by ANSI.
+  * minor incompatible change: SB-DEBUG:*DEBUG-PRINT-FOO* variables
+    are no longer supported, and SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST*
+    has been moved to the SB-EXT package (temporarily re-exported from
+    SB-DEBUG).
+  * minor incompatible change: SB-C::*COMPILER-ERROR-PRINT-FOO* variables
+    are no longer supported: use SB-EXT:*COMPILER-PRINT-VARIABLE-ALIST*
+    instead. 
+  * fixed bug #351: better error-handlind and reporting for malformed
+    LET and LET* forms.
+  * fixed bug #350: bignum-printing is now more memory-efficient,
+    allowing printing of very large bignums, eg. (expt 2 10000000).
+    (reported by Bruno Haible)
+  * fixed bug #302: better primitive-type selection for intersection
+    types.
+  * fixed bug #308: non-graphic characters now all have names, as
+    required.  (reported by Bruno Haible)
+  * bug fix: redefining a class with different superclasses now correctly
+    removes it from the direct-subclasses of its previous superclasses.
+    (reported by David Morse)
+  * bug fix: (SETF FIND-CLASS) using a FORWARD-REFERENCED-CLASS as the
+    new value now works. (reported by Bruno Haible)
+  * bug fix: correct canonicalization of multiple non-standard slot
+    options in DEFCLASS as per AMOP 5.4.2. (reported by Bruno Haible)
+  * bug fix: SB-MOP:CLASS-PROTOTYPE now signals an error if the class
+    is not yet finalized, as required by AMOP. (reported by Bruno Haible)
+  * bug fix: SB-MOP:ALLOCATE-INSTANCE method for instances of BUILT-IN-CLASS
+    now exists, an signals an error.
+  * bug fix: duplicate LOOP variable bindings now signal PROGRAM-ERROR
+    during macroexpansion for non-iteration variables as well. (reported 
+    by Bruno Haible for CMUCL)
+  * bug fix: Cyclic structures and unprintable objects in compiler
+    messages no longer cause errors. (reported by Bruno Haible)
+  * bug fix: READ, READ-PRESERVING-WHITESPACE, READ-DELIMITED-LIST,
+    and READ-FROM-STRING all now return a primary value of NIL if
+    *READ-SUPPRESS* is true.  (reported by Bruno Haible for CMUCL)
+  * bug fix: Default value of EOF-ERROR-P in READ-FROM-STRING is true.
+    (reported by Bruno Haible for CMUCL)
+  * bug fix: ERROR now signals a TYPE-ERROR if the arguments to ERROR
+    do not designate a condition.  (reported by Bruno Haible for
+    CMUCL)
+  * bug fix: UNINTERN, USE-PACKAGE, IMPORT and EXPORT all signal an
+    SB-EXT:NAME-CONFLICT condition (subtype of PACKAGE-ERROR) in the
+    name conflict situations in CLHS 11.1.1.2.5, and provide a restart
+    permitting resolution in favour of any of the conflicting symbols.
+    (reported by Bruno Haible for CMUCL)
+  * bug fix: EQUAL compiler optimizations is less aggressive on
+    strings which can potentially compare true despite having distinct
+    specialized array element types.
+  * bug fix: unit enumerations can be defined without dividing by
+    zero.  (thanks to Vincent Arkesteijn)
+  * FORMAT compile-time argument count checking has been enhanced.
+    (report from Bruno Haible for CMUCL)
+  * a partial workaround for the bug 262: the compiler does not try to
+    inline-expand a local function doing RETURN-FROM from a deleted
+    BLOCK. (thanks to Peter Denno for the bug report and to David
+    Wragg for the simple test case)
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** RENAME-PACKAGE allows all package designators as new package
+       names.
+    ** constraint propagation and lambda variable substitution are
+       more cautious in dealing with partially deleted code.
+    ** compiler sometimes lost reoptimization passes.
+    ** CERROR, given a condition as condition designator, passes its
+       remaining arguments to the continue format control without
+       complaint.
+    ** Case-altering FORMAT directives work correctly on non-ASCII
+       characters.
+    ** The REAL type specifier handles bounds outside the floating
+       point ranges without signalling FLOATING-POINT-OVERFLOW.
+    ** Functions with IR1-transformations can create intercomponent
+       references to global functions.
+    ** NIL parameter to the FORMAT directive ~^ means `unsupplied
+       parameter'.
+    ** FORMAT ~R treats a nil value for its first parameter correctly.
+
+changes in sbcl-0.8.16 relative to sbcl-0.8.15:
+  * enhancement: saving cores with foreign code loaded is now
+    supported on x86/NetBSD and sparc/Linux in addition to the previously
+    supported platforms.
+  * bug fix: on some platforms repeated installations caused multiple
+    copies of HTML documentation to be installed -- should not happen
+    any more. (reported by Stefan Scholl)
+  * bug fix: parsing self-recursive alien record types multiple times
+    no longer causes infinite recursion. (reported by Thomas F. Burdick,
+    original patch by Helmut Eller for CMUCL)
+  * bug fix: stack-exhaustion detection works now on NetBSD as well.
+    (thanks to Richard Kreuter)
+  * bug fix: defining classes whose accessors are methods on existing
+    generic functions in other (locked) packages no longer signals
+    bogus package lock violations. (reported by François-René Rideau)
+  * bug fix: special variables as DEFMETHOD parameters no longer have
+    associated bogus type declarations. (reported by David Wragg and
+    Bruno Haible)
+  * bug fix: read-write consistency on streams of element-type
+    (SIGNED-BYTE N) for N > 32.  (reported by Bruno Haible for CMUCL)
+  * bug fix: redefiniton of the only method of a generic function with
+    no DEFGENERIC no longer emits a full WARNING.  In addition,
+    redefinition of generic functions with no DEFGENERIC to an
+    incompatible lambda list now signals an error.  (thanks to Zach
+    Beane)
+  * bug fix: DEFGENERIC now works even when there's a function of the
+    same name in an enclosing lexical environment.  (thanks to Zach
+    Beane)
+  * fixed compiler failure, caused by instrumenting code during
+    IR1-optimization.  (Debian bug report #273606 by Gabor Melis)
+  * optimization: added loop analysis and improved register allocation
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** POSITION on displaced vectors with non-zero displacement
+       returns the right answer.
+    ** (SIMPLE-STRING) is a valid type specifier for sequence
+       creators.
+    ** *PRINT-LEVEL* handling for slotless structures is pedantically
+       correct.
+    ** PPRINT-INDENT accepts a request for an indentation of any REAL.
+    ** PPRINT-TAB (and the FORMAT ~T directive) now indent by the
+       correct amounts.
+    ** The justification version of the FORMAT ~< directive treats
+       non-zero minpad parameter correctly.
+
+changes in sbcl-0.8.15 relative to sbcl-0.8.14:
+  * incompatible change: SB-INT:*BEFORE-SAVE-INITIALIZATIONS* and
+    SB-INT:*AFTER-SAVE-INITIALIZATIONS* have been renamed
+    SB-EXT:*SAVE-HOOKS* and SB-EXT:*INIT-HOOKS*, and are now part of
+    the supported interface.
+  * new feature: Single-stepping of code compiled with DEBUG 2 or
+    higher and (> DEBUG (MAX SPACE SPEED)) is now possible.
+  * new feature: saving cores with foreign code loaded is now
+    supported on x86/FreeBSD, x86/Linux, and sparc/SunOS. (based on
+    Timothy Moore's work for CMUCL)
+  * bug fix: DEFTYPE lambda-list parsing now binds unsupplied keyword
+    parameters to * instead of NIL if no initform is supplied.
+    (reported by Johan Bockgaard)
+  * bug fix: DEFINE-COMPILER-MACRO lambda-list parsing now binds
+    correctly when FUNCALL appears as the car of the form. Note:
+    despite this FUNCALL forms are not currently subject to
+    compiler-macro expansion. (port of Raymond Toy's fix for the
+    same from CMUCL, reported by Johan Bockgaard)
+  * bug fix: FOR ... ON ... -clauses in LOOP now work on dotted lists
+    (thanks for Teemu Kalvas)
+  * bug fix: in FORMAT ~^ inside ~:{ now correctly steps to the next
+    case instead of terminating the iteration (thanks for Julian
+    Squires, Sean Champ and Raymond Toy)
+  * bug fix: incorrect expansion of defgeneric that caused a style
+    warning. (thanks for Zach Beane)
+  * bug fix: slot accessor effective method computation works properly
+    for classes with multiple non-standard applicable methods on
+    SB-MOP:SLOT-VALUE-USING-CLASS.  (reported by Ralf Mattes)
+  * on x86 compiler supports stack allocation of results of LIST and
+    LIST*, bound to variables, declared DYNAMIC-EXTENT. (based on
+    CMUCL implementation by Gerd Moellmann)
+  * fixed some bugs revealed by Paul Dietz' test suite:
+    ** FORMAT strings with both the ~<~:;~> form of the justification
+       directive and pretty-printing directives cause an error.
+
 changes in sbcl-0.8.14 relative to sbcl-0.8.13:
   * incompatible change: the internal functions
     SB-KERNEL:32BIT-LOGICAL-FOO, intended for providing efficient
@@ -7,8 +475,10 @@ changes in sbcl-0.8.14 relative to sbcl-0.8.13:
   * new feature: on platforms where "dladdr" is available foreign
     function names now appear in backtraces.  (based on Helmut Eller's
     work for CMUCL)
-  * documentation: networking interface SB-BSD-SOCKETS' documentation
-    has been integrated into the user manual.
+  * 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
@@ -30,10 +500,16 @@ changes in sbcl-0.8.14 relative to sbcl-0.8.13:
   * 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.
@@ -46,6 +522,10 @@ changes in sbcl-0.8.14 relative to sbcl-0.8.13:
        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