X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=096f1e938184acf5856733815ca082a05d6e3785;hb=203b88cf40ed2e15ec0f36dc53ad188b091d9ab2;hp=514169999c0e850ace4d616ee10c58b096329860;hpb=5423b2e0f7e7643001ed3ef2f66681c0114a72a6;p=sbcl.git diff --git a/NEWS b/NEWS index 5141699..096f1e9 100644 --- a/NEWS +++ b/NEWS @@ -1,10 +1,220 @@ ;;;; -*- coding: utf-8; -*- + * new feature: ARRAY-STORAGE-VECTOR provides access to the underlying + data vector of an multidimensional SIMPLE-ARRAY. + * new feature: the system now signals a continuable error if standard + readtable modification is attempted. + * optimization: faster generic arithmetic dispatch on x86 and x86-64. + * bug fix: lexical type declarations are now correctly reported by + SB-CLTL2. (reported by Larry D'Anna) + * bug fix: STRING-TO-OCTETS did not handle :START properly when + using UTF-8 as external format. (thanks to Luis Oliveira) + * bug fix: errors from invalid fill-pointer values to (SETF FILL-POINTER) + are signalled correctly. (thanks to Stas Boukarev) + * bug fix: SET-MACRO-CHARACTER accepts NIL as the readtable + designator. (thanks to Tobias Rittweiler) + * bug fix: SET-DISPATCH-MACRO-CHARACTER accepts NIL as the readtable + designator, and returns T instead of the function. (thanks to + Tobias Rittweiler) + * bug fix: direct superclasses of STANDARD-CLASS and + FUNCALLABLE-STANDARD-CLASS now default to STANDARD-OBJECT and + FUNCALLABLE-STANDARD-OBJECT as required by AMOP. + * bug fix: compiling a call to SLOT-VALUE with a constant slot-name + when no class with the named slot yet exists no longer causes a + compile-time style-warning. + +changes in sbcl-1.0.23 relative to 1.0.22: + * enhancement: when disassembling method functions, disassembly + for the associated fast function is also produced. + * enhancement: system stores DEFTYPE lambda-lists, so DESCRIBE can + report them. + * optimization: printing with *PRINT-PRETTY* true is now more + efficient as long as the object being printed doesn't require + special handling by the pretty printer. + * bug fix: slot symbol-macros from WITH-SLOTS inside DEFMETHOD bodies + now interact correctly with type declarations. + * partial bug fix: PCL detects infinite recursion during wrapper + validation. (thanks to Attila Lendvai) + * bug fix: #426; nested function calls are inlined properly. + Previously if FOO was an inline function, in calls of the form + (FOO (FOO ...)) the outer call was not inlined. + * bug fix: long long arguments passed in registers to alien + functions on PowerPC Linux and NetBSD are now handled correctly + when preceded by SYSTEM-AREA-POINTERs. (reported by Josh Elsasser) + +changes in sbcl-1.0.22 relative to 1.0.21: + * minor incompatible change: LOAD-SHARED-OBJECT no longer by default looks + for the shared object in the current directory, but passes the native + namestring of the designated pathname to the operation system's shared + object loading function as-it. + * minor incompatible change: --disable-debugger toplevel option now takes + effect before processing of initialization files and --eval or --load + options. + * new feature: new commandline argument: --script, which supports + shebang lines. See documentation for details. (based on work by + Kevin Reid) + * new feature: SAVE-LISP-AND-DIE can save current values of + --dynamic-space-size and --control-stack-size in the executable core, + causing it to skip normal runtime option processing. See documentation + for details. (thanks to Zach Beane) + * enhancement: inoccous calls to EVAL or generic functions dispatching + on subclasses of eg. STREAM no longer cause compiler notes to appear. + * enhancement: the system no longer resignals errors from --load and + --eval toplevel arguments as SIMPLE-ERRORS, which caused restarts + associated with the original error to be lost. (thanks to Ariel + Badichi) + * enhancement: :DONT-SAVE keyword argument has been added to + LOAD-SHARED-OBJECT for controlling interaction with + SAVE-LISP-AND-DIE, and UNLOAD-SHARED-OBJECT can be used to undo + the effects of an earlier LOAD-SHARED-OBJECT call. + * bug fix: ADJUST-ARRAY on multidimensional arrays used bogusly give + them a fill pointer unless :DISPLACED-TO or :INITIAL-CONTENTS were + provided. (reported by Cedric St-Jean) + * bug fix: circularity handling in the reader did not treat raw + structure slots correctly. (reported by Cedric St-Jean) + * bug fix: SERVE-EVENT occasionally signaled an error about bogus + file descriptors when there were none. + * bug fix: DEFINE-COMPILER-MACRO support of destructuring lambda-lists + was broken. (reporteed by Willem Broekema) + * bug fix: SB-EXT:NATIVE-NAMESTRING on Windows did not work on + pathnames without a directory. + * bug fix: COMPILE-FILE did not warn about undefined variable + references at toplevel, and LOAD of the resulting fasl did + not signal an error. + * bug fix: functions with non-required arguments used to end up with + (SB-C::&OPTIONAL-DISPATCH ...) as their name. + * bug fix: redefining a function with non-required arguments didn't + update the system's knowledge about its call signature properly. + * bug fix: fixed #431; incompatible alien record type redefinitions + are detected and handled. (reported by Neil Haven) + * bug fix: using RESTRICT-COMPILER-POLICY with DEBUG 3 could cause + PROGV miscompilation. (reported by Matthias Benkard, patch by Juho + Snellman) + * bug fix: on x86 and x86-64 backtraces were sometimes truncated + after alien stack frames. + * bug fix: strings passed to mk{s,d}temp lacked null termination + +changes in sbcl-1.0.21 relative to 1.0.20: + * new feature: the compiler is able to track the effective type of a + generic function across method addition and removal. + * new feature: SB-EXT:ATOMIC-INCF allows atomic incrementation of + appropriately typed structure slots without locking. + * new feature: SB-EXT:CALL-WITH-TIMING provides access to timing + information like those gathered by TIME using a programming-friendly + interface. + * new feature: TIME reports time taken even if the form performs a + non-local transfer of control. + * enhancement: reduced conservativism on GENCGC platforms: on + average 45% less pages pinned (measured from SBCL self build). + * bug fix: SB-EXT:COMPARE-AND-SWAP on SYMBOL-VALUE can no longer + mutate constant symbols or violate declaimed type of the symbol. + * bug fix: SB-THREAD:SIGNAL-SEMAPHORE could fail to wakeup threads + sleeping on the semaphore in heavily contested semaphores. + * bug fix: semaphores and condition variables were not interrupt + safe. + * bug fix: SB-THREAD:CONDITION-WAIT doesn't allow waits on mutexes + owned by other threads anymore. + * bug fix: FIND on lists called KEY outside the specified + subsequence. (reported by budden) + * bug fix: LOG doesn't use single-float intermediate results when + given mixed integer and double-float arguments, leading to better + precision. (reported by Bob Felts) + * bug fix: LOG with base zero returned values of inconsistent type. + +changes in sbcl-1.0.20 relative to 1.0.19: + * minor incompatible change: OPTIMIZE qualities + SB-C::STACK-ALLOCATE-DYNAMIC-EXTENT, SB-C::STACK-ALLOCATE-VECTOR, + and SB-C::STACK-ALLOCATE-VALUE-CELLS no longer exist. See documentation + and SB-EXT:*STACK-ALLOCATE-DYNAMIC-EXTENT* for details. + * documentation: some slot access efficiency guidelines have been + added to the user manual. + * optimization: ASSOC-IF, ASSOC-IF-NOT, MEMBER-IF, MEMBER-IF-NOT, + RASSOC, RASSOC-IF, and RASSOC-IF-NOT are now equally efficient + as ASSOC and MEMEBER. + * optimization: calls to ASSOC, MEMBER, and RASSOC can be transformed + to more efficient EQ-comparison versions more often. + * optimization: enhanced derivation of DOLIST iteration variable type + for constant lists. + * optimization: constant folding of simple (LIST ...) forms as DOLIST + arguments. + * optimization: runtime lookup of function definitions can be + elided in more cases, eg: (let ((x 'foo)) (funcall foo)). + * optimization: compiler is able to derive the return type of + (AREF (THE STRING X) Y) as being CHARACTER. + * optimization: CLRHASH on empty hash-tables no longer does pointless + work. (thanks to Alec Berryman) + * optimization: REPLACE deftransforms don't punt when :START1 or + :START2 is given + * bug fix: compiling DESTRUCTURING-BIND on constant list arguments + no longer emits a code deletion note. (reported by Andrew + Gasparovic) + * bug fix: bogus odd-number-of-keywords STYLE-WARNINGs from calls to + functions with an odd number of &OPTIONAL arguments, a &REST + argument, and one or more &KEY arguments at the call site. + * bug fix: STYLE-WARNINGs for functions with both &OPTIONAL and &KEY + arguments appeared at call sites as well. + * bug fix: fixed #425; CLOSE drops input buffers from streams, so + READ-LINE &co can no longer read from them afterwards. (reported + by Damien Cassou) + * bug fix: fixed #427: unused local aliens no longer cause compiler + breakage. (reported by Stelian Ionescu, Andy Hefner and Stanislaw + Halik) + * bug fix: non-local exit from a WITH-ALIEN form no longer causes + alien-stack leakage. (reported by Andy Hefner) + * bug fix: PROGV signals an error when an attempt to violate declared + type of a variable or bind a constant is made. + * bug fix: SET signals an error when an attempt to violate declared + type of a variable is made. + * bug fix: restart computation during the execution of a restart + test function no longer causes infinite recursion. (reported by + Michael Weber) + * bug fix: calling SB-COVER:REPORT with a non-directory pathname now + signals an error. (thanks to Pierre Mai) + * bug fix: EXPORT left symbol unexported in conflict situations. + (thanks to Michael Weber) + * bug fix: correctly handle name conflicts involving CL:NIL. + (thanks to Michael Weber) + * bug fix: RESOLVE-CONFLICT restart for name conflicts handles + conflicts arising from USEing package with conflicting symbols + correctly. (thanks to Michael Weber) + +changes in sbcl-1.0.19 relative to 1.0.18: + * new feature: user-customizable variable SB-EXT:*MUFFLED-WARNINGS*; + warnings that go otherwise unhandled will be muffled if they are + of the type that's the value of this variable. + * optimization: stack allocation is slightly more efficient on x86 + and x86-64. + * bug fix: DEFSTRUCT forms with user-specified :CONSTRUCTOR options, + where a raw slot always is initialized using the initform whose + type is not know sufficiently well a compile-time are now compiled + correctly. (reported by John Morrison) + * bug fix: compiler no longer makes erronous assumptions in the + presense of non-foldable SATISFIES types. + * bug fix: stack analysis missed cleanups of dynamic-extent + arguments in non-let-converted calls to local functions. + * improvements to the Windows port: + ** adjusted address spaces for building on both Win32 and + Win64. (thanks for John Connors) + * fixed some bugs revealed by Paul Dietz' test suite: + ** interval arithmetic during type derivation used inexact integer + to single-float coercions. + ** arithmetic operations involving large integers and single + floats give the same results in compiled and interpreted code. + ** deriving the result type of COERCE no longer signals an error + if the derived type of the second argument is a MEMBER type + containing invalid type specifiers. + ** ADJOIN with constant NIL as second argument works correctly. + ** FUNCTION-KEYWORDS was called SB-PCL::FUNCTION-KEYWORD-PARAMETERS. + changes in sbcl-1.0.18 relative to 1.0.17: * minor incompatible change: SB-SPROF:WITH-PROFILING now by default profiles only the current thread. + * minor incompatible change: changes to SYMBOL-VALUE of constants + defined with DEFCONSTANT now signal an error. * enhancement: SB-SPROF now has support for wallclock profiling, and is also able to profile specific threads. REPORT output has also additional sorting options. + * enhancement: better pretty-printing of DEFPACKAGE forms. (Thanks + to Michael Weber) * optimization: structure allocation has been improved ** constructors created by non-toplevel DEFSTRUCTs are ~40% faster. ** out of line constructors are ~10% faster. @@ -14,11 +224,31 @@ changes in sbcl-1.0.18 relative to 1.0.17: as well.) * optimization: simple uses of HANDLER-CASE and HANDLER-BIND no longer cons. + * optimization: file compiler is now able to coalesce non-circular + lists, non-base strings, and bit-vectors. Additionally, constants + are never referenced through SYMBOL-VALUE at runtime. + * optimization: code defining methods on PRINT-OBJECT (and other + generic functions in the COMMON-LISP package) now loads faster. * bug fix: EAI_NODATA is deprecated since RFC 3493. Stop using it in sb-bsd-sockets. + * bug fix: if COMPILE-FILE aborts due to an unwind, the partial + fasl is now deleted. (reported by Attila Lendvai) + * bug fix: READ-LINE always returned NIL for the last line in files. + (reported by Yoshinori Tahara) + * bug fix: more accurate disassembly annotations of foreign function + calls. (thanks to Andy Hefner) + * bug fix: trimming non-simple strings and non-string string + designators when the there is nothing to trim works properly. + (thanks to James Knight) + * new feature: SB-POSIX bindings for mlockall, munlockall, and setsid. + (thanks to Travis Cross) * fixed some bugs revealed by Paul Dietz' test suite: ** NIL is a valid function name (regression at 1.0.13.38) ** FILL on lists was missing its return value (regression at 1.0.12.27) + ** STRING-TRIM, STRING-LEFT-TRIM, and STRING-RIGHT-TRIM did not respect + fill pointers properly (regression at 1.0.12.23) + ** STRING-TRIM, STRING-LEFT-TRIM, and STRING-RIGHT-TRIM did not respect + displacement indices properly (regression at 1.0.12.23) changes in sbcl-1.0.17 relative to 1.0.16: * temporary regression: user code can no longer allocate closure @@ -73,7 +303,7 @@ changes in sbcl-1.0.16 relative to 1.0.15: * minor incompatible change: SB-BSD-SOCKETS:NAME-SERVICE-ERROR now inherits from ERROR instead of just CONDITION. * new feature: SB-INTROSPECT can provide source locations for instances - as well. (thanks to Tobian Ritterweiler) + as well. (thanks to Tobias Rittweiler) * optimization: binding special variables now generates smaller code on threaded platforms. * optimization: MEMBER and ASSOC are over 50% faster for :TEST #'EQ