X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=9d069f5be385d555bed58e87d33eda6b85d6c577;hb=40bf78b47ea89b15698adb9c550efa4cbacafeb7;hp=ee200eef84b75a7eaf7164bc706b15ad3b8f1e05;hpb=1e08b23e730c7a1c9cda1b918e9fdca38b8c4e17;p=sbcl.git diff --git a/NEWS b/NEWS index ee200ee..9d069f5 100644 --- a/NEWS +++ b/NEWS @@ -1436,11 +1436,11 @@ changes in sbcl-0.7.11 relative to sbcl-0.7.10: 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 + * 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. + * 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. @@ -1450,17 +1450,17 @@ changes in sbcl-0.7.11 relative to sbcl-0.7.10: * 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 + * 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 + * 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 more bugs revealed by Paul Dietz' test suite: + * 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); @@ -1469,6 +1469,9 @@ changes in sbcl-0.7.11 relative to sbcl-0.7.10: 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; @@ -1476,12 +1479,121 @@ changes in sbcl-0.7.11 relative to sbcl-0.7.10: of the slot symbol, rather than using the current package ((:CONC-NAME "") continues to intern the slot's name in the current package); - ** LOOP with a typed iteration variable over a hashtable now - signals a type error iff it should; * 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. +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. + +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. + +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) + planned incompatible changes in 0.7.x: * (not done yet, but planned:) When the profiling interface settles down, maybe in 0.7.x, maybe later, it might impact TRACE. They both