X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=46a9a7e9de74c240305369653f243a5a7d8f6082;hb=a3649ba68e298d9203e8bb1de5629ff788586fe1;hp=9e1bcd6feb3e282cd333b79607357bf3d227c92e;hpb=ed2e811980a924df922505d6cc52fef8c76d85b5;p=sbcl.git diff --git a/NEWS b/NEWS index 9e1bcd6..46a9a7e 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,226 @@ +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 @@ -16,8 +239,29 @@ changes in sbcl-0.8.17 relative to sbcl-0.8.16: * 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, @@ -36,8 +280,14 @@ changes in sbcl-0.8.17 relative to sbcl-0.8.16: * 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. @@ -47,6 +297,15 @@ changes in sbcl-0.8.17 relative to sbcl-0.8.16: ** 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