- * 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)
+ ** 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.
+
+changes in sbcl-0.7.14 relative to sbcl-0.7.13:
+ * 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;
+ * 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)