X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=972981d72d61d71b02db17522895f0f920422f81;hb=5cd15f4133804a16c5d367556da160144e741852;hp=302a2f359293b4e8436d26524bae9fe7d88668d2;hpb=b63c4fb9b98fa8188e17ba926e150ba417a74635;p=sbcl.git diff --git a/NEWS b/NEWS index 302a2f3..ca8d410 100644 --- a/NEWS +++ b/NEWS @@ -1,4 +1,523 @@ +;;;; -*- coding: utf-8; -*- +changes in sbcl-0.9.7 relative to sbcl-0.9.6: + * minor incompatible change: (SETF CLASS-NAME) and (SETF + GENERIC-FUNCTION-NAME) are no longer generic functions, and + therefore are not customizeable by user code (as seems to be at + least permitted and maybe required by AMOP). As a consolation, + however, the SBCL implementation of these functions now calls + REINITIALIZE-INSTANCE as specified by AMOP. + * bug fix: REINITIALIZE-INSTANCE on generic functions calls + COMPUTE-DISCRIMINATING-FUNCTION (almost) unconditionally, as + specified by AMOP. + * bug fix: it is now possible to have more than one subclass of + STANDARD-GENERIC-FUNCTION without causing stack overflow. + (reported by Bruno Haible, Pascal Costanza and others) + * bug fix: the dependent update protocol now works for generic + functions. (thanks to Gerd Moellmann; reported by Bruno Haible + and Pascal Costanza) + * bug fix: *COMPILE-FILE-PATHNAME* now contains the user's pathname + merged with *DEFAULT-PATHNAME-DEFAULTS*. + * enhancement: the x86-64 disassembler is much better at + disassembling SSE instructions. (thanks to Lutz Euler) + * optimization: improved performance of EUC-JP external format. + (thanks to NIIMI Satoshi) + * optimization: performance improvements to IO on file streams of + :ELEMENT-TYPE CHARACTER + * optimization: much faster memory allocation on x86-64 + * optimization: faster garbage collections (latency and throughput) + on gencgc + +changes in sbcl-0.9.6 relative to sbcl-0.9.5: + * bug fix: add a workaround to SBCL looping infinitely at startup on + Linux kernels with apparently buggy implementations of personality(). + (thanks to Svein Ove Aas) + * bug fix: Unicode symbols are correctly printed in LDB backtraces + (thanks to David Lichteblau) + * bug fix: local bindings shadow global symbol macros for + macroexpansion. (reported by Matthew D Swank on comp.lang.lisp) + * optimization: non-open coded uses of numeric comparison operators + (e.g. >) no longer cons when called with more than one parameter + on platforms supporting dynamic-extent allocation. + * enhancement: saving cores with foreign code loaded is now supported + on MIPS/Linux in addition to the previously supported platforms. + * bug fix: FIND-RESTART now tests for activity, not applicability when given + a restart object as identifier. (reported by Helmut Eller for CMUCL) + * bug fix: division by zero in sb-sprof when no samples were collected + * bug fix: a race when a slow to arrive sigprof signal killed sbcl + * bug fix: asdf-install uses CRLF as required by the HTTP spec. + (thanks to Alexander Kjeldaas) + * new feature: ignoring the return values of destructive functions + like NREVERSE signals a compile-time style-warning. + (thanks to Kevin Reid) + * new feature: the alignment of alien structure fields can be + explicitly specified. (thanks to Cyrus Harmon) + * bug fix: run cleanup forms (in all threads) when receiving a SIGTERM + and dump core on SIGQUIT + * threads + ** incompatible change: threads do not inherit values of specials + from their parents (see manual) + ** bug fix: threads stacks belonging to dead threads are freed by the + next exiting thread, no need to gc to collect thread stacks anymore + ** minor incompatible change: INTERRUPT-THREAD-ERROR-ERRNO removed + ** WITH-RECURSIVE-LOCK can be nested in a WITH-MUTEX for the same lock + ** bug fix: dynamic variable and thread start related gc lossage + ** bug fix: job control (SIGSTOP/SIGCONT) no longer confuses threads + suspended for gc + * fixed some bugs revealed by Paul Dietz' test suite: + ** SUBTYPEP is slightly more accurate on heinously complicated + CONS types where some of the members have uncertain (in the + NIL, NIL sense) type relationships to each other. + * GENCGC + ** Cores produced by SAVE-LISP-AND-DIE on GENCGC platforms are + no longer purified unless :PURIFY T is explicitly specified. + ** Non-purified cores are significantly smaller than before + +changes in sbcl-0.9.5 relative to sbcl-0.9.4: + * new feature: timers based on Zach Beane's excellent timer package + * added support for the following external formats: koi8-u, + x-mac-cyrillic, cp437, cp850, cp852, cp855, cp857, cp860, cp861, + cp862, cp863, cp864, cp865, cp866, cp869, cp874, iso-8859-2, + iso-8859-3, iso-8859-4, iso-8859-5, iso-8859-6, iso-8859-7, + iso-8859-8, iso-8859-9, iso-8859-10, iso-8859-11, iso-8859-13, + iso-8859-14, cp1250, cp1251, cp1252, cp1253, cp1254, + cp1255,cp1256, cp1257, cp1258 (contributed by Ivan Boldyrev) + * incompatible change: a threaded SBCL will no longer revert to + non-threaded mode on non-NPTL systems, but refuse to start entirely. + * bug fix: interrupts are disabled until startup is complete; no + more sigsegvs when receiving a signal to soon + * optimization: faster 32-bit SB-ROTATE-BYTE:ROTATE-BYTE on non-x86/ppc + platforms + * bug fix: add a workaround for the memory randomization features in + Linux kernels >= 2.6.12 that interfere with SBCL's memory maps. This + workaround will only be in effect on systems with the proc filesystem + mounted. + * bug fix: printing objects of type HASH-TABLE signals a + PRINT-NOT-READABLE error when *READ-EVAL* is NIL. (reported by + Faré Rideau) + * bug fix: GET-INTERNAL-REAL-TIME now works even for processes that + have been running for over 50 days. (reported by Gilbert Baumann) + * bug fix: the logic for getting names of functions gets less + confused when confronded with alternate-metaclass + funcallable-instances. (reported by Cyrus Harmon) + * bug fix: FUNCTIONP and (LAMBDA (X) (TYPEP X 'FUNCTION)) are now + consistent, even on internal alternate-metaclass objects. + * bug fix: flush closure information collected by physical + environment analysis prepass before the main pass. (bug reported + by Vasile Rotaru) + * bug fix: compiler pack phase does not modify a hashtable, which is + iterated. (reported by Bryan O'Connor, fixed by Rob MacLachlan) + * bug fix: backquote does not optimize (LIST* x y) to CONS when x + may be expanded. (reported by Alexander on c.l.l) + * bug fix: no more style-warnings when compiling code using LAST + under high-SPEED low-SPACE settings. (reported by David Wallin + aka froog on #lisp) + * fixed some incompatibilities between SBCL's MOP and the MOP + specified by AMOP: + ** the METAOBJECT class is now implemented; + ** FUNCALLABLE-STANDARD-OBJECT is now a subclass of + STANDARD-OBJECT, as required; + ** the classes STANDARD-CLASS and FUNCALLABLE-STANDARD-CLASS are + now compatible (as required by VALIDATE-SUPERCLASS); there + remains a consistency requirement over the presence or absence + of the FUNCTION class in the superclass list of finalized + classes; see the manual for more details; + ** the :AROUND method for COMPUTE-SLOTS on + FUNCALLABLE-STANDARD-CLASS now honours the primary method's + requested slot ordering. + * threads + ** bug fix: parent thread now can be gc'ed even with a live + child thread + ** bug fix: binding a special with PROGV to no value is not + the same as that symbol not having been bound (thanks to + Hannu Koivisto) + ** bug fix: binding specials is thread safe (thanks to + Hannu Koivisto) + ** bug fix: interrupt handlers are now per-process, RUN-PROGRAM + and SB-SPROF do not die with 'no handler for signal XX in + interrupt_handle_now(..)' anymore + ** bug fix: WITH-TIMEOUT works with multiple running threads + * fixed some bugs revealed by Paul Dietz' test suite: + ** ENSURE-GENERIC-FUNCTION should take a method class object for + the :method-class keyword argument. + +changes in sbcl-0.9.4 relative to sbcl-0.9.3: + * new port: the Solaris operating system on x86 processors is now + mostly supported, though some rough edges in the environment + remain. (thanks to Daisuke Homma) + * enhancement: SBCL on MIPS platforms now has a much larger dynamic + space for its heap. (thanks to Thiemo Seufer) + * optimization: SBCL on MIPS platforms now supports dynamic-extent + closures. (thanks to Thiemo Seufer) + * minor incompatible change: eof selects abort in the debugger. + * minor incompatible change: *INVOKE-DEBUGGER-HOOK* is run before + *DEBUGGER-HOOK* => *DEBUGGER-HOOK* is not run when the debugger + is disabled. + * minor incompatible change: SB-KERNEL:INSTANCE-LAMBDA is + deprecated, and will go away in a future revision of SBCL. + * minor incompatible change: GC-ON and GC-OFF are no longer + implemented with a counter, it does not matter how many times gc + is switched on or off + * bug fix: discriminating functions for generic function classes + with non-standard methods for COMPUTE-APPLICABLE-METHODS no longer + make invalid assumptions about method precedence order. (reported + by Bruno Haible) + * bug fix: TRUNCATE now correctly signals division by zero on MIPS + platforms. (thanks to Thiemo Seufer) + * bug fix: degree sign () could not be encoded in KOI8-R. + * bug fix: correct pathname printing with printer escaping is on. + (thanks to Kevin Reid) + * bug fix: complex VOP definitions in "user-space" no longer trigger + package locks. (reported by Zach Beane) + * fixed bug 343: SB-KERNEL:INSTANCE-LAMBDA is no longer necessary + for funcallable-instance functions, and is no different from + regular LAMBDA. + * bug fix: PARSE-INTEGER no longer depends on the whitespaceness of + characters in the current readtable. (reported by Nicholas Neuss) + * bug fix: SUBTYPEP on various CONS types returns more a more + accurate acknowledgment of its certainty. + * optimizations: REMOVE-DUPLICATES now runs in linear time on + lists in some cases. This partially fixes bug 384. + * flush all standard streams before prompting in the REPL and the + debugger. + * bug fix: signal handling and triggering gc do not conflict + directly anymore, in particular a high frequency sb-sprof does + not prevent gc from running + * bug fix: DECODE-UNIVERSAL-TIME now uses a more reasonable + approximation for timezone and DST information between the + universal time epoch and the smallest negative 32-bit time_t. + * bug fix: ENCODE-UNIVERSAL-TIME no longer errors when passed the + year 1899 so long as the encoded time is non-negative. + * bug fix: on the x86 platform, SB-ROTATE-BYTE:ROTATE-BYTE returns + the correct answer for non-constant rotate amounts when performing + an inline 32-bit rotation. + * threads + ** bug fix: RELEASE-FOREGROUND doesn't choke on session lock if + there is only one thread in the session + ** bug fix: memory leak for streams created in one thread and + written to in another + ** bug fix: lockup when compiled with gcc4 + ** bug fix: race that allows the gc to be triggered when gc is + inhibited + ** bug fix: one less memory fault in INTERRUPT-THREAD, again + ** bug fix: gc and INTERRUPT-THREAD don't hang when the RT signal + queue is full + ** bug fix: finished threads are gc'ed properly + * fixed some bugs revealed by Paul Dietz' test suite: + ** CALL-NEXT-METHOD signals an error (in safe code) when the call + has arguments with a different set of applicable methods from + the orignal arguments. + ** The type error thrown by MAP now has a correct expected-type + cell. + ** DISASSEMBLE now throws a TYPE-ERROR when its argument does not + name a compiled function. + ** Three MISC tests where a large bignum was improperly coerced to + a float that couldn't represent that bignum during type + derivation were fixed. + ** SUBTYPEP can now handle types involving the negation of a + list-form FUNCTION type. + ** SUBTYPEP also now handles certain COMPLEX type specifiers such + as (COMPLEX (AND RATIO (NOT FIXNUM))). + ** READ-BYTE and WRITE-BYTE no longer take stream designators. + +changes in sbcl-0.9.3 relative to sbcl-0.9.2: + * New feature: Experimental support for bivalent streams: streams + opened with :element-type :default now allow character and binary + (unsigned-byte 8) I/O + * Support for the koi8-r external format. (thanks to Ivan Boldyrev) + * Bug fix: OPEN no longer fails when *PRINT-READABLY* is T. (thanks + to Zach Beane) + * bug fix: no more highly sporadic "couldn't check whether ~S is + readable" when reading a stream and an interrupt hits in the middle + of a select system call + * compiler better recognizes complex arrays (reported by Eduardo + Muñoz) + * bug fix: out-of-line SB-SYS:FOREIGN-SYMBOL-ADDRESS did not work + for variables on SBCL built with linkage-tables. (reported by Luis + Oliveira) + * various error reporting improvements. + * optimizations: LOGNOR on fixnums is improved in the MIPS backend. + (Thanks to Thiemo Seufer) + * bug fix: nested reader invokations work correctly + * bug fix: it is possible to have simultaneous references to foreign + code and foreign data with the same name. + * threads + ** added x86-64 support + ** incompatible change: the threading api now works with thread + objects instead of thread ids + ** bug fix: threads are protected from signals and interruption when + starting up or going down + ** bug fix: a race where an exiting thread could lose its stack to gc + ** bug fix: don't halt on infinite error in threads if possible + ** fixed numerous gc deadlocks introduced in the pthread merge + ** bug fix: fixed thread safety issues in read and print + ** bug fix: debugger doesn't hang on session lock if interrupted at + an inappropriate moment + ** bug fix: run-program is now thread safe(r) + ** bug fix: inner with-recursive-lock no longer releases the mutex + * fixed a bug in (DECODE-UNIVERSAL-TIME 0) (reported by Paul Dietz) + * fixed some bugs revealed by Paul Dietz' test suite: + ** TYPE-ERRORs from signalled by COERCE now have DATUM and + EXPECTED-TYPE slots filled. + ** MULTIPLE-VALUE-SETQ always returns the primary value of the + values form. + ** MAKE-CONDITION accepts classes as type-designators. + ** COMPILE may never return NIL. + ** ENCODE-UNIVERSAL-TIME now guards against times out of Unix's + range before calling Unix time functions + +changes in sbcl-0.9.2 relative to sbcl-0.9.1: + * numerous signal handling fixes to increase stability + * Support for EUC-JP external format. (thanks to NIIMI Satoshi) + * minor incompatible change: we now correctly canonize default + initargs, making them be a list of (INITARG INITFORM INITFUNCTION) + as per the MOP, rather than the historical (INITARG INITFUNCTION + INITFORM). (reported by Bruno Haible) + * new feature: WITH-COMPILATION-UNIT now accepts a non-standard + :SOURCE-PLIST option. See (DOCUMENTATION #'WITH-COMPILATION-UNIT T) + for more information. + * TRUENAME and PROBE-FILE now correctly resolve symlinks even if the + pathname is a directory pathname. + * SB-SPROF now works (more) reliably on non-GENCGC platforms. + * dynamic space size on PPC has been increased to 768Mb. (thanks to + Cyrus Harmon) + * SB-MOP:ENSURE-CLASS-USING-CLASS now accepts a class as the + :METACLASS argument in addition to a class name. (reported by + Bruno Haible for CMUCL, patch for CMUCL by Gerd Moellmann) + * RESTART-CASE can now be wrapped around CALL-METHOD forms. + (reported by Bruno Haible; patch from Gerd Moellmann) + * bug fix: sbcl runtime can now be compiled with gcc4 (thanks to + Sascha Wilde) + * bug fix: more cleanups to the floating point exception handling on + x86-64 (thanks to James Knight) + * bug fix: the compiler does not try to constant fold calls of + COERCE and BIT-* functions when they return freshly constructed + objects. (reported by Nikodemus Siivola and Paul Dietz) + * optimization: improved the MIPS versions of generic (in the + generic sense) arithmetic routines. (thanks to Thiemo Seufer) + * optimization: direct conversion of (unsigned-byte 32) to floats on + the PowerPC platform. + * optimization: structure instances with raw slots now use less + memory, and probably show better memory locality. (thanks to + David Lichteblau) + * optimization: DYNAMIC-EXTENT declarations for lists and closures + are treated as requests for stack allocation on the x86-64, + Alpha-32, PPC and SPARC platforms. + * contrib improvement: it's harder to cause SOCKET-CLOSE to close() + the wrong file descriptor; implementation of SOCKET-OPEN-P. + (thanks to Tony Martinez) + * threads + ** gcing a dead thread can no longer lead to lockups + ** threads block signals until they are set up properly + ** errno is no longer shared by threads + ** interrupt-thread restores the eflags register on x86 + ** fixed some lockups due to gc/thread interaction + * fixed some bugs revealed by Paul Dietz' test suite: + ** invalid dotted lists no longer raise a read error when + *READ-SUPPRESS* is T + ** signal an error if a symbol that names a declaration is used + as the name of a type, or vice versa + ** allow using the (declare (typespec var*)) abbreviation for + (declare (type typespec var*)) with all type specifiers + ** circularity detection works properly with PPRINT-LOGICAL-BLOCK + ** always return NIL from PPRINT-POP when OBJECT is NIL + ** don't signal errors when pretty-printing malformed LABELS, + FLET or MACROLET forms + ** declarations in a DOLIST body are also in scope for the + DOLIST return-form + ** COMPILE-FILE accepts all pathname designators as INPUT-FILE + and OUTPUT-FILE + ** the ELEMENT-TYPE keyword argument to WITH-OUTPUT-STREAM is + always evaluated + +changes in sbcl-0.9.1 relative to sbcl-0.9.0: + * fixed cross-compiler leakages that prevented building a 32-bit + target with a 64-bit host compiler. + * fixed a bug in CLOSE :ABORT T: no longer attempts to remove files + opened with :IF-EXISTS :OVERWRITE. + * fixed bug 281: error for an invalid qualifier in a short-form method + combination method is not signalled until the faulty method is called. + * bug fix: iteration variable type inferrer failed to deal with open + intervals. (reported by Alan Shields) + * bug fix: dynamically loading (via LOAD-SHARED-OBJECT or similar) + "frameworks" on Mac OS X no longer causes an EXC_BAD_ACCESS if two + or more runtime options were provided to the sbcl binary. + * compiled code is not steppable if COMPILATION-SPEED >= DEBUG. + * contrib improvement: implement SB-POSIX:MKSTEMP (Yannick Gingras) + * optimization: there's now a fast-path for fixnum arguments in the + generic subtraction routines on x86/x86-64. (Thanks to Lutz Euler) + * optimization: the code generated on x86-64 is more compact thanks + to not outputting unneccessary prefix bytes. (Thanks to Lutz Euler) + * bug fix: floating-point exception handling now partly works on + x86-64. (Thanks to James Knight) + * improvement to the MIPS backend from Thiemo Seufer: C-style + 64-bit long long arguments and return values to alien functions + are now supported. + * fixed some bugs revealed by Paul Dietz' test suite: + ** the type-error signalled from WARN has a filled-in DATUM slot. + ** the type-error required when a stream is not associated with + a file has the stream as its datum. + ** type-errors on single-floats on x86-64 no longer have + :INVALID-OBJECT as the datum + ** the type-errors signalled for invalid function names now have + a correct expected type + ** (SETF (DOCUMENTATION ... 'STRUCTURE)) no longer signals an error + for structures defined with a :TYPE. Documentation strings for + typed structures are no longer immediately discarded + ** FILE-STRING-LENGTH and STREAM-EXTERNAL-FORMAT now work on + broadcast streams and synonym streams. FILE-LENGTH now also works + on broadcast streams. + +changes in sbcl-0.9.0 relative to sbcl-0.8.21: + * incompatible change: the --noprogrammer option, deprecated since + version 0.7.5, has been removed. Please use the equivalent + --disable-debugger option instead. + * incompatible change: finalizers and *AFTER-GC-HOOKS* are now run with + interrupts enabled. + * incompatible change: support for *BEFORE-GC-HOOKS* (that have been + inoperational for a while now) has been completely removed. + * null lexical environments are now printed as #, + significantly reducing the amount of clutter in typical backtraces. + * documentation on weak pointers, finalization, and after GC hooks + has been added to the manual. + * optimization: REPLACE on declared (UNSIGNED-BYTE 8) vectors, as well + as other specialized array types, is much faster. SUBSEQ and + COPY-SEQ on such arrays have also been sped up. + * optimization: EQL is now more efficient when at least other argument + is known to be of type (OR FIXNUM (NOT NUMBER)). + * fixed bug: the runtime is now less vulnerable to changes in the + size of the SBCL object on OS X, and virtual memory is reserved for + all spaces that need to be at a fixed address. + * fixed bug: finalizers are now thread-safe. (thanks to Gabor Mellis) + * fixed bug: finalizers and after GC hooks that cause consing are now + safe. + * fixed bug: compiler error messages and summaries are now printed to + *ERROR-OUTPUT*, not *STANDARD-OUTPUT*. + * fixed inference of the upper bound of an iteration variable. + (reported by Rajat Datta). + * fixed bug 211e: calling local functions with duplicated constant + keyword argument no longer causes a bogus style warning about an + unused variable. + * fixed bug 305: INLINE/NOTINLINE declaration no longer causes local + ftype declaration to be disregarded. (reported by Dave Roberts) + * fixed bug 373: caused by erronous compilation of references to alien + variables in the runtime on ppc/darwin. + * fixed bug 376: CONJUGATE type deriver. + * fixed infinite looping of ALIEN-FUNCALL, compiled with high DEBUG. + (reported by Baughn on #lisp) + * a cross-compiler bug on non-x86 platforms has been identified and + fixed. (thanks to Bruno Haible) + * improvements to the MIPS runtime code for increased stability. + (thanks to Thiemo Seufer) + * increased the maximimum compact environment size to allow + purify on images with large amounts of functions. (thanks to Cyrus Harmon) + * partial workaround for bug 135: don't name the function we're + calling for hairy cases of EVAL, so as not to accumulate one environment + entry per call to EVAL. (reported by Kevin Reid) + * improvements to the x86-64 disassembler. (thanks to Lutz Euler) + * optimization: type testing for non-vector arrays should be faster. + * fixed TRACE :ENCAPSULATE NIL, added support for :ENCAPSULATE NIL + on x86-64 + * bug fix: setting 31st element of a bit vector to zero did not work + on Alpha-32. + * bug fix: redefining a class definition which failed due to a + previous accessor / function clash now works (but see BUGS entry + #380 for more problems in this area). (thanks to Zach Beane) + * the long form of DEFINE-METHOD-COMBINATION disables method group + checking when given a single method group with pattern *. (thanks + to Wendall Marvel) + * on x86 compiler supports stack allocation of results of simple + calls of MAKE-ARRAY, bound to variables, declared DYNAMIC-EXTENT. + * support for building and running on Mac OS X 10.4 "Tiger" has been added + ** Binaries built on Tiger will not run on 10.2 "Jaguar" currently + * fixed some bugs related to Unicode integration: + ** the restarts for recovering from input and output encoding + errors only appear when there is in fact such an error to + handle. + * fixed some bugs revealed by Paul Dietz' test suite: + ** MISC.549 and similar: late transformation of unsafe type + assertions into derived types caused unexpected code + transformations. + ** SCALE-FLOAT type deriver is less wrong. + ** type derivers for EXP, LOG and similar functions compute result + types for complex arguments better. + ** (MISC.563) CONJUGATE type deriver works for very restricted + complex types. + ** out-of-line type testers for character strings are available. + ** EQUAL compiler transform understands specialness of objects + of type BIT-VECTOR. + ** accessing double-floats stored on the stack now works on x86-64. + ** debugger internals could sometimes create invalid lispobjs, + resulting in GC crashes. + ** MISC.548: type check weakening can convert required type into + optional. + ** initialization forms for bindings are not in scope of free special + declarations. + +changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20: + * incompatible change: thread support for non-NPTL systems has + been removed - locking is buggy and unreliable. A threaded + SBCL build will now warn at startup and refuse to create + new threads, unless futex support is detected in the kernel + * incompatible change: the top level REPL now has only an ABORT + restart associated with it, not TOPLEVEL and ABORT as it used to. + TOP and TOPLEVEL are now available as debugger commands for + returning to the top level. + * incompatible change: forms evaluated in the REPL now use the + global optimization policy. + * incompatible change: user- and system-initialization files are + no longer processed with LOAD, but by READ and EVAL; hence the + global optimization policy, startup package, readtable, etc, + can be set by them. + * The .fasl file format number has been incremented because of + various incompatible changes. + * internal entry point details and argument counts no longer appear + in backtraces unless explicitly requested by setting + SB-DEBUG:*SHOW-ENTRY-POINT-DETAILS*. + * built-in and standard functions no longer have names like "top + level local call to FOO". + * fixed bug 32: functions defined in non-null lexical environments + now have more legible printed representation + * fixed bug 33: functions defined in non-null lexical environemnts + are now more amenable to inspection by INSPECT. + * workaround for bug 354: XEPs no longer appear in backtraces unless + explicitly requested. + * fixed bug: receiving the signal which results from attempting to + write to mprotect()ed memory (SIGSEGV on Linux and some *BSDs, + SIGBUS on other *BSDs) on architectures where the C stack is also + the Lisp stack (x86 and x86-64) from foreign code no longer leads + to debugger confusion or wild instability. (reported by Cheuksan + Wang) + * fixed bug: COUNT and EQUAL no longer issue compiler efficiency + notes when operating on objects known to be SIMPLE-BIT-VECTORs. + (reported by Lutz Euler) + * fixed bug: (TYPEP X '(MEMBER ...)) no longer returns a list in + compiled code. (reported by Paul Dietz) + * fixed bug 276b: mutating with MULTIPLE-VALUE-SETQ a binding of a + specialized parameter to a method to something that is not TYPEP + the specializer is now possible. + * fixed bug: the MAKE-INSTANCE optimization is now correct in the + face of package deletion. + * fixed bug: LOAD should bind *LOAD-PATHNAME* to the merged + pathname. (reported by David Tolpin on c.l.l) + * contrib improvement: the SB-SIMPLE-STREAMS contrib now defines + STRING-SIMPLE-STREAM and FILE-SIMPLE-STREAM as subclasses of + STRING-STREAM and FILE-STREAM, respectively. + * contrib improvement: SB-INTROSPECT handles more of SLIME's needs + than previously; in addition, its test suite is now run on build. + (thanks to Luke Gorrie) + * a more robust x86-64 disassembler. (thanks to Lutz Euler) + * optimization: added a immediate representation for single-floats + on x86-64 + * fixed some bugs revealed by Paul Dietz' test suite: + ** MISC.564: defined out-of-line version of %ATAN2 on x86. + ** attempting to create a package with a colliding nickname causes + correctable errors to be signalled. + ** MISC.572-574: :START1 and :START2 broken for simple-base-strings. + ** several x86-64 backend bugs related to sign-extension of immediate + operands. + changes in sbcl-0.8.20 (0.9alpha.0?) relative to sbcl-0.8.19: + * fixed inspection of specialized arrays. (thanks to Simon Alexander) * fixed disassembly of SHLD and SHRD on x86. (thanks to David Lichteblau) * fixed loading of multiply forward-referenced layouts. @@ -46,6 +565,8 @@ changes in sbcl-0.8.20 (0.9alpha.0?) relative to sbcl-0.8.19: ** The disassembler understands more x86-64. (thanks to Cheuksan Wang) ** The regression tests use SB-ALIEN:INT instead of SB-ALIEN:INTEGER for enums. (thanks to Vincent Arkesteijn) + ** Multiple small optimizations and bugfixes for floating point + operations. * fixed some bugs revealed by Paul Dietz' test suite: ** Space, Tab, Linefeed, Return and Page have the invalid secondary constituent character trait. @@ -55,6 +576,12 @@ changes in sbcl-0.8.20 (0.9alpha.0?) relative to sbcl-0.8.19: normal termination. ** Pretty-printing backquoted forms when *PRINT-CIRCLE* is true works more reliably. + ** Bit-array operations (BIT-AND and similar) worked incorrectly + with one-dimensional arrays with fill pointers. + ** TYPE-OF failed on a complex with an integer realpart and a + RATIO imagpart. + ** compiler failure during type inference for the code of form + (IF (EQL X (THE ...)) ...) (MISC.535). changes in sbcl-0.8.19 relative to sbcl-0.8.18: * new port: SBCL now works in native 64-bit mode on x86-64/Linux @@ -260,7 +787,7 @@ changes in sbcl-0.8.16 relative to sbcl-0.8.15: (thanks to Richard Kreuter) * bug fix: defining classes whose accessors are methods on existing generic functions in other (locked) packages no longer signals - bogus package lock violations. (reported by François-René Rideau) + bogus package lock violations. (reported by François-René Rideau) * bug fix: special variables as DEFMETHOD parameters no longer have associated bogus type declarations. (reported by David Wragg and Bruno Haible)