X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=c142eb1b609825ac3affaef3af4662107631efea;hb=ae47ad0774edd8cb376772ae7e615428295f979e;hp=d6f00f4e5e98f4f51dbfb1194381e332d330812f;hpb=9d36021d86b7db7561b2edc40324c8e5229f88b3;p=sbcl.git diff --git a/NEWS b/NEWS index d6f00f4..c142eb1 100644 --- a/NEWS +++ b/NEWS @@ -1,3 +1,212 @@ +changes in sbcl-0.8.22 relative to sbcl-0.8.21: + * incompatible change: the --noprogrammer option, deprecated since + version 0.7.5, has been removed. Please use the equivalent + --disable-debugger option instead. + * incompatible change: finalizers and *AFTER-GC-HOOKS* are now run with + interrupts enabled. + * incompatible change: support for *BEFORE-GC-HOOKS* (that have been + inoperational for a while now) has been completely removed. + * null lexical environments are now printed as #, + significantly reducing the amount of clutter in typical backtraces. + * documentation on weak pointers, finalization, and after GC hooks + has been added to the manual. + * optimization: REPLACE on declared (UNSIGNED-BYTE 8) vectors, as well + as other specialized array types, is much faster. SUBSEQ and + COPY-SEQ on such arrays have also been sped up. + * optimization: EQL is now more efficient when at least other argument + is known to be of type (OR FIXNUM (NOT NUMBER)). + * fixed bug: the runtime is now less vulnerable to changes in the + size of the SBCL object on OS X, and virtual memory is reserved for + all spaces that need to be at a fixed address. + * fixed bug: finalizers are now thread-safe. (thanks to Gabor Mellis) + * fixed bug: finalizers and after GC hooks that cause consing are now + safe. + * fixed bug: compiler error messages and summaries are now printed to + *ERROR-OUTPUT*, not *STANDARD-OUTPUT*. + * fixed inference of the upper bound of an iteration variable. + (reported by Rajat Datta). + * fixed bug 211e: calling local functions with duplicated constant + keyword argument no longer causes a bogus style warning about an + unused variable. + * fixed bug 305: INLINE/NOTINLINE declaration no longer causes local + ftype declaration to be disregarded. (reported by Dave Roberts) + * fixed bug 373: caused by erronous compilation of references to alien + variables in the runtime on ppc/darwin. + * fixed bug 376: CONJUGATE type deriver. + * fixed infinite looping of ALIEN-FUNCALL, compiled with high DEBUG. + (reported by Baughn on #lisp) + * a cross-compiler bug on non-x86 platforms has been identified and + fixed. (thanks to Bruno Haible) + * improvements to the MIPS runtime code for increased stability. + (thanks to Thiemo Seufer) + * increased the maximimum compact environment size to allow + purify on images with large amounts of functions. (thanks to Cyrus Harmon) + * partial workaround for bug 135: don't name the function we're + calling for hairy cases of EVAL, so as not to accumulate one environment + entry per call to EVAL. (reported by Kevin Reid) + * improvements to the x86-64 disassembler. (thanks to Lutz Euler) + * optimization: type testing for non-vector arrays should be faster. + * fixed TRACE :ENCAPSULATE NIL, added support for :ENCAPSULATE NIL + on x86-64 + * bug fix: setting 31st element of a bit vector to zero did not work + on Alpha-32. + * bug fix: redefining a class definition which failed due to a + previous accessor / function clash now works (but see BUGS entry + #380 for more problems in this area). (thanks to Zach Beane) + * fixed some bugs related to Unicode integration: + ** the restarts for recovering from input and output encoding + errors only appear when there is in fact such an error to + handle. + * fixed some bugs revealed by Paul Dietz' test suite: + ** MISC.549 and similar: late transformation of unsafe type + assertions into derived types caused unexpected code + transformations. + ** SCALE-FLOAT type deriver is less wrong. + ** type derivers for EXP, LOG and similar functions compute result + types for complex arguments better. + ** (MISC.563) CONJUGATE type deriver works for very restricted + complex types. + ** out-of-line type testers for character strings are available. + ** EQUAL compiler transform understands specialness of objects + of type BIT-VECTOR. + ** accessing double-floats stored on the stack now works on x86-64. + ** debugger internals could sometimes create invalid lispobjs, + resulting in GC crashes. + ** MISC.548: type check weakening can convert required type into + optional. + ** initialization forms for bindings are not in scope of free special + declarations. + +changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20: + * incompatible change: thread support for non-NPTL systems has + been removed - locking is buggy and unreliable. A threaded + SBCL build will now warn at startup and refuse to create + new threads, unless futex support is detected in the kernel + * 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. + * The .fasl file format number has been incremented because of + various incompatible changes. + * 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. + ** attempting to create a package with a colliding nickname causes + correctable errors to be signalled. + ** MISC.572-574: :START1 and :START2 broken for simple-base-strings. + ** several x86-64 backend bugs related to sign-extension of immediate + operands. + +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 @@ -22,10 +231,17 @@ changes in sbcl-0.8.19 relative to sbcl-0.8.18: 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 @@ -38,6 +254,10 @@ changes in sbcl-0.8.19 relative to sbcl-0.8.18: * 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