X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=9afc309bfbe0273b34fe309828244b97be79ffb3;hb=3bb8f5292debbe26d0e62685e6d5af81d6e4fb98;hp=1c3a7af1b38f5c20e875a51fcd75055444856fff;hpb=30c596bd5ca6305812598f42ae408b60a4c5f5c5;p=sbcl.git diff --git a/NEWS b/NEWS index 1c3a7af..9afc309 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,104 @@ ;;;; -*- coding: utf-8; fill-column: 78 -*- +changes relative to sbcl-1.0.31 + * optimization: faster FIND and POSITION on strings of unknown element type + in high SPEED policies. (thanks to Karol Swietlicki) + * optimization: faster CONCATENATE 'STRING in low SPEED policies (reported + by David Vázquez) + * improvement: better error signalling for bogus parameter specializer names + in DEFMETHOD forms (reported by Pluijzer) + * bug fix: SAVE-LISP-AND-DIE option :SAVE-RUNTIME-OPTIONS did not work + correctly when starting from an executable core without saved runtime + options (reported by Faré Rideau, thanks to Zach Beane) + * bug fix: (SETF SLOT-VALUE) signalled a warning which should have been + an optimization note instead. (reported by Martin Cracauer) + * bug fix: WITH-SLOTS did not work with THE forms. (thanks to David Tolpin) + +changes in sbcl-1.0.31 relative to sbcl-1.0.30: + * improvement: stack allocation is should now be possible in all nested + inlining cases: failure to stack allocate when equivalent code is manually + open coded is now considered a bug. + * improvements related to Unicode: + ** the Unicode character database has been upgraded to the + Unicode 5.1 standard, giving names and properties to a number of new + characters, and providing a few extra characters with case + transformations. + ** the system now recognizes and produces names for Unicode Hangul + syllable characters. + ** the EBCDIC-US external-format is now supported for octet operations + (as well as for stream operations). + * new feature: experimental :EMIT-CFASL parameter to COMPILE-FILE can + be used to output toplevel compile-time effects into a separate .CFASL + file. + * optimization: COERCE to VECTOR, STRING, SIMPLE-STRING and recognizable + one-dimenstional subtypes of ARRAY is upto 70% faster when the coercion is + actually needed. + * optimization: TRUNCATE on known single- and double-floats is upto 25% + faster. + * optimization: division of floating point numbers by constants uses + multiplication by reciprocal when an exact reciprocal exists. + * optimization: multiplication of single- and double-floats floats by + constant two has been optimized. + * optimization: ARRAY-IN-BOUNDS-P is resolved at compile-time when + sufficient type information is available. (thanks to Leslie Polzer) + * optimization: SLOT-VALUE and (SETF SLOT-VALUE) with constant slot names on + known structure objects are as efficient as defstruct generated accessors. + * optimization: unused vector creation can now be optimized away. + * improvement: ASDF systems can now depends on SB-INTROSPECT. + * improvement: a STYLE-WARNING is signalled when a generic function + clobbers an earlier FTYPE proclamation. + * improvement: the compiler is able to track the effective type of + generic function across method addition and removal even in the + absence of an explicit DEFGENERIC. + * improvement: DESCRIBE now reports on symbols naming undefined + but assumed or declared function as well. + * improvement: recompilation of systems using SB-GROVEL now works + (thanks to Leslie Polzer) + * improvements to SB-CLTL2 (thanks to Larry D'Anna): + ** functions DECLARATION-INFORMATION, PARSE-MACRO, and ENCLOSE have been + documented. + ** AUGMENT-ENVIRONMENT and DEFINE-DECLARATION have been implemented. + ** DECLARATION-INFORMATION now supports declaration name DECLARATION as + well as user defined declaration names. + ** VARIABLE-INFORMATION is now aware of alien variables. + * improvement: improved address space layout on OpenBSD (thanks to Josh + Elsasser) + * improvement: pretty-printing of various Lisp forms has been improved + (thanks to Tobias Rittweiler) + * bug fix: calls to DECODE-FLOAT and INTEGER-DECODE-FLOAT whose value was + unused were deleted in safe code. (reported by John Fremlin) + * bug fix: a failing AVER compiling certain MAKE-ARRAY forms. (reported + by James Wright) + * bug fix: some out-of-line array predicates were missing (reported by + Stelian Ionescu) + * bug fix: a failing AVER in CONVERT-MV-CALL has been fixed. (thanks to + Larry D'Anna) + * bug fix: a failing AVER in %ALLOCATE-CLOSURES conversion has been fixed + (thanks to Larry D'Anna) + * bug fix: SLEEP supports times over 100 million seconds on long on OpenBSD + as well. (reported by Josh Elsasser) + * bug fix: DELETE-FILE on streams no longer closes the stream with :ABORT T, + leading to possible attempts to delete the same file twice. See docstring + on DELETE-FILE for details. (reported by John Fremlin) + * bug fix: DELETE-FILE once again deletes the file named by the pathname + designator argument, rather than its truename. (reported by Luis + Oliveira) + * bug fix: the low-level debugger had 32-bit assumptions and was missing + information about some array types. (thanks to Luis Oliveira) + * bug fix: moderately complex combinations of inline expansions could + be miscompiled if the result was declared to be dynamic extent. + * bug fix: on x86, SAP-REF of sizes greater than 8 bits with offsets of the + form (+ ) were miscompiled under certain + circumstances. + * bug fix: in some cases no compiler note about failure to stack allocate + was emitted, even if the objects were in fact heap allocated. + * bug fix: minor violation of "otherwise inaccessible" rule for stack + allocation could cause objects users might reasonably expect to + be heap allocated to be stack allocated. + * bug fix: DESCRIBE signalled an error for generic functions under + certain circumstances. (thanks to Leslie Polzer) + * bug fix: Fixed spelling of an error message. + +changes in sbcl-1.0.30 relative to sbcl-1.0.29: * minor incompatible change: SB-THREAD:JOIN-THREAD-ERROR-THREAD and SB-THREAD:INTERRUPT-THREAD-ERROR-THREAD have been deprecated in favor of SB-THREAD:THREAD-ERROR-THREAD. @@ -9,8 +109,6 @@ values in other threads. * new feature: SB-INTROSPECT:ALLOCATION-INFORMATION provides information about object allocation. - * optimization: more efficient complex float and real float operations - on x86-64. * optimization: division of a real float by a complex float is implemented with a specialised code sequence. * optimization: MAKE-INSTANCE with non-constant class-argument but constant @@ -28,8 +126,17 @@ callees. * optimization: several character functions are now compiled somewhat more efficiently. (reported by Lynn Quam) + * optimization: the compiler now derives simple types for LOAD-VALUE-FORMs. * improvement: less unsafe constant folding in floating point arithmetic, especially for mixed complex/real -float operations. + * optimization: constant double and single floats are stored in native + unboxed format on x86[-64]. + * optimization: smarter code for arithmetic operations with constant floats, + complex floats, or integers on x86[-64]. + * optimization: smarter code for conjugate/multiplication of float complexes + and abs/negate of floats on x86-64. + * optimization: more efficient complex float and real float operations on + x86-64. * improvement: complex float division is slightly more stable. * improvement: DESCRIBE output has been reworked to be easier to read and contains more pertinent information. @@ -55,7 +162,7 @@ * bug fix: bogus undefined variable warnings from fopcompiled references to global variables. (thanks to Lars Rune Nøstdal) * bug fix: foreign function names should now appear in backtraces on - FC6 as well. (reported by Tomasz Skutnik and obias Rautenkranz) + FC6 as well. (reported by Tomasz Skutnik and Tobias Rautenkranz) * bug fix: SETF compiler macro documentation strings are not discarded anymore. * bug fix: GENTEMP is now unaffected by pretty printer dispatch table.