Tags

sbcl_0_8_1

changes in sbcl-0.8.1 relative to sbcl-0.8.0:
  * minor incompatible change: some nonsensical specialized lambda
    lists (used in DEFMETHOD) which were previously ignored now signal
    errors.
  * minor incompatible change: the system is now aware of the types of
    variables in the COMMON-LISP package, and will signal errors for
    most violations of these type constraints (where previously they
    were silently accepted).
  * minor incompatible change: COMPILE-FILE now uses the freedom
    afforded (ANSI 3.2.2.3) to use derived function types for
    functions defined in the same file. This also permits the system
    to warn on static type mismatches and function
    redefinition.  (Currently it does not work with high DEBUG level.)
  * minor incompatible change: VALUES declaration is disabled.
  * When issuing notes, the compiler now signals a condition of type
    SB-EXT:COMPILER-NOTE, and provides an associated MUFFLE-WARNING
    restart for use in user handlers.  It is expected that the
    COMPILER-NOTE condition will eventually become a condition
    supertype to a hierarchy of note types, which will then be
    handleable in a similar fashion. However, at the moment, no such
    note subtypes yet exist. (SB-INT:SIMPLE-COMPILER-NOTE exists,
    but it's an implementation detail, not a classification for the
    purpose above.)
  * Changes in type checking closed the following bugs:
    ** type checking of unused values (192b, 194d, 203);
    ** template selection based on unsafe type assertions (192c, 236);
    ** type checking in branches (194bc).
  * A short form of VALUES type specifier has ANSI meaning (it has
    increased the number of situations when SBCL cannot perform type
    checking).
  * fixed bug in DEFSTRUCT: once again, naming structure slots with
    keywords or constants is permissible.
  * STREAM-READ-SEQUENCE and STREAM-WRITE-SEQUENCE now have methods
    defined on the relevant FUNDAMENTAL-BINARY-{INPUT,OUTPUT}-STREAM
    classes.  (thanks to Antonio Martinez)
  * improved ANSIness in DESCRIBE: The DESCRIBE function no longer
    outputs FRESH-LINE or TERPRI, and no longer converts its stream
    argument to a pretty-print stream. Instead, it leaves any such
    operations to DESCRIBE-OBJECT methods.
  * bug fix: APROPOS now respects the EXTERNAL-ONLY flag. (reported
    by Teemu Kalvas)
  * bug fix: NIL is now a valid destructuring argument in DEFMACRO
    lambda lists. (thanks to David Lichteblau)
  * bug fix: Defining a generic function with a :METHOD-CLASS being a
    subclass of STANDARD-METHOD no longer causes stack exhaustion.
    (thanks to Gerd Moellmann)
  * fixed bug 246: increased compilation speed of long
    MULTIPLE-VALUE-BIND (and likewise of NTH-VALUE with a constant
    integer argument)
  * a contributed module implementing COMPILER-LET and MACROEXPAND-ALL
    has been included.
  * DEFCONSTANT now throws a condition of type
    SB-EXT:DEFCONSTANT-UNEQL if it is being asked to redefine a
    constant to a non-EQL value; CONTINUE and ABORT restarts
    respectively change and preserve the value.
  * fixed bug 63: The code walker, part of the implementation of CLOS,
    is now better at handling symbol macros.
  * bug fix: There is no longer an internal implementation type named
    CL:LENGTH. (reported by Raymond Toy)
  * bug fix: In macro-like defining macros/special operators the
    implicit block does not enclose the lambda list.
  * fixed bugs 10 and 43: Bare VALUES, AND, OR and MEMBER symbols (not
    enclosed in parentheses) are not suitable as type specifiers, and
    their use properly signals an error now.
  * bug fix: An argument count mismatch for a type specifier in code
    being compiled no longer causes an unhandled error at compile
    time, but signals a compile-time warning.
  * fixed simple vector readable printing
  * bug fix: DESCRIBE takes more care over whether the class
    precedence list slot of a class is bound before accessing it.
    (reported by Markus Krummenacker)
  * bug fix: FORMATTER can successfully compile pretty-printer format
    strings which use variants of the ~* directive inside.
  * bug fix: SEARCH now applies its TEST predicate to the elements of
    the arguments in the correct order. (thanks to Wolfhard Buss)
  * fixed bug 235b: The compiler uses return types of MAPCAR and friends
    in type inference. (thanks to Robert E. Brown)
  * bug fix: Reading in symbols with an explicit package name of ""
    (e.g. '||::FOO) now works correctly.  (reported by Henrik Motakef)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** NIL is now allowed as a structure slot name.
    ** Arbitrary numbers, not just REALs, are allowed in certain
       circumstances in LOOP for-as-arithmetic clauses.
    ** Multiple class redefinitions before slot access no longer
       causes a type error.
    ** (SETF FIND-CLASS) now accepts NIL as an argument to remove the
       association between the name and a class.
    ** Generic functions with non-standard method-combination and over
       five methods all of which return constants no longer return NIL
       after the first few invocations. (thanks to Gerd Moellmann)
    ** CALL-NEXT-METHOD with no arguments now passes the original
       values of the arguments, even in the presence of assignment.
    ** Functions [N]SUBST*, LAST, NRECONC, [N]SUBLIS may return any
       object.
    ** DISASSEMBLE works with closures and funcallable instances.
    ** ADD-METHOD now returns the generic function, not the new method.
    ** FIND-METHOD signals an error if the lengths of the specializers
       is incompatible with the generic function, even if the ERRORP
       argument is true.
    ** TYPE-OF returns recognizeable subtypes of all built-in-types of
       which its argument is a member.
    ** DEFCLASS only redefines the class named by its class-name
       argument if that name is the proper name of the class;
       otherwise, it creates a new class.
    ** SLOT-UNBOUND now correctly initalizes the CELL-ERROR-NAME slot
       of the UNBOUND-SLOT condition to the name of the slot.
    ** (SETF (AREF bv 0) ...) did not work for bit vectors.
    ** SLOT-UNBOUND and SLOT-MISSING now have their return values
       treated by SLOT-BOUNDP, SLOT-VALUE, (SETF SLOT-VALUE) and
       SLOT-MAKUNBOUND in the specified fashion.

sbcl_0_8_0

changes in sbcl-0.8.0 relative to sbcl-0.8alpha.0
  * SBCL now builds using CLISP (version of late April 2003 from CVS) as
    cross-compilation host. As a consequence, we can now bootstrap our
    way up to SBCL starting with a bare gcc toolchain and human-readable
    source code (first the source to CLISP, then the source to SBCL).
  * A contributed module containing a partial implementation of the
    simple-streams interface has been included.  (thanks to Rudi
    Schlatte)
  * A contributed module implementing the RFC1321 Message Digest
    Algorithm, known as MD5, has been included.
  * minor incompatible change: The :NEGATIVE-ZERO-IS-NOT-ZERO feature
    no longer has any effect, as the code controlled by this feature
    has been deleted.  (As far as we know, no-one has ever built using
    this feature, and its semantics were confused in any case).
  * minor incompatible change: As a consequence of making SLOT-EXISTS-P
    work on conditions (as required by the ANSI specification),
    SLOT-VALUE, (SETF SLOT-VALUE) and SLOT-BOUNDP likewise have the
    expected behaviour on conditions.  Users should note, however,
    that such behaviour is not required by the ANSI specification,
    and so use of this behaviour may render their code unportable.
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** the GENERIC-FUNCTION type is no longer disjoint from FUNCTION
       types.
    ** &ENVIRONMENT parameter in macro lambda list is bound first.
    ** SXHASH on condition objects no longer returns NIL.
    ** :ALLOCATION :CLASS slots are better treated; their values are
       updated on class redefinition, and initforms inherited from
       superclasses are applied.
    ** REMOVE-METHOD returns its generic function argument even when
       no method was removed.
    ** SHARED-INITIALIZE now initializes the values of the requested
       slots, including those with :ALLOCATION :CLASS.
    ** ALLOCATE-INSTANCE now works on structure classes defined via
       DEFSTRUCT (and not just by those from DEFCLASS :METACLASS
       STRUCTURE-CLASS).
    ** SLOT-EXISTS-P now works on conditions, as well as structures
       and CLOS instances.
    ** MAKE-LOAD-FORM now has the required methods on
       STRUCTURE-OBJECT, CONDITION and STANDARD-OBJECT.
    ** MAKE-LOAD-FORM-SAVING-SLOTS no longer returns a special
       keyword, and now implements the SLOT-NAMES argument.
    ** methods with &OPTIONAL arguments no longer allow too many
       arguments to be passed in the call without error.
    ** DEFGENERIC now checks that the :ARGUMENT-PRECEDENCE-ORDER
       option is consistent with the required arguments of the generic
       function lambda list.
  * bug fix: REQUIRE accepts a string designator. (Thanks to
    Antonio Martinez.)
  * bug fix: SB-MOP:DIRECT-SLOT-DEFINITION-CLASS and
    SB-MOP:EFFECTIVE-SLOT-DEFINITION-CLASS now have the
    specified-by-AMOP lambda list of (CLASS &REST INITARGS).
  * bug fix: The compiler now checks for duplicated variables in macro
    lambda lists.
  * bug fix: SETQ on globals returns the correct value.
  * fixed bug 47.d: (DEFGENERIC IF (X)) now signals a PROGRAM-ERROR,
    not a COMPILER-ERROR (followed by some other strange error on
    choosing the CONTINUE restart).
  * bug fix: make.sh and friends are now more consistent in the way that
    they look for GNU "make".

NEWS

sbcl_0_8alpha_0

changes in sbcl-0.8alpha.0 relative to sbcl-0.7.14
  * experimental native threads support (on x86 Linux >=2.4 only).
    This is not compiled in by default: you need to add :SB-THREAD to
    the target features.  See the "Beyond ANSI" chapter of the manual
    for details.
  * fix for longstanding nonANSIism: The old distinction between
    CL:CLASS objects and SB-PCL:CLASS objects has been eliminated.
    The return value from CL:FIND-CLASS is now a CLOS class, and
    likewise that of CL:CLASS-OF; CL:BUILT-IN-CLASS,
    CL:STRUCTURE-CLASS and CL:STANDARD-CLASS name CLOS classes.
  * An interface to the MetaObject Protocol, as described in Kiczales,
    des Rivieres and Bobrow's "The Art of the Metaobject Protocol",
    MIT Press, 1991, is available from the SB-MOP package.
  * incompatible change: the SB-PCL package should now be considered
    a private implementation detail, and no longer a semi-private MOP
    interface.
  * minor incompatible change: due to rearrangement for threads, the
    control stack and binding stack are now allocated at arbitrary
    addresses instead of being hardcoded per-port.  Users affected by
    this probably have to be doing advanced things with shared
    libraries, and will know who they are.
  * minor incompatible change: Previously, all --eval forms used were
    processed with READ before any of them were processed with EVAL.
    Now each --eval form is processed with both READ and EVAL before
    the next --eval form is processed. (Thus package operations like
    sbcl --eval "(defpackage :foo)" --eval "(print 'foo::bar)" now
    work as the user might reasonably expect.)
  * minor incompatible change: *STANDARD-INPUT* is now only an
    INPUT-STREAM, not a BIDIRECTIONAL-STREAM.  (thanks to Antonio
    Martinez)
  * minor incompatible change: Y-OR-N-P is now character-oriented,
    not line oriented.  Also, YES-OR-NO-P now works without errors.
    (thanks to Antonio Martinez)
  * sb-aclrepl module improvements: an integrated inspector, added
    repl features, and a bug fix to :trace command.
  * Known functions, which cannot be open coded by the backend, are
    considered to be able to check types of their arguments. (fixing
    a bug report by Nathan J. Froyd)
  * fixed a bug in computing method discriminating functions: It is
    now possible to define methods specialized on classes which have
    forward-referenced superclasses. (thanks to Gerd Moellmann)
  * fixed evaluation order in optional entries (reported by Gilbert
    Baumann)
  * SB-MOP:ENSURE-CLASS-USING-CLASS now takes its arguments in the
    specified-by-AMOP order of (CLASS NAME &REST ARGS &KEY).
  * SB-MOP:COMPUTE-EFFECTIVE-SLOT-DEFINITION now takes the
    required-by-AMOP NAME argument, as well as CLASS and
    DIRECT-SLOT-DEFINITIONS.  (thanks to Kevin Rosenberg)
  * fixed bug 20: DEFMETHOD can define methods using names that are
    not the proper names of classes to designate class specializers.
  * bug fix: INTERACTIVE-STREAM-P now works on streams associated with
    Unix file descriptors, instead of blowing up. (thanks to Antonio
    Martinez)
  * Garbage collection refactoring: user-visible change is that a
    call to the GC function during WITHOUT-GCING will not do garbage
    collection until the end of the WITHOUT-GCING.  If you were doing
    this you were probably losing anyway.
  * fixed bug in MEMBER type: (MEMBER 0.0) is not the same as
    (SINGLE-FLOAT 0.0 0.0), because of the existence of -0.0 which is
    TYPEP the latter but not the former.
  * The compiler issues a full WARNING for calls to undefined functions
    with names from the CL package.
  * MAP-INTO for a vector destination is open coded.  (reported by
    Brian Downing on c.l.l)
  * bug fix: the long form of DEFINE-METHOD-COMBINATION now accepts a
    documentation string.
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** COPY-ALIST now signals an error if its argument is a dotted
       list.
    ** Condition slots are now accessed more correctly in the presence
       of multiple initargs for a given slot.
    ** The USE-VALUE, CONTINUE and STORE-VALUE functions now correctly
       exclude restarts of the same name associated with a different
       condition.
    ** DEFCLASS of forward-referenced classes with another
       forward-referenced class in the superclasses list no longer
       causes an error.
    ** Condition slots are now initialized once each, not multiple
       times. (thanks to Gerd Moellmann)
    ** CONVERT-MORE-CALL failed on a lambda list (&KEY). (thanks to
       Gerd Moellmann)
    ** &WHOLE and &REST arguments in macro lambda lists are patterns.
    ** NSET-EXCLUSIVE-OR does not return extra elements when its
       arguments contain duplicated elements.
    ** RESTART-CASE understands local macros.
    ** RESTART-CASE associates exactly its own restarts with a condition.
    ** ENDP in safe mode checks its argument to be of type LIST.
    ** COPY-SYMBOL in a threaded build no longer fails when the symbol
       in question is unbound.
    ** Optimized MAKE-INSTANCE functions no longer cause internal
       assertion failures in the presence of duplicate initargs.
    ** SLOT-MAKUNBOUND returns the instance acted upon, not NIL.
    ** Side-effectful :DEFAULT-INITARGS have their side-effects
       propagated even in the ctor optimized implementation of
       MAKE-INSTANCE.
    ** :ALLOW-OTHER-KEYS NIL is now accepted in an initarg list.

sbcl_0_7_14

changes in sbcl-0.7.14 relative to sbcl-0.7.13:
  * a better implementation of SXHASH on (simple) bit vectors,
    measured both in execution speed and in distribution of results
    over the positive fixnums, has been installed.  Likewise, a better
    implementation of EQUAL for simple bit vectors is now available.
  * fixed CEILING optimization for a divisor of form 2^k.
  * fixed bug 240 (emitting extra style warnings "using the lexical
    binding of the symbol *XXX*" for &OPTIONAL arguments).  (reported
    by Antonio Martinez)
  * fixed SXHASH, giving different results for NIL depending on type
    declarations (SYMBOL or LIST).  (thanks to Gerd Moellmann)
  * fixed bug in DEFPARAMETER and DEFVAR: they could assign a lexical
    variable.  (found by Rolf Wester)
  * SBCL does not ignore type declarations for special
    variables.  (reported by rif on c.l.l 2003-03-05)
  * some bug fixes in contrib/sb-aclrepl/
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** a bug in the CONS type specifier, whereby the CAR and CDR
       types got intertwined, has been fixed;
    ** the type system is now able to reason about the interaction
       between INTEGER and RATIO types more completely;
    ** APPEND, [N]REVERSE and NRECONC check that those their
       arguments, which must be proper lists, are really so;
    ** An array specialized to be unable to hold elements has been
       implemented, as required -- yes, really -- by ANSI;
    ** GETF and GET-PROPERTIES throw a TYPE-ERROR, not a SIMPLE-ERROR,
       on malformed property lists;

dan.native.threads.3

dan_native_threads_3

sbcl_0_7_13

changes in sbcl-0.7.13 relative to sbcl-0.7.12:
  * incompatible packaging change: in line with Unix convention,
    SBCL now looks for its core file in /usr/{local/,}lib/sbcl/sbcl.core
    if it's not in $SBCL_HOME.  It also sets SBCL_HOME to match.
  * REQUIRE and PROVIDE are now optionally capable of doing something
    useful. See the documentation string for REQUIRE.
  * infrastructure for a managed SBCL contrib system: contributed
    modules in this release include:
    ** the ASDF system definition facility;
    ** an interface to the BSD Sockets API;
    ** an ACL-like convenience interface to the repl;
       (thanks to Kevin Rosenberg)
    ** an implementation of ROTATE-BYTE, with efficient implementation
       on x86 hardware;
  * fixed a bug in LOG, so that LOG of a rational argument near 1 now
    gives a closer approximation to the right answer than previously.
    (thanks to Raymond Toy)
  * fixed bug 157: TYPEP, SUBTYPEP, UPGRADED-ARRAY-ELEMENT-TYPE and
    UPGRADED-COMPLEX-PART-TYPE now take (ignored, in all situations)
    optional environment arguments, as required by ANSI.
  * fixed bugs in other functions taking environment objects, allowing
    calls with an explicit NIL environment argument to be compiled
    without error.
  * fixed bug 228: primary return values from
    FUNCTION-LAMBDA-EXPRESSION are either NIL or suitable for input to
    COMPILE or FUNCTION.
  * fixed a bug in DEFSTRUCT: predicates for :NAMED structures with
    :TYPE will no longer signal errors on innocuous objects.
  * fixed bug 231b: SETQ is better at respecting type declarations in
    the lexical environment.
  * fixed a bug in DEFCLASS: classes named by symbols with no or
    unprintable packages can now be defined.
  * fixed a bug in RESTART-BIND: The :TEST-FUNCTION option had been
    carelessly renamed to :TEST-FUN.  (thanks to Robert E. Brown)
  * fixed compiler failure related to checking types of functions.
    (reported by Robert E. Brown)
  * the compiler is now much more consistent in its error-checking
    treatment of bounding index arguments to sequence functions: in
    (SAFETY 3) code, errors will be signalled in almost all cases if
    invalid sequence bounding indices are passed to functions defined
    by ANSI to operate on sequences.
  * fixed a bug in the build procedure: documentation of SBCL-specific
    packages is now preserved and available in the final Lisp image.
  * lifted FDEFINITION lookup out of loops in the implementation of
    many list operations.  (thanks to Robert E. Brown)
  * fixed a bug in the reader: the #n# reader macro now works for
    objects of type STANDARD-OBJECT.  (reported by Tony Martinez)
  * the compiler is now aware that SYMBOL-FUNCTION returns a FUNCTION
    and that READ-DELIMITED-LIST returns a LIST.  (thanks to Robert
    E. Brown and Tony Martinez respectively)
  * PCL is now smarter about SLOT-VALUE, (SETF SLOT-VALUE) and
    SLOT-BOUNDP: in particular, it is now able to optimize them much
    better, and is now not vulnerable to having packages renamed.
    Furthermore, a compliance bug has been fixed: SLOT-MISSING is now
    always called when a slot is not present in an instance.  (thanks
    to Gerd Moellmann)
  * fixed a bug related to CONCATENATED-STREAMs: PEEK-CHAR will no
    longer signal an error on unreading a character following EOF on
    the previous constituent stream.  (thanks to Tony Martinez)
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** ARRAY-IN-BOUNDS-P now allows arbitrary integers as arguments,
       not just nonnegative fixnums;
    ** the logical bit-array operators such as BIT-AND now accept an
       explicit NIL for their "opt-arg" argument (to indicate a
       freshly-consed result bit-array);
    ** ELT now signals an error on an invalid sequence index in safe
       code;
    ** the type system is now cleverer about negations of numeric
       types, and consequently understands the BIGNUM and RATIO types
       better;
    ** the type system is now cleverer about the interaction between
       INTEGER and RATIO types: while bugs still remain, many more
       cases are accurately computed;
    ** in TYPECASE, OTHERWISE now only introduces an otherwise-clause
       if it is in the last clause;
    ** CONSTANTLY now correctly returns a side-effect-free function in
       all cases;
    ** DECLARE is no longer treated as a special-operator; in
       particular, SPECIAL-OPERATOR-P no longer returns T for DECLARE;
  * incremented fasl file version number due to the change in the
    DEFSTRUCT-SLOT-DESCRIPTION structure.

sbcl_0_7_12

changes in sbcl-0.7.12 relative to sbcl-0.7.11:
  * minor incompatible change: code processed by the "interpreter" or
    EVAL now has a compilation optimization policy of (DEBUG 2)
    (changed from (DEBUG 1)) to improve debuggability of interactive
    development, and to allow the use of the debug RETURN command in
    such code.
  * an experimental implementation of the RETURN command for the
    debugger has been included.  (thanks to Frederik Kuivinen)
  * fixed bug 62: constraints were not propagated into a loop.
  * fixed bug in embedded calls of SORT (reported and investigated by
    Wolfgang Jenkner).
  * fixed some bugs revealed by Paul Dietz' test suite:
    ** printing and reading of arrays with some dimensions having
       length 0 (thanks to Gerd Moellmann);
    ** BOA constructor with &AUX argument without a default value does
       not cause a type error;
    ** CONSTANTP now returns true for all self-evaluating objects.

sbcl_0_7_11

changes in sbcl-0.7.11 relative to sbcl-0.7.10:
  * fixed bug 127: DEFSTRUCT now does not clobber old structure
    accessors that are related by inheritance, as specified in the
    :CONC-NAME section of the specification of DEFSTRUCT.  (thanks to
    Valtteri Vuorikoski)
  * The compiler is now able to inline functions that were defined in
    a complex lexical environment (e.g. inside a MACROLET).
  * fixed bug in DESCRIBE, which now works on rank-0 arrays.  (thanks
    to Lutz Euler)
  * Support for the upcoming FreeBSD-5.0 release has been included.
    (thanks to Dag-Erling Smorgrav)
  * fixed bug 219: DEFINE-COMPILER-MACRO no longer has compile-time
    effect when it is not in a toplevel context.
  * fixed bug 222: DEFMETHOD and SYMBOL-MACROLET interactions now
    stand a better chance of being correct.  (thanks to Gerd
    Moellmann)
  * fixed bug in COERCE, which now signals an error on coercing a
    rational to a bounded real type which excludes the expected
    answer.
  * The compiler is now able to derive types more accurately from the
    COERCE and COMPILE functions.
  * fixed bug 223: functional binding is considered to be constant
    only for symbols in the CL package.
  * fixed bug 231: SETQ did not check the type of a variable being set
    (reported by Robert E. Brown)
  * A new optimization for MAKE-INSTANCE has been included, fixing
    various bugs (including relating to :ALLOCATION :CLASS slots and
    :DEFAULT-INITARGS over-eager evalueation).  (thanks to Gerd
    Moellmann)
  * fixed some LOOP bugs revealed by Paul Dietz' test suite:
    ** As required by ANSI, LOOP now disallows anonymous collection
       clauses such as COLLECT I in conjunction with aggregate boolean
       clauses such as THEREIS (= I 1);
    ** LOOP now signals an error when any variable is reused in the
       same loop (including the potentially useful construct analogous
       to WITH A = 1 WITH A = (1+ A);
    ** IT is only a special loop symbol within the first clause of a
       conditional loop clause;
    ** LOOP with a typed iteration variable over a hashtable now
       signals a type error iff it should.
  * fixed some other bugs revealed by Paul Dietz' test suite:
    ** FILE-STREAM now names the class previously known as FD-STREAM;
    ** in DEFSTRUCT, a bare :CONC-NAME (or a :CONC-NAME with no
       argument) no longer signals an error;
    ** likewise in DEFSTRUCT, :CONC-NAME NIL now respects the package
       of the slot symbol, rather than using the current package
       ((:CONC-NAME "") continues to intern the slot's name in the
       current package);
  * incremented fasl file version number, because of the incompatible
    change to the DEFSTRUCT-DESCRIPTION structure, and again because
    of the new implementation of DEFINE-COMPILER-MACRO.

sbcl_0_7_10

changes in sbcl-0.7.10 relative to sbcl-0.7.9:
  * Support for building SBCL for MIPS platforms running in
    little-endian mode has now been checked in, and basic
    functionality on said platforms verified.
  * minor incompatible change: PCL now records the pathname of a file
    in which methods and the like are defined, rather than its
    truename.
  * minor incompatible change: TRUENAME now considers the truename of
    a file naming a directory to be the pathname with :DIRECTORY
    component indicating that directory.
  * minor incompatible change: a NAMED clause in the extended form of
    LOOP no longer causes a BLOCK named NIL to surround the LOOP.  The
    reason for the previous behaviour is unclear.
  * more systematization and improvement of CLOS and MOP conformance
    in PCL (thanks to Gerd Moellman and Pierre Mai):
    ** the standard ANSI CL generic function NO-NEXT-METHOD is now
       implemented;
    ** DEFINE-METHOD-COMBINATION no longer signals an error for
       primary methods with no specializers;
    ** the MOP generic function GENERIC-FUNCTION-DECLARATIONS is now
       implemented;
    ** the Readers for Class Metaobjects methods CLASS-DIRECT-SLOTS
       and CLASS-DIRECT-DEFAULT-INITARGS have been implemented for
       FORWARD-REFERENCED-CLASSes; error reporting on
       CLASS-DEFAULT-INITARGS, CLASS-PRECEDENCE-LIST and CLASS-SLOTS
       has been improved;
    ** SXHASH on CLOS instances now uses a slot internal to the
       instance to return different numbers on distinct instances,
       while preserving the same return value through invocations of
       CHANGE-CLASS;
    ** DEFMETHOD signals errors when methods with longer incongruent
       lambda lists are added to generic functions;
    ** COMPUTE-CLASS-PRECEDENCE-LIST now has a method specialized on
       CLASS, as specified in AMOP;
    ** COMPUTE-SLOTS :AROUND now assigns locations sequentially based
       on the order returned by the primary method for classes of
       class STANDARD-CLASS;
    ** DEFINE-METHOD-COMBINATION now works with the :ARGUMENTS option.
  * fixed some bugs shown by Paul Dietz' test suite:
    ** DOLIST puts its body in TAGBODY;
    ** SET-EXCLUSIVE-OR sends arguments to :TEST function in the
       correct order;
    ** MULTIPLE-VALUE-SETQ evaluates side-effectful places before
       value producing form;
    ** if more variables are given to PROGV than values, extra
       variables are bound and made to have no value;
    ** NSUBSTITUTE on list arguments gets the right answer with
       :FROM-END;
    ** ELT signals an error of type TYPE-ERROR when the index argument
       is not a valid sequence index;
    ** LOOP signals (at macroexpansion time) an error of type
       PROGRAM-ERROR when duplicate variable names are found;
    ** LOOP supports DOWNTO and ABOVE properly; (thanks to Matthew Danish)
    ** FUNCALL of special-operators now cause an error of type
       UNDEFINED-FUNCTION;
    ** PSETQ now works as required in the presence of side-effecting
       symbol-macro places;
    ** NCONC accepts any object as its last argument;
    ** :COUNT argument to sequence functions may be BIGNUM; (thanks to
       Gerd Moellman)
    ** loop-for-as-package does not require a package to be explicitely
       specified;
    ** LOOP WITH now treats NIL in the d-var-spec correctly as an
       ignored binding.
  * fixed bug 166: compiler preserves "there is a way to go"
    invariant when deleting code.
  * fixed bug 172: macro lambda lists with required arguments after
    &REST arguments now cause an error to be signalled.  (thanks to
    Matthew Danish)
  * fixed Entomotomy PEEK-CHAR-WRONGLY-ECHOS-TO-ECHO-STREAM
    bug. (thanks to Matthew Danish)
  * fixed bug 225: STRING-STREAM is now a class. (reported by Gilbert
    Baumann)
  * fixed bug 136: CALL-NEXT-METHOD no longer gets confused when
    arguments are lexically rebound. (thanks to Gerd Moellmann and
    Pierre Mai)
  * fixed bug 194: error messages are now more informative when there
    is no primary method applicable in a call to a generic
    function. (thanks to Gerd Moellmann)
  * fixed bug in command line argument checking (thanks to Julian
    Fondren)
  * fixed bug in COUNT-IF, making it handle :FROM-END correctly
    (thanks to Matthew Danish)
  * incremented fasl file version number, because of the
    SXHASH-related changes in the layout of CLOS data structures

sbcl_0_7_9

changes in sbcl-0.7.9 relative to sbcl-0.7.8:
  * minor incompatible change: The runtime (the Unix executable named
    "sbcl") is now much pickier about the .core files it will load.
    Essentially it now requires .core files to descend from the same
    build (not just the same sources or LISP-IMPLEMENTATION-VERSION)
    as the runtime does. (The intent is to prevent the crashes which
    can occur, and which can even be reported as mysterious failures,
    when people patch the sources or change the build parameters
    without changing LISP-IMPLEMENTATION-VERSION, then mix and match
    sbcl and .core files.)
  * fixed bug: VALUES-LIST is no longer optimized away.
  * fixed bug 142: The FFI conversion of C string values to Lisp
    string values no longer conses excessively. (thanks to Nathan
    Froyd porting Raymond Toy's fix to CMU CL)
  * began to systematize and improve MOP conformance in PCL (thanks to
    Nathan Froyd, Gerd Moellman and Pierre Mai):
    ** SLOT-DEFINITION-ALLOCATION now returns :CLASS, not the class
       itself;
    ** GENERIC-FUNCTION-ARGUMENT-PRECEDENCE-ORDER is now implemented;
    ** FINALIZE-INHERITANCE is now called on class finalization;
    ** DOCUMENTATION and (SETF DOCUMENTATION) now have the correct
       argument precedence order.
  * fixed bug 202: The compiler no longer fails on functions whose
    derived types contradict their declared type.
  * DEFMACRO is implemented via EVAL-WHEN instead of IR1 translation,
    so it can be non-toplevel.
  * The fasl file version number has changed (because of the new
    implementation of DEFMACRO).
  * (mostly) fixed bugs 46b and 46c: sequence functions now check, in
    safe code, that any length requirement by their type-specifier
    argument is valid.  The exceptions to this are described in bug
    213.
  * fixed bugs 46h and 46i: TWO-WAY- and CONCATENATED-STREAM creation
    functions now check the types of their inputs as required by ANSI.
  * fixed bug 48c: SYMBOL-MACROLET signals PROGRAM-ERROR when an
    introduced symbol is DECLAREd to be SPECIAL.
  * fixed reading of (COMPLEX DOUBLE-FLOAT) literals from fasl files
  * fixed bug: :COUNT argument to sequence functions may be negative
  * fixed bug: body of DO-SYMBOLS may contain declarations
  * fixed bug: PUSHNEW now evaluates its arguments from left to right
    (reported by Paul F. Dietz, fixed by Gerd Moellman)
  * fixed bug: PUSH, PUSHNEW and POP now evaluate a place given by a
    symbol macro only once
  * fixed printing of call frame when argument list is unavailable
  * fixed bug: :ALLOW-OTHER-KEYS is an allowed keyword name
  * compiler no longer signals WARNING on unknown keyword
    :ALLOW-OTHER-KEYS

sbcl_0_7_8

changes in sbcl-0.7.8 relative to sbcl-0.7.7:
  * A beta-quality port to the mips architecture running Linux,
    based on the old CMUCL backend, has been made.  It has been tested
    on a big-endian kernel, and works sufficiently well to be able to
    rebuild itself; it has not been tested in little-endian mode.
  * fixed an inconsistency between gencgc.c and purify.c which made
    dumping/loading .core files unreliable
  * fixed bug 120a: The compiler now deals correctly with IFs where
    the consequent is the same as the alternative, instead of
    misderiving the return type. (thanks to Alexey Dejneka)
  * fixed bug 113: Logical pathnames are now dumpable (the logical
    host is resolved at load-time, throwing an error if it is not
    found).
  * fixed bug 174: FORMAT's error message is slightly clearer when a
    non-printing character is used in a format directive.
  * fixed several bugs in compiler checking of type declarations, i.e.
    violations of the Python "declarations are assertions" principle
    (thanks to Alexey Dejneka)
  * fixed several bugs in PCL's error checking (thanks to Gerd
    Moellmann)
  * fixed bug: printing of FILE-ERROR (thanks to Antonio
    Martinez-Shotton)
  * fixed bug in compilation of functions as first class values
    (thanks to Antonio Martinez-Shotton)
  * The compiler's handling TYPE-ERRORs which it can prove will
    inevitably happen at runtime has been cleaned up and corrected
    in several ways. (thanks to Alexey Dejneka)
  * improved argument type checking for various basic arithmetic
    operations (MAX, +, LOGXOR, etc.) which have had so much TLC
    lavished on them in the past that they can be compiled in many
    ways in different special cases
  * fixed bug 181: compiler checks validity of user supplied type
    specifiers
  * cleaned up code flushing in optimization: Function calls which
    should signal errors for safety purposes (e.g. which ANSI says
    should signal errors when their arguments are of incorrect type)
    are no longer optimized away.
  * added new extension: SB-DEBUG:BACKTRACE-AS-LIST
  * incremented fasl file version number, because changes in the
    implementation of sequence functions like COERCE caused
    internal utility functions like COERCE-TO-SIMPLE-VECTOR (used
    in old inline expansions) to become undefined. (Actually these
    changes were later undone, so we might very well be binary
    compatible with 0.7.7 after all, but leaving the version number
    incremented seemed like the simplest and most conservative
    thing to do.)

sbcl_0_7_7

changes in sbcl-0.7.7 relative to sbcl-0.7.6:
  * An alpha-quality port to the parisc architecture running Linux,
    based on the old CMUCL backend, has been made.  This, even more so
    than the other backends, should be considered still a work in
    progress; known problems include that the Linux kernel in 64-bit
    mode does not propagate the correct sigcontext structure to
    userspace, and consequently SBCL on a parisc64 kernel will not
    work yet.
  * fixed bug 189: The compiler now respects NOTINLINE declarations for
    functions declared in FLET and LABELS. (I.e. "LET conversion" is
    suppressed.) Also now that the compiler is looking at declarations
    in the environment, it checks optimization declarations as well,
    and suppresses inlining when (> DEBUG SPEED).
  * More fixes have been made to treatment of floating point exception
    treatment and other Unix signals.  In particular, floating point
    exceptions no longer cause Bus errors on the SPARC/Linux platform.
  * The detection and handling of control stack exhaustion (infinite
    or very deeply nested recursion) has changed.  Stack exhaustion
    detection is now done by write-protecting pages at the OS level
    and applies at all optimization settings; when found, a
    SB-KERNEL:CONTROL-STACK-EXHAUSTED condition (subclass of
    STORAGE-CONDITION) is signalled, so stack exhaustion can no longer
    be caught using IGNORE-ERRORS.
  * Bugs 65, 70, and 109 fixed: The compiler now preserves invariants
    correctly when transforming recursive LABELS functions to LETs.
    (thanks to Alexey Dejneka)
  * Bug 48a./b. fixed: SYMBOL-MACROLET now refuses to bind symbols
    that are names of constants or global variables.
  * Bug fix: DEFINE-ALIEN-ROUTINE now declaims the correct FTYPE for
    alien routines with docstrings.
  * Bug 184 fixed: Division of ratios by the integer 0 now signals an
    error of type DIVISION-BY-ZERO. (thanks to Wolfhard Buss and
    Raymond Toy)
  * Bug fix: Errors in PARSE-INTEGER are now of type PARSE-ERROR.
    (thanks to Eric Marsden)
  * Bug fix: COERCE to (COMPLEX FLOAT) of rationals now returns an
    object of type (COMPLEX FLOAT). (thanks to Wolfhard Buss)
  * Bug fix: The SPARC backend can now compile functions involving
    LOGAND and stack-allocated arguments. (thanks to Raymond Toy)
  * Bug fix: We no longer segfault on passing a non-FILE-STREAM stream
    to a functions expecting a PATHNAME-DESIGNATOR.
  * Bug fix: DEFGENERIC now enforces the ANSI restrictions on its
    lambda lists. (thanks to Alexey Dejneka)
  * Bug fix: changed encoding of PCL's internal MAKE-INSTANCE
    functions so that EXPORTing the name of the class doesn't cause
    MAKE-INSTANCE functions from earlier DEFCLASSes to get lost (thanks
    to Antonio Martinez for reporting this)
  * Bug 192 fixed: The internal primitive DATA-VECTOR-REF can now be
    constant-folded without failing an assertion. (thanks to Einar
    Floystad Dorum for reporting this)
  * Bugs 123 and 165 fixed: array specializations on as-yet-undefined
    types are now dealt with more correctly by the compiler.
  * Minor incompatible change: COMPILE-FILE-PATHNAME now merges its
    OUTPUT-FILE argument with its INPUT-FILE argument, resulting in
    behaviour analogous to RENAME-FILE.  This puts its behaviour more
    in line with ANSI's wording on COMPILE-FILE-PATHNAME. (thanks to
    Marco Antinotti)
  * The fasl file version number has changed again. (because of the
    bug fix involving the names of PCL MAKE-INSTANCE functions)

gc.cleanup.branch.test1

gc_cleanup_branch_test1

sbcl_0_7_6

changes in sbcl-0.7.6 relative to sbcl-0.7.5:
  * bug fix: Floating point exceptions are treated much more
    consistently on the x86/Linux and PPC/Linux platforms.
  * Array initialization with :INITIAL-ELEMENT is now much faster for
    cases when the compiler cannot open code the array creation, but
    does know what the UPGRADED-ARRAY-ELEMENT-TYPE will be. General
    array accesses have also seen a speed increase.
  * bug fix: LOAD :IF-DOES-NOT-EXIST NIL now works when file type is
    specified. (This was at the root of some bad interactions between
    SBCL and ILISP: thanks to Gregory Wright for diagnosing this and
    reporting the bug.)
  * bug fix: Internal error arguments for undefined functions are now
    computed correctly on the PPC/Linux platform.
  * bug fix: Bad &REST syntax is now checked correctly. (thanks to
    Raymond Toy's patch for CMU CL)
  * Support for the Solaris 9 operating environment has been included
    (thanks to Daniel Merritt)
  * A very ugly but hopefully complete draft of the missing FFI chapter
    of the manual has been created by reformatting the corresponding
    CMU CL manual chapter into (currently very ugly and incoherent)
    DocBook and bringing it up to date for SBCL behavior. Thus, the
    manual is now essentially complete, at least by my extreme
    once-and-only-once standards, whereby it's acceptable to refer to
    the doc strings of SB-EXT functions as the primary documentation.
  * The fasl file version number has changed again, due to cleanup of
    (user-invisible) bitrotted stuff. (E.g. *!INITIAL-FDEFN-OBJECTS*
    is no longer a static symbol.)

sbcl_0_7_5

changes in sbcl-0.7.5 relative to sbcl-0.7.4:
  * SBCL now builds with OpenMCL (version 0.12) as the
    cross-compilation host; also, more progress has been made toward
    bootstrapping under CLISP.
  * SBCL now runs on the Tru64 (aka OSF/1) operating system on the
    Alpha architecture.
  * bug 158 fixed: The compiler can now deal with integer loop
    increments different from 1; fixing this turned out also to fix
    bug 164.
  * bug 169 fixed: no more bogus warnings about using lexical bindings
    despite the presence of perfectly good SPECIAL declarations (thanks
    to David Lichteblau)
  * bug 175 fixed: CHANGE-CLASS is now more ANSI-conforming,
    accepting initargs. (thanks to Espen Johnsen and Pierre Mai)
  * bug 179 fixed: DIRECTORY can now deal with filenames with pattern
    characters in them.
  * bug 180 fixed: Method combination specifications no longer ignore
    the :MOST-SPECIFIC-LAST option. (thanks to Pierre Mai)
  * bug fix: Structure type predicate functions now check their argument
    count as they should.
  * bug fix: Classes with :METACLASS STRUCTURE-CLASS now print
    correctly. (thanks to Pierre Mai)
  * minor incompatible change: The --noprogrammer option is deprecated
    in favor of the new --disable-debugger option, which is very similar.
    (The major difference is that it takes effect at a slightly different
    time at startup, causing handling of errors in --sysinit and
    --userinit files will be affected differently.) The
    SB-EXT:DISABLE-DEBUGGER and SB-EXT:ENABLE-DEBUGGER functions have
    been added to allow this functionality to be controlled from ordinary
    Lisp code. (ENABLE-DEBUGGER should help people like the Debian
    maintainers, who might want to run non-interactive scripts to
    build SBCL cores which will later be used interactively.)
  * minor incompatible change: The LOAD function no longer, when given
    a wild pathname to load, loads all files matching that pathname.
    Instead, an error of type FILE-ERROR is signalled.

sbcl_0_7_2

changes in sbcl-0.7.2 relative to sbcl-0.7.1:
  * incompatible change: The compiler is now less aggressive about
    tail call optimization, doing it only when (> SPACE DEBUG) or
    (> SPEED DEBUG). (This is an incompatible change because there are
    programs which relied on the old CMU-CL-style behavior to optimize
    away their unbounded recursion which will now die of stack overflow.)
  * minor incompatible change: The default BYTES-CONSED-BETWEEN-GCS
    for non-GENCGC systems has been increased to 20M (since that
    seems much closer to the likely performance optimum for modern
    systems than the old 4M value was)
  * minor incompatible change: new larger values for *DEBUG-PRINT-LENGTH*
    and *DEBUG-PRINT-LEVEL*
  * SBCL runs on SPARC systems now. (thanks to Christophe Rhodes' port
    of CMU CL's support for SPARC, and various endianness and other
    SBCL portability fixes due to Christophe Rhodes and Dan Barlow)
  * new syntactic sugar for the Unix command line: --load foo.bar is now
    an alternate notation for --eval '(load "foo.bar")'.
  * bug fixes:
    ** The system now detects stack overflow and handles it gracefully,
       at least for (OR (> SAFETY (MAX SPEED SPACE)) (= SAFETY 3))
       optimization settings. (This is a good thing in general, and
       its introduction in this version should be particularly timely
       for anyone whose code fails because of suppression of tail
       recursion!)
    ** The system now hunts for the C variable "environ" in a more
       devious way, to avoid segfaults when the C library version differs
       between compile time and run time. (thanks to Christophe Rhodes)
    ** INTEGER-valued CATCH tags now work. (thanks to Alexey Dejneka,
       and also to Christophe Rhodes for porting the fix to non-X86 CPUs)
    ** The compiler no longer issues bogus style warnings for undefined
       classes in the same source file as the DEFCLASSes which defined
       them. (thanks to Stig E Sandoe for reporting and Martin Atzmueller
       for fixing this)
    ** fixes in CONDITION class precedence list for undefined function
       errors (thanks to Alexei Dejneka)
    ** *DEFAULT-PATHNAME-DEFAULTS* is used more consistently and
       correctly. (thanks to Dan Barlow)
    ** portability fixes aiming at bootstrapping under CLISP (thanks
       to Dave McDonald and Christophe Rhodes)
    ** FORMAT fixes (thanks to Robert Strandh and Dan Barlow)
    ** fixes in type translation and and type inference (thanks to
       Christophe Rhodes)
    ** fixes to optimizer internal errors (thanks to Alexei Dejneka)
    ** various fixes in the new ports (thanks to Dan Barlow)
  * several changes related to debugging:
    ** suppression of tail recursion, as noted above
    ** stack overflow detection, as noted above
    ** The default implementation of TRACE has changed. :ENCAPSULATE T
       is now the default. (For some time encapsulation has been more
       reliable than the breakpoint-based :ENCAPSULATE NIL
       implementation, at least on X86 systems; and I just noticed that
       encapsulation also seems closer to the spirit of the ANSI
       specification.)

sbcl_0_7_1

changes in sbcl-0.7.1 relative to sbcl-0.7.0:
* mostly bug fixes:
  ** SB-ALIEN:LOAD-FOREIGN and SB-ALIEN:LOAD-1-FOREIGN are set
     up properly again. (There was a packaging bug in 0.7.0 which
     left their definitions in SB-SYS::LOAD-FOREIGN and
     SB-SYS::LOAD-1-FOREIGN. LOAD-FOREIGN and LOAD-1-FOREIGN are
     vital for most things which interface to C-level interfaces,
     like extensions working with sockets or databases or
     Perl-compatible regexes or whatever, and the need to fix
     this bug is the main reason that 0.7.1 was released so
     soon after 0.7.0.)
  ** DEFGENERIC is now choosier about the methods it redefines, so that
     reLOADing a previously-LOADed file containing DEFGENERICs does
     the right thing now. Thus, the Lispy edit/reLOAD-a-little/test
     cycle now works as it should. (thanks to Alexey Dejneka)
  ** Bug 106 (types (COMPLEX FOO) where FOO is an obscure type) was
     fixed by Christophe Rhodes. (He actually submitted this patch
     months ago, and I delayed until after 0.7.0.)
  ** Bug 111 (internal compiler confusion about runtime checks on
     FUNCTION types) was fixed by Alexey Dejneka.
* Some internal cleanups (getting rid of variables which aren't
  needed now that the byte interpreter is gone) caused the fasl
  file format number to change again.