summaryrefslogtreecommitdiff
tag namesbcl_0_8_2 (99d1a1312d685f48d77d37ea3de88273e59a373f)
tag date2003-07-25 19:54:00 +0300
tagged byWilliam Harold Newman <william.newman@airmail.net>
tagged objectcommit 0eb4d7b8a4...
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 slot can have an invalid value (i.e. it is either not initialized or can be written with a less specific slot writer). * 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. * bug fix: reader failed to signal END-OF-FILE inside an object representation. (reported by Nikodemus Siivola) * 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.