0.9.4.27:
[sbcl.git] / NEWS
diff --git a/NEWS b/NEWS
index 4922f52..bfa565a 100644 (file)
--- a/NEWS
+++ b/NEWS
+;;;; -*- coding: utf-8; -*-
+changes in sbcl-0.9.5 relative to sbcl-0.9.4:
+  * 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)
+  * 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.
+  * 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.
+  * 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.
+  * 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 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 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.
+  * 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
+       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.
+    ** 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
+    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