+;;;; -*- coding: utf-8; -*-
+changes in sbcl-0.9.14 relative to sbcl-0.9.13:
+ * bug fix: unparsing logical pathnames with :NAME :WILD :TYPE NIL
+ failed with a type error. (reported by Pascal Bourguignon)
+ * fixed some bugs revealed by Paul Dietz' test suite:
+ ** MISC.641: LET-conversion were not supposed to work in late
+ compilation stages.
+
+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
+
+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.
+ * 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
+ 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
+ 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.
+ (reported by Rick Taube)
+ * bug fix: structures defined by WITH-ALIEN can be referred to
+ within other definitions in the same WITH-ALIEN.
+ * 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.
+