X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=176d7866f22f5bb604c0a582ca340dcfe957f73b;hb=d59fb0b06768732835bf45638fbc04f516b9ae9b;hp=b479b768f89e7cb2ed5169394056502c0882118d;hpb=27b8aecceb0faecf64fcc8b90392373461b01c30;p=sbcl.git diff --git a/NEWS b/NEWS index b479b76..176d786 100644 --- a/NEWS +++ b/NEWS @@ -1879,7 +1879,7 @@ changes in sbcl-0.8.1 relative to sbcl-0.8.0: treated by SLOT-BOUNDP, SLOT-VALUE, (SETF SLOT-VALUE) and SLOT-MAKUNBOUND in the specified fashion. -changes in sbcl-0.8.1 relative to sbcl-0.8.0: +changes in sbcl-0.8.2 relative to sbcl-0.8.1: * fixed bug 148: failure to inline-expand a local function left garbage, confusing the compiler. * fixed bugs 3cd: structure slot readers perform type check if the @@ -1888,6 +1888,52 @@ changes in sbcl-0.8.1 relative to sbcl-0.8.0: * bug fix: the compiler now traps array references to elements off the end of an array; previously, the bounds checking in some circumstances could go off-by-one. + * improved MACHINE-VERSION, especially on Linux (thanks to Lars + Brinkhoff) + * type declarations for array element types now obey the description + on the CLHS page "Declaration TYPE", as per discussions on + sbcl-help around 2003-05-08. This means that a declaration + (TYPE (ARRAY FOO) BAR) means that, within the scope of the + declaration, all references to BAR will be asserted or assumed + (with THE, so dependent on compiler policy) to involve objects of + type FOO. Note that no such declaration is implied in + (MAKE-ARRAY .. :ELEMENT-TYPE 'FOO). + * declared types of functions from the "Conditions" + chapter. (reported by Paul Dietz) + * bug fix: CERROR accepts a function as its first argument. + * bug fix: NTH an NTHCDR accept a bignum as index + arguments. (reported by Adam Warner) + * optimization: character compare routines now optimize comparing + against a constant character. (reported by Gilbert Baumann) + * bug fix: (SETF AREF) on byte-sized-element arrays with constant index + argument now works properly on the MIPS platform. + * fixed compiler failure on (TYPEP x '(NOT (MEMBER 0d0))). + * repeated evaluation of the same DEFSTRUCT, a slot of which is + declared to have a functional type, does not cause an error + anymore. + * fixed bug: sometimes MAKE-INSTANCE did not work with classes with + many :DEFAULT-INITARGS. (reported by Istvan Marko) + * fixed bug: if last continuation of a deleted block has a + destination, this destination should be deleted too. (reported by + ohler on #lisp) + * fixed a bug in the bootstrap process: the host compiler's values + of ARRAY-DIMENSION-LIMIT and ARRAY-TOTAL-SIZE-LIMIT no longer leak + into the newly-built SBCL. (reported by Eric Marsden on #lisp, + test case from Patrik Nordebo) + * improved the ability of the disassembler on the PPC platform to + provide helpful disassembly notes. + * SB-MOP:CLASS-PROTOTYPE on built-in-classes returns an instance of + the class in more cases than previously. + * bug fix: FILE-POSITION now understands :START and :END for + STRING-INPUT-STREAMs. (thanks to Nikodemus Siivola) + * bug fix: (SIGNED-BYTE 8) streams no longer return (UNSIGNED-BYTE + 8) data. (thanks to David Lichteblau) + * bug fix: it is possible to add a method to a generic function + without lambda list. + * fixed some bugs revealed by Paul Dietz' test suite: + ** LAST and [N]BUTLAST should accept a bignum. + ** condition slot accessors are methods. + ** (VECTOR NIL) is a subtype of STRING. planned incompatible changes in 0.8.x: * (not done yet, but planned:) When the profiling interface settles