X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=4d647ab9f09af094780d08a67dfa9015ae23ba10;hb=b9e94e326f79ab01e56cb437e424ce5ea489471f;hp=1bb190da59d7e62c6afc10e3d86a01ad90be3e9d;hpb=5a0fd10d9995460c34c0cfb509b97d1cc931932b;p=sbcl.git diff --git a/NEWS b/NEWS index 1bb190d..4d647ab 100644 --- a/NEWS +++ b/NEWS @@ -1,21 +1,236 @@ ;;;; -*- coding: utf-8; -*- +changes in sbcl-0.9.18 (1.0.beta?) relative to sbcl-0.9.16: + * bug fix: two potential GC deadlocks affecting threaded builds. + * bug fix: (TYPEP #\A '(NOT (MEMBER #\" #\{ #\:))) now correctly + returns T (reported by Anton Kazennikov) + * bug fix: the STORE-VALUE restart of CHECK-TYPE works correctly + with non-variable places + * bug fix: remove a race condition in the setting of + funcallable-instance functions, this should make threaded CLOS + code more stable against memory faults. + * improvement: the debugger will now also display local variables that + are only used once, for code compiled with a DEBUG optimization quality + of 2 or higher. + +changes in sbcl-0.9.17 (0.9.99?) relative to sbcl-0.9.16: + * feature: weak hash tables, see MAKE-HASH-TABLE documentation + * incompatible change: External-format support for FFI calls. The + SB-ALIEN:C-STRING no longer implies an ASCII + external-format. Instead the string is subject to external-format + conversion. Additionally return values of type SB-ALIEN:C-STRING + are by default of type (SIMPLE-ARRAY CHARACTER), not + SIMPLE-BASE-STRING. For an alien type that behaves like the old + SB-ALIEN:C-STRING type, use (SB-ALIEN:C-STRING :EXTERNAL-FORMAT + :ASCII :ELEMENT-TYPE BASE-CHAR). (thanks to Yaroslav Kavenchuk) + * incompatible change: SB-EXT package no longer contains the + following unused symbols: *GC-NOTIFY-AFTER*, *GC-NOTIFY-BEFORE*, + *GC-NOTIFY-STREAM*, *ERROR-PRINT-LENGTH*, *ERROR-PRINT-LEVEL*, + *ERROR-PRINT-LINES* + * incompatible change: the single-stepper is no longer available + on Alpha, Mips and Sparc platforms. + * minor incompatible change: the direct superclasses of + SB-MOP:FUNCALLABLE-STANDARD-OBJECT are (FUNCTION STANDARD-OBJECT), + not (STANDARD-OBJECT FUNCTION). This makes the + class-precedence-lists of GENERIC-FUNCTION and + STANDARD-GENERIC-FUNCTION comply with the requirement of ANSI + 1.4.4.5. + * minor incompatible change: the default stream external format on + non-unicode SBCL is no longer detected from the locale, but is always + ISO-8859-1 + * new feature: Add a version of evaluator that uses an interpreter instead + of the compiler. EVAL still uses the compiler by default, to switch it + to use the interpreter, set the value of the variable + SB-EXT:*EVALUATOR-MODE* to :INTERPRET. + * minor incompatible change: the single-stepper REPL has been merged + with the normal debugger (see the "Stepping" heading of the debugger help + for more details). The debugger command STEP will no longer switch + to the single-stepper REPL. + * bug fix: ENOUGH-NAMESTRING on pathnames with no name and a pattern + for a type now works. + * bug fix: loading of default sysinit file works. (thanks to Leonid + Slobodov) + * bug fix: better detection of circularities in the file-compiler. + (reported by Marco Monteiro) + * bug fix: the CL pathname functions now work with files that have + non-ASCII characters in their names (thanks to Yaroslav Kavenchuk) + * bug fix: The :PTY argument for RUN-PROGRAM will now work on + systems with Unix98 pty semantics. + * bug fix: ASDF-INSTALL will now work with bsd tar. + * bug fix: ASDF-INSTALL uses GNU tar on Solaris (thanks to Josip + Gracin). + * bug fix: timers expiring in dead threads no longer cause a + type-error (reported by Paul "Nonny Mouse"). + * bug fix: thanks to more lightweight single-stepper instrumentation, + code compiled with (DEBUG 3) will compile and execute significantly faster, + and will have more accurate type-inferencing than before + * bug fix: SLOT-VALUE optimizations are no longer done on method parameters + whose bindings are modified + * improvements to the win32 port (thanks to Yaroslav Kavenchuk): + ** bug fix: arguments to RUN-PROGRAM are escaped correctly + ** replace dummy implementations of CL:MACHINE-INSTANCE and + CL:SOFTWARE-VERSION with proper version + +changes in sbcl-0.9.16 relative to sbcl-0.9.15: + * feature: implemented the READER-METHOD-CLASS and + WRITER-METHOD-CLASS portion of the Class Initialization Protocol + as specified by AMOP. + * incompatible change: variable SB-EXT:*USE-IMPLEMENTATION-TYPES* + no longer exists. + * optimization: faster LOGCOUNT implementation on x86 and x86-64 + (thanks to Lutz Euler) + * optimization: hashing of general arrays and vectors has been + improved. (reported by Any Fingerhut) + * enhancement: SB-INTROSPECT is now able to find definitions of + profiled functions. (thanks to Troels Henriksen) + * enhancement: compiler-macro expansion applies now to FUNCALL forms + as well, allowing compiler-macros for SETF-functions to expand. + * enhancement: step-instrumentation no longer wraps known + single-value functions with multiple-value context, allowing + better type inference. + * fixed bug #337: use of MAKE-METHOD in method combination now works + even in the presence of user-defined method classes. (reported by + Bruno Haible and Pascal Costanza) + * fixed bug #339(c): if there are applicable methods not part of any + long-form method-combination group, call INVALID-METHOD-ERROR. + (reported by Bruno Haible) + * fixed bug #361: the :FUNCTION initarg in the protocol for + initialization of methods can now be used to override + internally-produced optimized functions. (reported by Bruno + Haible) + * bug fix: extensions of MAKE-METHOD-LAMBDA which wrap the + system-provided lambda expression no longer cause warnings about + unbound #:|pv-table| symbols. + * bug fix: improved the handling of type declarations and the + detection of violations for keyword arguments with non-constant + defaults. + * bug fix: potentially erronous calls to PATHNAME and + MERGE-PATHNAMES were being flushed in some cases. + (reported by Richard Kreuter) + * bug fix: compiled calls to TYPEP were mishandling obsolete + instances. (reported by James Bielman and Attila Lendvai) + * bug fix: format strings with ~> without matching ~< no longer + trigger an AVER, but signal an understandable error instead. + (reported by Antonio Martinez) + * bug fix: specifying an output-file without a pathname-type for + COMPILE-FILE or COMPILE-FILE-PATHNAME resulted in using the type + of input-file instead of "fasl". (reported by Robert Dodier) + * bug fix: compiler-macro lambda-list parsing of FUNCALL forms. + (reported by James Y Knight). + * bug fix: compiler-macros-function did not consider the environment + argument for shadowing by local functions. + * bug fix: compiler-macros expansion was inhibited by local INLINE + declarations. + * bug fix: inline expansions of known functions were subject to + step-instrumentation in high debug policies, leading to problems + with type-inference. + * bug fix: compiler failed to differentiate between different CONS + types in some cases. + * bug fix: fixed input, output and error redirection in RUN-PROGRAM + for win32. (thanks to Mike Thomas and Yaroslav Kavenchuk) + * bug fix: #368: incorrect use of expressed vs. upgraded array + element type. + * bug fix: #306a: more precise unions of array types. + * thread-safety improvements: + ** CONDITION-WAIT could return early on Linux, if the thread was + interrupted and subsequently continued with SIGCONT. + ** STABLE-SORT and ADJUST-ARRAY were not reentrant. + +changes in sbcl-0.9.15 relative to sbcl-0.9.14: + * added support for the ucs-2 external format. (contributed by Ivan + Boldyrev) + * minor incompatible change: pretty printing of objects of type + (cons symbol) is, in the default pprint-dispatch-table, now + sensitive to whether the symbol satisfies FBOUNDP. (thanks to + Marcus Pearce) + * minor incompatible change: SB-MOP:FINALIZE-INHERITANCE is now + called later in a class's lifetime, possibly as late as when the + first instance of the class is created. Previously, + SB-MOP:FINALIZE-INHERITANCE was called by the system as soon as a + class became finalizeable. + * fixed bug: FILE-POSITION sometimes returned inconsistent results + for multibyte external-format streams. (thanks to "vbzoli") + * fixed bug: CHANGE-CLASS would fail to preserve the values of slots + with :ALLOCATION :CLASS inherited from superclasses of the + original class. + * fixed bug: anonymous classes can now be created using the :NAME + initarg and MAKE-INSTANCE / REINITIALIZE-INSTANCE, as specified by + AMOP. (reported by Leonid Slobodov on comp.lang.lisp) + * fixed bug: core-files saved with :EXECUTABLE T can again be + executed when SBCL_HOME isn't set. (reported by James Knight) + * fixed bug: toplevel LOCALLY forms with declarations could + occasionally get miscompiled. (reported by Yaroslav Kavenchuk) + * fixed bug: printing from several different threads using different + values of *print-case* could cause invalid output, due to + some internal special variables of the printer not being bound + thread-locally (reported by Max Mikhanosha) + * fixed bug: SPECIALIZER metaobjects (including anonymous classes + and EQL-SPECIALIZERs) can be used as specializers to DEFMETHOD. + (reported by Pascal Costanza) + * fixed bug: FINALIZE-INHERITANCE is called from + REINITIALIZE-INSTANCE on classes when the class has previously + been finalized, as required by AMOP. + * minor code generation optimizations: + ** better register allocation in CLOS dispatching functions + ** overflow detection when coercing signed bytes to fixnums on x86-64 + ** is now implemented with one IMUL instruction instead of three shifts + ** more efficient bit-vector access on x86 and x86-64 + ** more efficient access to raw structure slots on x86 and x86-64 + * fixed some bugs revealed by Paul Dietz' test suite: + ** ENSURE-DIRECTORIES-EXIST.8: ENSURE-DIRECTORIES-EXIST must + return its argument. + changes in sbcl-0.9.14 relative to sbcl-0.9.13: + * feature: thread support on Solaris/x86, and experimental thread support + on OS X/x86. + * feature: SBCL now tries to signal a STORAGE-CONDITION when running out + of heap. + * feature: SBCL now provides USE-VALUE and STORE-VALUE restarts in the + default method for SLOT-UNBOUND. * minor incompatible change: prevent the user from specializing the new-value argument to SB-MOP:SLOT-VALUE-USING-CLASS. It's somewhat counter to the intent of the protocol, I (CSR) think, and additionally it just doesn't work in SBCL as currently implemented, thanks to optimizations (that are always valid for the other three SLOT-VALUEish functions, but not for the setter). + * minor incompatible change: the :SB-LDB feature is now enabled by + default, and DISABLE-DEBUGGER and ENABLE-DEBUGGER also affect + the low-level debugger. + * enchancement: RUN-PROGRAM is now able to extract the file-descriptor + from SYNONYM-STREAM and TWO-WAY-STEAMS provided they can be decomposed + down to an SB-SYS:FD-STREAM, allowing direct communication in + more cases. Temporary files and pipes are still used as a fallback + strategy. + * thread-safety: DECODE-UNIVERSAL-TIME & GET-DECODED-TIME depended + on the non-reentrant C functions localtime(3) and gmtime(3). + * bug fix: global optimization policy was not visible in LOCALLY and + MACROLET forms. + * bug fix: class objects can be used as specializers in methods. + (reported by Pascal Costanza) + * bug fix: native unparsing of pathnames with :DIRECTORY NIL failed + with a type error. (reported by blitz_ on #lisp) * bug fix: unparsing logical pathnames with :NAME :WILD :TYPE NIL failed with a type error. (reported by Pascal Bourguignon) * bug fix: merging pathnames against defaults with :DIRECTORY starting with '(:RELATIVE :BACK) should preserve the :BACK. (reported by James Y Knight) - * improved SB-BSD-SOCKETS support on Windows. (thanks to Timothy - Ritchey) + * bug fix: saving large (>2GB) cores on x86-64 now works + * bug fix: a x86-64 backend bug when compiling (setf aref) with a + constant index and a (simple-array (signed-byte 32)) array + * bug fix: NAME-CHAR on an invalid symbol no longer signals an + error (patch by Robert J. Macomber) + * feature: TIME now displays the amount of run-time spent in GC + * bug fix: The debugger now does a better job of respecting + (PUSH '(*PRINT-CIRCLE* . T) SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST*) + when printing SB-DEBUG:*DEBUG-CONDITION*. (This is a debugger-only + workaround for bug 403.) + * bug fix: floating point exception handling now works on FreeBSD + (thanks to NIIMI Satoshi) * fixed some bugs revealed by Paul Dietz' test suite: ** MISC.641: LET-conversion were not supposed to work in late compilation stages. + * improvements to the Win32/x86 port: + ** GET-INTERNAL-RUN-TIME implemented, thanks to Frank Buss. + ** improved SB-BSD-SOCKETS support, thanks to Timothy Ritchey. changes in sbcl-0.9.13 relative to sbcl-0.9.12: * new feature: source path information is generated for macro-expansion @@ -27,6 +242,8 @@ changes in sbcl-0.9.13 relative to sbcl-0.9.12: faster * optimization: added a limited bytecode compiler for simple toplevel forms, speeding up compilation and FASL loading + * bug fix: the statistical profiler now properly distinguishes anonymous + functions changes in sbcl-0.9.12 relative to sbcl-0.9.11: * minor incompatible change: in sbcl-0.9.11 (but not earlier