+changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20:
+ * 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.
+ * 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.
+
+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
* 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,
* 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.
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