X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=86ccfc0a3bdae86c12da9a8caf7d54e4662edac6;hb=cccc20daac3d6d4e1086f387055aa0b6ff8f47d1;hp=f2a3ae6ca97e091880efeee3dc2441d5c8df0679;hpb=1fc851cde8352f4f3c1062ee46593e66a6284c60;p=sbcl.git diff --git a/NEWS b/NEWS index f2a3ae6..86ccfc0 100644 --- a/NEWS +++ b/NEWS @@ -1,11 +1,85 @@ ;;;; -*- coding: utf-8; -*- + * new feature: SB-EXT:ATOMIC-INCF allows atomic incrementation of + appropriately typed structure slots without locking. + * 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. + +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.