Tags give the ability to mark specific points in history as being important
-
sbcl_0_9_8
242bb933 · ·changes in sbcl-0.9.8 relative to sbcl-0.9.7: * minor incompatible change: (SETF CLASS-NAME) and (SETF GENERIC-FUNCTION-NAME) are generic functions once more (reverting the change in the 0.9.7 release). (SETF CLASS-NAME) is specified by ANSI as a generic function, and for consistency (SETF GENERIC-FUNCTION-NAME) is treated likewise. * fixed bug #233.b: make constraint propagation notice when a variable value is changed after it is referenced but before it is used * fixed bug #296: no more arbitrary behaviour from filenames with odd characters as --load arguments. (reported by Adam Warner) * fixed bug #390: :CHARACTER-SET pathname components now work as expected. (reported by Tim Daly Jr) * fixed bug #391: complicated :TYPE intersections in slot definitions no longer cause an error in PCL internals. * fixed bug #392: plugged a hole in the obsolete-instance protocol. * bug fix: FILE-STRING-LENGTH is now external-format sensitive, returning the number of octets which would be written to the file-stream. (thanks to Robert J. Macomber) * bug fix: the SB-SIMPLE-STREAMS contrib passes external-format arguments to the internal stream functions. (thanks to David Lichteblau) * bug fix: stack exhaustion is now handled on the x86/SunOS platform. (thanks to Daisuke Homma) * bug fix: more accurate ROOM results on GENCGC platforms * optimization: improved type inference for arithmetic-for index variables in LOOP * optimization: faster floating-point SQRT on x86-64 * fixed some bugs revealed by Paul Dietz' test suite: ** DOCUMENTATION returns NIL instead of "" for method combinations that don't have a docstring -
sbcl_0_9_7
433a2459 · ·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: slot-definition documentation is propagated as per ANSI 7.6.2 to EFFECTIVE-SLOT-DEFINITIONS. COMPUTE-EFFECTIVE-SLOT-DEFINITION now receives a :DOCUMENTATION argument, as do eslotd initialization methods. (from Pascal Costanza's "Closer" project) * 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: condition-class instances corresponding to DEFINE-CONDITION forms are now created eagerly. (reported by Kalle Olavi Niemitalo on comp.lang.lisp) * bug fix: floating point printing is more accurate in some circumstances. (thanks to Simon Alexander) * bug fix: *COMPILE-FILE-PATHNAME* now contains the user's pathname merged with *DEFAULT-PATHNAME-DEFAULTS*. * bug fix: callbacks on OS X now preserve stack-alignment. (thanks to Cyrus Harmon) * enhancement: the x86-64 disassembler is much better at disassembling SSE instructions. (thanks to Lutz Euler) * enhancement: CHECK-TYPE on a variable now allows type-inference (thanks to Vincent Arkesteijn) * 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 * optimization: faster bignum subtraction and division on x86 and x86-64 (thanks to Lutz Euler) * optimization: more accurate type-inference for loops that use a floating point index variable or a negative step. -
sbcl_0_9_6
811f9c60 · ·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 -
sbcl_0_9_5
15f1e03b · ·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 <malishev> 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. -
sbcl_0_9_4
8dd397eb · ·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 (<U00B0>) 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. -
sbcl_0_9_3
94cb041d · ·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 -
sbcl_0_9_2
1aa73454 · ·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 -
sbcl_0_9_1
b2a106fc · ·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. -
sbcl_0_9_0
927785ab · ·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 #<NULL-LEXENV>, 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. -
sbcl_0_8_21
394eabf2 · ·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. -
sbcl_0_8_20
862491df · ·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. (thanks to Cheuksan Wang) * fixed bug 7: less verbose COMPILE-FILE output. Additionally, the output is now directed to *STANDARD-OUTPUT* as specified by ANSI. (see COMPILE-FILE documentation for details of :PRINT option) * fixed bugs 19 and 317: fixed-format floating point printing is more accurate. This also fixes a bug reported by Adam Warner related to the ~@F format directive. * fixed bug 371: bignum print/read inconsistency. (thanks to Harald Hanche-Olsen) * fixed bug: SET-SYNTAX-FROM-CHAR correctly shallow-copies a dispatch table if the from-char is a dispatch macro character. * fixed bug: COUNT and EQUAL on bit vectors with lengths divisible by the wordsize no longer ignore the last word. (reported by Lutz Euler) * fixed bug in type checking of dynamic-extent variables. (reported by Svein Ove Aas) * optimization: sequence traversal functions use their freedom to coerce function designators to functions. * optimization: code with many calls to CLOS methods specialized on CLOS classes has had redundant type checks removed. * optimization: added declarations to speed up operations that access the internal character database (for example STRING-UPCASE) * optimization: comparison operations between floats and sufficiently small fixnums no longer create extra rationals * fixed some bugs related to Unicode integration: ** portions of multibyte characters at the end of buffers for character-based file input are correctly transferred to the start of the buffer at the next read. ** COMPILE-FILE now respects any EXTERNAL-FORMAT argument given, passing it through to OPEN. ** LOAD on source files likewise passes any EXTERNAL-FORMAT argument given to internal calls to OPEN. ** the built-in comment readers (introduced by character sequences ";" and "#|") are more forgiving to encoding errors; they will STYLE-WARN and then attempt to resync the stream at a character boundary. (thanks to Teemu Kalvas) * fixed some bugs in the x86-64 port: ** Negative short int return values from c-calls are sign-extended correctly. ** The stack is aligned to 16-bytes for c-calls, as required by the ABI. (thanks to Cheuksan Wang) ** 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. ** SET-SYNTAX-FROM-CHAR correctly copies multiple-escape character syntax. ** WITH-INPUT-FROM-STRING should only update the index place on 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). -
sbcl_0_8_18
4ae8367f · ·changes in sbcl-0.8.18 relative to sbcl-0.8.17: * new feature: reloading changed shared object files with LOAD-SHARED-OBJECT now causes the new definitions to take effect. * new feature: references to foreign variables and functions can now be compiled and loaded before the corresponding shared object file is loaded, as long as the foreign definitions are available at runtime. * Solaris 10 (aka SunOS 5.10) on the SPARC platform is now supported. (thanks to Dan Debertin) * SB-ALIEN enums can now be represented in Lisp by any symbols, not just keywords. (thanks to Vincent Arkesteijn) * fixed bug #331: structure-class instances corresponding to DEFSTRUCT forms are now created eagerly. * fixed bug #345: backtraces from calls to undefined functions work on x86 as well. Related bug #61 is now also partially fixed on x86 (backtraces from throws to unknown catch tags.) * bug fix: lambda-list parsing is now stricter vrt. order and number of lambda-list keywords. * bug fix: as specified by AMOP, an error is signalled if a class-option appears multiple times in a DEFCLASS form. (reported by Bruno Haible) * bug fix: RANDOM can be compiled when the compiler derives the type of its numeric argument as a disjoint set of small integers. (reported by Paul Dietz) * bug fix: starting a core saved with shared objects loaded when those objects are not available no longer causes threaded SBCL to hang. (reported by Sean Ross) * bug fix: evaluated FUNCTION no longer bypasses encapsulation (eg. TRACE). * bug fix: (SETF MACRO-FUNCTION) now accepts an optional environment argument, which must always be NIL. (reported by Kalle Niemitalo) * bug fix: printing 1.0d+23 no longer results in an error. (reported by Rolf Wester for CMUCL; bug fix from Raymond Toy) * bug fix: structure slot setters preserve evaluation order. (thanks to Gabor Melis) * fixed some bugs related to Unicode integration: ** RUN-PROGRAM can allow its child to take input from a Lisp stream. (reported by Stefan Scholl) ** ASDF-INSTALL successfully downloads .tar.gz files in all locales. (reported by Ken Causey) * fixed some bugs revealed by Paul Dietz' test suite: ** INCF, DECF and REMF evaluate their place form as specified in CLtS 5.1.3. ** FORMATTER expands ~{ ~} iteration directives with V or # parameters correctly. ** FORMATTER deals with the ~@[ ~] conditional directive where the consequent uses no arguments correctly. ** the system has a partial understanding of the (COMPLEX RATIO) type specifier. ** UPGRADED-COMPLEX-PART-TYPE obeys the lattice upgrading rules required. -
sbcl_0_8_16
9ef04b99 · ·changes in sbcl-0.8.16 relative to sbcl-0.8.15: * enhancement: saving cores with foreign code loaded is now supported on x86/NetBSD and sparc/Linux in addition to the previously supported platforms. * bug fix: on some platforms repeated installations caused multiple copies of HTML documentation to be installed -- should not happen any more. (reported by Stefan Scholl) * bug fix: parsing self-recursive alien record types multiple times no longer causes infinite recursion. (reported by Thomas F. Burdick, original patch by Helmut Eller for CMUCL) * bug fix: stack-exhaustion detection works now on NetBSD as well. (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) * bug fix: special variables as DEFMETHOD parameters no longer have associated bogus type declarations. (reported by David Wragg and Bruno Haible) * bug fix: read-write consistency on streams of element-type (SIGNED-BYTE N) for N > 32. (reported by Bruno Haible for CMUCL) * bug fix: redefiniton of the only method of a generic function with no DEFGENERIC no longer emits a full WARNING. In addition, redefinition of generic functions with no DEFGENERIC to an incompatible lambda list now signals an error. (thanks to Zach Beane) * bug fix: DEFGENERIC now works even when there's a function of the same name in an enclosing lexical environment. (thanks to Zach Beane) * fixed compiler failure, caused by instrumenting code during IR1-optimization. (Debian bug report #273606 by Gabor Melis) * optimization: added loop analysis and improved register allocation * fixed some bugs revealed by Paul Dietz' test suite: ** POSITION on displaced vectors with non-zero displacement returns the right answer. ** (SIMPLE-STRING) is a valid type specifier for sequence creators. ** *PRINT-LEVEL* handling for slotless structures is pedantically correct. ** PPRINT-INDENT accepts a request for an indentation of any REAL. ** PPRINT-TAB (and the FORMAT ~T directive) now indent by the correct amounts. ** The justification version of the FORMAT ~< directive treats non-zero minpad parameter correctly. -
sbcl_0_8_15
3c5609fe · ·changes in sbcl-0.8.15 relative to sbcl-0.8.14: * incompatible change: SB-INT:*BEFORE-SAVE-INITIALIZATIONS* and SB-INT:*AFTER-SAVE-INITIALIZATIONS* have been renamed SB-EXT:*SAVE-HOOKS* and SB-EXT:*INIT-HOOKS*, and are now part of the supported interface. * new feature: Single-stepping of code compiled with DEBUG 2 or higher and (> DEBUG (MAX SPACE SPEED)) is now possible. * new feature: saving cores with foreign code loaded is now supported on x86/FreeBSD, x86/Linux, and sparc/SunOS. (based on Timothy Moore's work for CMUCL) * bug fix: DEFTYPE lambda-list parsing now binds unsupplied keyword parameters to * instead of NIL if no initform is supplied. (reported by Johan Bockgaard) * bug fix: DEFINE-COMPILER-MACRO lambda-list parsing now binds correctly when FUNCALL appears as the car of the form. Note: despite this FUNCALL forms are not currently subject to compiler-macro expansion. (port of Raymond Toy's fix for the same from CMUCL, reported by Johan Bockgaard) * bug fix: FOR ... ON ... -clauses in LOOP now work on dotted lists (thanks for Teemu Kalvas) * bug fix: in FORMAT ~^ inside ~:{ now correctly steps to the next case instead of terminating the iteration (thanks for Julian Squires, Sean Champ and Raymond Toy) * bug fix: incorrect expansion of defgeneric that caused a style warning. (thanks for Zach Beane) * bug fix: slot accessor effective method computation works properly for classes with multiple non-standard applicable methods on SB-MOP:SLOT-VALUE-USING-CLASS. (reported by Ralf Mattes) * on x86 compiler supports stack allocation of results of LIST and LIST*, bound to variables, declared DYNAMIC-EXTENT. (based on CMUCL implementation by Gerd Moellmann) * fixed some bugs revealed by Paul Dietz' test suite: ** FORMAT strings with both the ~<~:;~> form of the justification directive and pretty-printing directives cause an error. -
-
-
sbcl_0_8_14
40256293 · ·changes in sbcl-0.8.14 relative to sbcl-0.8.13: * incompatible change: the internal functions SB-KERNEL:32BIT-LOGICAL-FOO, intended for providing efficient logical operations on (UNSIGNED-BYTE 32) values, have been renamed to SB-KERNEL:WORD-LOGICAL-FOO. Modular arithmetic should be used instead of the old functions. * new feature: on platforms where "dladdr" is available foreign function names now appear in backtraces. (based on Helmut Eller's work for CMUCL) * documentation: documentation for SB-BSD-SOCKETS, SB-GRAY, SB-SIMPLE-STREAMS, and SB-PROFILE have been integrated into the user manual. * documentation: ASDF manual is now distributed with SBCL. * bug fix: SBCL can now load its contributed modules with REQUIRE even if the system-provided entries have been removed from ASDF:*CENTRAL-REGISTRY*. Infinite recursion in REQUIRE is also detected. * bug fix: backtraces involving undefined functions or assembly routines are more informative. (thanks to Brian Downing) * bug fix: mutually referent alien structures now work correctly. (reported by Rick Taube) * bug fix: structures defined by WITH-ALIEN can be referred to within other definitions in the same WITH-ALIEN. * bug fix: division operators (MOD, TRUNCATE and the like) with constant zero divisors and integer dividends no longer generate left shifts. * bug fix: provide default methods for INPUT-STREAM-P and OUTPUT-STREAM-P specialized on SB-GRAY:FUNDAMENTAL-STREAM. * bug fix: improve the detection and resolution of MOP metacycles (where effective method computation depends on the generic function having its effective method computed). (reported by Bruno Haible) * bug fix: pass the right initargs to :BEFORE or :AFTER methods on SHARED-INITIALIZE or INITIALIZE-INSTANCE in optimized MAKE-INSTANCE constructors. (reported by Axel Schairer for cmucl) * bug fix: pathnames with relative directory components can be represented relative to default pathnames. * optimization: in taking the GCD of bignums, reduce the two bignums to approximately the same size (using Euclid's algorithm) before applying the more sophisticated binary GCD. (thanks to Juho Snellman) * optimization: COUNT on bitvectors now operates word-at-a-time. * optimization: ASH with a positive, but not necessarily constant, (leftwards) shift, when in a modular context, is compiled to a hardware shift. * fixed some bugs revealed by Paul Dietz' test suite: ** FORMAT variable parameters ("~V<char>") are defaulted properly if the corresponding argument is NIL. ** FORMAT directives accepting a minpad parameter treat negative values as 0. ** literal commas as character parameters to FORMAT directives are parsed correctly. ** literal spaces directly after ~<Newline> directives within a format-logical-block (~:< ~@:>) do not induce :FILL-style conditional newlines. ** PRINT-UNREADABLE-OBJECT inserts spaces as specified (and only as specified: it no longer includes conditional newlines). ** PRINC-TO-STRING binds *PRINT-READABLY* to NIL (as well as *PRINT-ESCAPE*). ** PPRINT-LOGICAL-BLOCK signals a TYPE-ERROR if its :PREFIX or :PER-LINE-PREFIX argument does not evaluate to a string. -
sbcl_0_8_13
db1814b9 · ·changes in sbcl-0.8.13 relative to sbcl-0.8.12: * new feature: SB-PACKAGE-LOCKS. See the "Package Locks" section of the manual for details; for now, package locks can be disabled by removing :SB-PACKAGE-LOCKS in customize-target-features.lisp, but if no major problems are found then it is likely that they will be compiled in unconditionally. * major incompatible change: LOAD-FOREIGN and LOAD-1-FOREIGN are now unsupported operators on all platforms. To load a shared library into SBCL, use SB-ALIEN:LOAD-SHARED-OBJECT. To load a non-shared object file, link it into a shared library outside of SBCL and load it using SB-ALIEN:LOAD-SHARED-OBJECT. (incidentally fixes bug #79) * bug workaround: ROOM T and the GC were not working together reliably, because invariants expected by the SB!VM:INSTANCE-USAGE reporting facility aren't preserved. That reporting has been disabled, so now until and unless someone figures out how to make it work reliably with the current GC, (ROOM T) is equivalent to (ROOM). * minor incompatible change: as threatened around sbcl-0.8.0, the home package of MOP-related symbols is now SB-MOP, not SB-PCL. The symbols are also exported from SB-PCL for backwards compatibility, but more so than before SB-PCL should be treated as an implementation-internal package. * fasl format changed: SBCL 0.8.13 fasls are incompatible with those of earlier versions * the SB-SPROF contrib now works on (most) non-x86 architectures. It is known as of this release not to work on the Alpha, however. * fixed bug #167: errors signalled due to illegal syntax in method bodies are now more legible. * fixed bug #338: instances of EQL-SPECIFIER are now valid type designators and can hence be used with TYPEP. * fixed bug #333: CHECK-TYPE now ensures that the type error signalled, if any, has the right object to be accessed by TYPE-ERROR-DATUM. (reported by Tony Martinez) * fixed bug #340: SETF of VALUES obeys the specification in ANSI 5.1.2.3 for multiple-value place subforms. (reported by Kalle Olavi Niemetalo) * fixed bug #334: programmatic addition of slots using specialized methods on SB-MOP:COMPUTE-SLOTS works for :ALLOCATION :INSTANCE and :ALLOCATION :CLASS slots. * fixed bug #269: SCALE-FLOAT scales floats by any integer, not just float exponents. (rereported by Peter Seibel) * fixed a bug: #\Space (and other whitespace characters) are no longer considered to be macro characters in standard syntax by GET-MACRO-CHARACTER. * fixed bug: initialization of condition class metaobjects no longer causes an instance of the condition to be created. (reported by Marco Baringer) * fixed bug: it is now possible to have slots such that SB-MOP:SLOT-DEFINITION-ALLOCATION of the effective slot description is neither :INSTANCE nor :CLASS. * fixed bug: the ctor optimization of MAKE-INSTANCE now respects user-defined methods on SLOT-BOUNDP-USING-CLASS and (SETF SLOT-VALUE-USING-CLASS), and no longer causes errors with non-standard SLOT-DEFINITION-ALLOCATION values. * fixed bugs: various race conditions handling exiting threads. CL-PPCRE's thread torture test now passes. * fixed arguably-a-bug: GC time proportional to number of threads in system even when most of them are idle * optimization: improved performance of BIT and SBIT on bit-vectors. * .fasl file incompatibility: The fasl file version number has been incremented because of changes associated with package locks. -
sbcl_0_8_12
bf5a814e · ·changes in sbcl-0.8.12 relative to sbcl-0.8.11: * minor incompatible change: the system no longer provides optimization hints (conditions which are TYPEP SB-EXT:COMPILER-NOTE) for conforming code in default compilation mode; these hints are still emitted when higher SPEED optimization is requested. * new contrib module: a sampling profiler (profiling by statistical sampling, rather than by instrumenting functions) is available as the SB-SPROF contrib. (thanks to Gerd Moellmann and Juho Snellman) * the behaviour of the standard function ED is now customizeable by third parties through a hook variable: see ED's documentation string for information on the protocol. * the compiler no longer emits efficiency notes for (FUNCALL X) when the type of X is uncertain under default optimization settings. * fixed bug 276: mutating a binding of a specialized parameter to a method to something that is not TYPEP the specializer is now possible. * fixed bugs 45d and 118: DOUBLE-FLOAT[-NEGATIVE]-EPSILON now exhibit the required behaviour on the x86 platform. (thanks to Peter van Eynde, Eric Marsden and Bruno Haible) * fixed bug 335: ATANH now computes the inverse hyperbolic tangent even for difficult arguments. (reported by Peter Graves) * fixed bug 141a: the backquote printer now descends quoted structure. * fixed another bug in backquote printing: no more destructive modification of the form's list structure. (reported by Brian Downing) * fixed bug in INTERRUPT-THREAD: pin the function, so that it cannot move between its address being taken and the call to interrupt_thread, fixing a crashing race condition. * the SB-POSIX contrib implementation has been adjusted so that it no longer exhibits ridiculously poor performance when constructing instances corresponding to C structs. -
sbcl_0_8_11
e6d893dd · ·changes in sbcl-0.8.11 relative to sbcl-0.8.10: * minor incompatible change: the sb-grovel contrib now treats C structures as alien (in the sense of SB-ALIEN) objects rather than as undistinguished (simple-array (unsigned-byte 8) (*))s. This has implications for memory management of client code (sb-grovel-returned objects must now be manually managed) and for type safety (alien objects now have full types). * new feature: the SB-EXT:MUFFLE-CONDITIONS declaration should be used to control emission of compiler diagnostics, rather than the SB-EXT:INHIBIT-WARNINGS OPTIMIZE quality. See the manual for documentation on this feature. The SB-EXT:INHIBIT-WARNINGS quality should be considered deprecated. * install.sh now installs the user manual as well * (not quite a new documentable feature, but worth considering in the light of the new SB-EXT:MUFFLE-CONDITIONS declaration): the beginnings of a semantically meaningful condition hierarchy is under development, for use in SB-EXT:MUFFLE-CONDITIONS and by IDEs. * fixed bug: PARSE-NAMESTRING now accepts any valid pathaname designator as the defaults argument. * fixed bug: Displaced arrays whose displaced-to array has become too small now cause ARRAY-DIMENSION to signal an error, providing for safer bounds-checking. (reported by Bruno Haible) * fixed bug: DEFCLASS slot definitions with identical :READER and :WRITER names now signal a reasonable error. (reported by Thomas Burdick) * fixed bug: CLOSE :ABORT T on appending stream no longer causes file deletion. * fixed bug: Invalid slot specification errors now print correctly. (thanks to Zach Beane) * fixed bug 320: Shared to local slot value transfers in class redefinitions now happen corrently from superclasses as well. (reported by Bruno Haible) * fixed bug 316: SHIFTF now accepts VALUES forms. (reported by Bruno Haible) * fixed bug 322: DEFSTRUCT :TYPE LIST type predicates now handle improper lists correctly. (reported by Bruno Haible) * fixed bug 313: source-transform for <fun-name> was erroneously applied to a call of a value of a variable with name <fun-name>. (reported by Antonio Menezes Leitao) * fixed bug 307: The obsolete instance protocol ensures that subclasses are properly obsoleted. (thanks to Nikodemus Siivola) * fixed bug 298, revealed by Paul F. Dietz' test suite: SBCL can remove dead unknown-values globs from the middle of the stack. * added a new restart to *BREAK-ON-SIGNALS* handling to make it easier to resume long computations after using *BREAK-ON-SIGNALS* to diagnose and fix failures. (thanks to Nikodemus Siivola) * fixed bug reported by PFD in lisppaste #747 (and Bruno Haible from CLISP test suite): WRITE-TO-STRING is not constant-foldable. * fixed bugs in COMPLEX type specifier: UPGRADED-COMPLEX-PART-TYPE is now consistent with (COMPLEX <x>); bugs in treatment of COMPLEX MEMBER and UNION types have likewise been fixed. (thanks to Bruno Haible) * fixed a (fairly theoretical) bug in string printing: if *PRINT-READABLY* is true, signal PRINT-NOT-READABLE if the string does not have array-element-type equal to the most general string type. * fixed bug: SET-PPRINT-DISPATCH does not immediately resolve function name. (thanks to Nikodemus Siivola) * fixed bug: compile-time format string checker failed on non-closed ~{. (reported by Thomas F Burdick) * fixed bug: as reported by Kalle Olavi Niemitalo on #lisp IRC, don't warn on legal loop code involving more than one aggregate boolean. (thanks to Nikodemus Siivola) * fixed bug: as reported by Peter Graves on #lisp IRC, passing a NIL in keyword position to MAKE-PACKAGE was not being reported as invalid. * fixed bug: as reported by Juan Ripoll on cmucl-imp, MULTIPLE-VALUE-BIND should be able to lexically bind lambda list keywords. * fixed bugs 280 and 312: the checking for multiple definitions in a file is less likely to become confused by uses of inline functions. * fixed bug: the #S reader macro performs the keyword coercion specified for slot names. (reported by Kalle Niemitalo) * fixed bug: lambda lists may contain symbols whose names start with & but are not lambda-list-keywords; their occurrence triggers a STYLE-WARNING. * fixed bug 321: define-method-combination argument lambda lists do not cause invalid code to be generated when &optional or &aux variables have default values. (reported by Bruno Haible) * fixed bug 327: system subclasses of STRUCTURE-OBJECT or CONDITION have CLOS classes; this appears also to have fixed reported instability in stack exhaustion detection. * fixed bug: the CONTROL-ERROR from ABORT, CONTINUE and MUFFLE-WARNING when no associated restart is present is now printable. * optimization: rearranged the expansion of various defining macros so that each expands into only one top-level form in a :LOAD-TOPLEVEL context; this appears to decrease fasl sizes by approximately 10%. * optimization: used a previously little-used slot in symbols to cache SXHASH values, yielding a 5-10% compiler speedup. (thanks to Juho Snellman) * fixed some bugs revealed by Paul Dietz' test suite: ** MAKE-INSTANCES-OBSOLETE returns the class name when called with a symbol. ** Fixed an optimization bug related to inheritance of initforms from local to shared slots. ** FILE-POSITION works as specified on BROADCAST-STREAMs. ** CAST optimizer forgot to flush argument derived type. ** print/read consistency on floats is now orders of magnitude more likely. (thanks also to Bruno Haible for a similar report and discussions) ** removed stack cleaning in the cleanup part of UNWIND-PROTECT. ** IMAGPART is specified (infelicitously) to return (* 0 <thing>) for objects of type REAL. Make it so. ** SXHASH is specified (infelicitously) to respect similarity, which means that (SXHASH 0.0) must equal (SXHASH -0.0). Make it so. (thanks to Markus Ziegler) ** on the Alpha, the compiler succeeds in compiling functions returning a known number of arguments greater than 63. ** fixed handling of invalid NIL arguments in keyword position in local calls. ** fixed non-pretty printing of arrays with *PRINT-RADIX* being true. ** provided a readably-printable representation for RANDOM-STATE objects. ** ensured that pathnames, where they have a namestring, always print using #P"..." syntax.