Tags give the ability to mark specific points in history as being important
-
sbcl_0_9_16
6d26ba97 · ·changes in sbcl-0.9.16 relative to sbcl-0.9.15: * feature: implemented the READER-METHOD-CLASS and WRITER-METHOD-CLASS portion of the Class Initialization Protocol as specified by AMOP. * incompatible change: variable SB-EXT:*USE-IMPLEMENTATION-TYPES* no longer exists. * optimization: faster LOGCOUNT implementation on x86 and x86-64 (thanks to Lutz Euler) * optimization: hashing of general arrays and vectors has been improved. (reported by Any Fingerhut) * enhancement: SB-INTROSPECT is now able to find definitions of profiled functions. (thanks to Troels Henriksen) * enhancement: compiler-macro expansion applies now to FUNCALL forms as well, allowing compiler-macros for SETF-functions to expand. * enhancement: step-instrumentation no longer wraps known single-value functions with multiple-value context, allowing better type inference. * fixed bug #337: use of MAKE-METHOD in method combination now works even in the presence of user-defined method classes. (reported by Bruno Haible and Pascal Costanza) * fixed bug #339(c): if there are applicable methods not part of any long-form method-combination group, call INVALID-METHOD-ERROR. (reported by Bruno Haible) * fixed bug #361: the :FUNCTION initarg in the protocol for initialization of methods can now be used to override internally-produced optimized functions. (reported by Bruno Haible) * bug fix: extensions of MAKE-METHOD-LAMBDA which wrap the system-provided lambda expression no longer cause warnings about unbound #:|pv-table| symbols. * bug fix: improved the handling of type declarations and the detection of violations for keyword arguments with non-constant defaults. * bug fix: potentially erronous calls to PATHNAME and MERGE-PATHNAMES were being flushed in some cases. (reported by Richard Kreuter) * bug fix: compiled calls to TYPEP were mishandling obsolete instances. (reported by James Bielman and Attila Lendvai) * bug fix: format strings with ~> without matching ~< no longer trigger an AVER, but signal an understandable error instead. (reported by Antonio Martinez) * bug fix: specifying an output-file without a pathname-type for COMPILE-FILE or COMPILE-FILE-PATHNAME resulted in using the type of input-file instead of "fasl". (reported by Robert Dodier) * bug fix: compiler-macro lambda-list parsing of FUNCALL forms. (reported by James Y Knight). * bug fix: compiler-macros-function did not consider the environment argument for shadowing by local functions. * bug fix: compiler-macros expansion was inhibited by local INLINE declarations. * bug fix: inline expansions of known functions were subject to step-instrumentation in high debug policies, leading to problems with type-inference. * bug fix: compiler failed to differentiate between different CONS types in some cases. * bug fix: fixed input, output and error redirection in RUN-PROGRAM for win32. (thanks to Mike Thomas and Yaroslav Kavenchuk) * bug fix: #368: incorrect use of expressed vs. upgraded array element type. * bug fix: #306a: more precise unions of array types. * thread-safety improvements: ** CONDITION-WAIT could return early on Linux, if the thread was interrupted and subsequently continued with SIGCONT. ** STABLE-SORT and ADJUST-ARRAY were not reentrant. -
sbcl_0_9_14
02e900a3 · ·changes in sbcl-0.9.14 relative to sbcl-0.9.13: * feature: thread support on Solaris/x86, and experimental thread support on OS X/x86. * feature: SBCL now tries to signal a STORAGE-CONDITION when running out of heap. * feature: SBCL now provides USE-VALUE and STORE-VALUE restarts in the default method for SLOT-UNBOUND. * minor incompatible change: prevent the user from specializing the new-value argument to SB-MOP:SLOT-VALUE-USING-CLASS. It's somewhat counter to the intent of the protocol, I (CSR) think, and additionally it just doesn't work in SBCL as currently implemented, thanks to optimizations (that are always valid for the other three SLOT-VALUEish functions, but not for the setter). * minor incompatible change: the :SB-LDB feature is now enabled by default, and DISABLE-DEBUGGER and ENABLE-DEBUGGER also affect the low-level debugger. * enchancement: RUN-PROGRAM is now able to extract the file-descriptor from SYNONYM-STREAM and TWO-WAY-STREAM provided they can be decomposed down to an SB-SYS:FD-STREAM, allowing direct communication in more cases. Temporary files and pipes are still used as a fallback strategy. * thread-safety: DECODE-UNIVERSAL-TIME & GET-DECODED-TIME depended on the non-reentrant C functions localtime(3) and gmtime(3). * bug fix: global optimization policy was not visible in LOCALLY and MACROLET forms. * bug fix: class objects can be used as specializers in methods. (reported by Pascal Costanza) * bug fix: native unparsing of pathnames with :DIRECTORY NIL failed with a type error. (reported by blitz_ on #lisp) * bug fix: unparsing logical pathnames with :NAME :WILD :TYPE NIL failed with a type error. (reported by Pascal Bourguignon) * bug fix: merging pathnames against defaults with :DIRECTORY starting with '(:RELATIVE :BACK) should preserve the :BACK. (reported by James Y Knight) * bug fix: saving large (>2GB) cores on x86-64 now works * bug fix: a x86-64 backend bug when compiling (setf aref) with a constant index and a (simple-array (signed-byte 32)) array * bug fix: NAME-CHAR on an invalid symbol no longer signals an error (patch by Robert J. Macomber) * feature: TIME now displays the amount of run-time spent in GC * bug fix: The debugger now does a better job of respecting (PUSH '(*PRINT-CIRCLE* . T) SB-DEBUG:*DEBUG-PRINT-VARIABLE-ALIST*) when printing SB-DEBUG:*DEBUG-CONDITION*. (This is a debugger-only workaround for bug 403.) * bug fix: floating point exception handling now works on FreeBSD (thanks to NIIMI Satoshi) * fixed some bugs revealed by Paul Dietz' test suite: ** MISC.641: LET-conversion were not supposed to work in late compilation stages. * improvements to the Win32/x86 port: ** GET-INTERNAL-RUN-TIME implemented, thanks to Frank Buss. ** improved SB-BSD-SOCKETS support, thanks to Timothy Ritchey. -
sbcl_0_9_13
fcd29061 · ·changes in sbcl-0.9.13 relative to sbcl-0.9.12: * new feature: source path information is generated for macro-expansion errors for use in IDE's like Slime (thanks to Helmut Eller) * bug fix: calls to the compiler no longer modify *RANDOM-STATE* * bug fix: compiler does not loop forever on an invalid type in TYPEP. * improvement: compilation of most CLOS applications is significantly faster * optimization: added a limited bytecode compiler for simple toplevel forms, speeding up compilation and FASL loading * bug fix: the statistical profiler now properly distinguishes anonymous functions -
sbcl_0_9_11
2e3a763d · ·changes in sbcl-0.9.11 relative to sbcl-0.9.10: * new platform: experimental support for SBCL x86/Darwin, including MacOS X 10.4.5 on Intel. * new feature: Unicode character names are now known to the system (through CHAR-NAME and NAME-CHAR). * new feature: the filesystem location of SBCL's core file is exposed to lisp through the variable SB-EXT:*CORE-PATHNAME*. * minor incompatible change: the contrib modules SB-POSIX and SB-BSD-SOCKETS no longer depend on stub C libraries; the intent of this change is to make it easier to distribute location-independent binaries. * bug fix: as implied by AMOP, standardized classes no longer have slots named by external symbols of public packages. (reported by Pascal Costanza) * optimization: calling functions via constant symbols -- as in (FUNCALL 'FOO) -- is now roughly as efficient as calling them via the function object as in (FUNCALL #'FOO). * optimization: on x86 and x86-64, the calling convention for the case of dealing with an unknown number of values has been altered to be friendlier to the prediction heuristics implemented, particularly with reference to CALL and RET pairing. (thanks to Alastair Bridgewater) * optimization: on x86, the code for access to thread-local symbol values and binding/unbinding of thread-local symbols is smaller. (thanks to Alastair Bridgewater) * enhancement: CONSTANTP is now able to determine constantness of more complex forms, including calls to constant-foldable standardized functions and some special forms beyond QUOTE. * fixed bug: occasional GC crashes on Solaris/x86 * optimization: x86-64 supports stack allocation of results of simple calls of MAKE-ARRAY, bound to variables, declared DYNAMIC-EXTENT * enchancement: the PROCESS-INPUT and -OUTPUT streams created by SB-EXT:RUN-PROGRAM can be used for both character and byte IO (thanks to James Knight) * fixed bug: CL:LISTEN always returns NIL at end of file, as required by the standard (thanks to Stephen Compall) -
sbcl_0_9_10
98329126 · ·changes in sbcl-0.9.10 relative to sbcl-0.9.9: * new feature: new SAVE-LISP-AND-DIE keyword argument :EXECUTABLE can be used for bundling the runtime and the core file into one executable binary. This feature is not currently supported on all SBCL platforms. (thanks to James Bielman and NIIMI Satoshi) * new feature: a generational or ephemeral garbage collector is now the default on the PowerPC platform (both Linux and Darwin). The old Cheney (stop and copy) collector is a build-time option. (thanks to Cyrus Harmon, after Raymond Toy) * minor incompatible change: the method by which SBCL finds its contributed modules has changed; it no longer relies on symbolic links from an $SBCL_HOME/systems directory, but searches directly in the subdirectories of $SBCL_HOME. * enhancement: the dynamic heap size on the Linux/PPC platform is markedly larger, even using the older Cheney garbage collector. * fixed bug #399: full call to DATA-VECTOR-REF in accesses to certain complicated string types. (reported by Gary King) * fixed bug: STRING-TO-OCTETS and OCTETS-TO-STRING did not convert character codes. (thanks to Yaroslav Kavenchuk and Ivan Boldyrev) * fixed bug: DOCUMENTATION on structures no longer signals an error if no structure type of the right name exists. (reported by Glenn Ehrlich) * fixed bug: compiled calls to MAKE-INSTANCE where there is an applicable non-standard primary or :AROUND method on INITIALIZE-INSTANCE or SHARED-INITIALIZE and a non-keyword initarg no longer cause unbound variable errors. (reported by Kevin Reid) * fixed bug: metacircle resolution in cases where methods have slots added before the slots from STANDARD-METHOD. (reported by Jean Bresson) * fixed bug: the Power PC assembly code for calling into lisp sometimes computed its return address wrongly (depending on the 15th bit of the address, fixed at link time). This used to manifest itself in a segmentation violation while building PCL. (reported by Kevin Rosenberg, Eric Marsden, Lars Brinkhoff and many others over the years) * fixed bug: ROOM no longer reports silly numbers for stack usage if the stack pointer (treated as a signed integer) is negative. (thanks to Peter van Eynde) -
sbcl_0_9_9
8464b733 · ·changes in sbcl-0.9.9 relative to sbcl-0.9.8: * new platform: experimental support for the Windows operating system has been added. (thanks to Alastair Bridgewater) * fixed several bugs in and robustified the PPC FFI (including callbacks). (thanks to Cyrus Harmon and Heiner Schwarte) * bug fix: allow non-simple string symbol names (reported by Paul Dietz) * bug fix: interrupt handling on NetBSD (thanks to Richard M Kreuter) * bug fix: saving a core corrupted callbacks on x86/x86-64 * bug fix: closed a loophole in metacircularity detection and grounding in the PCL implementation of CLOS. * bug fix: TRUENAME on "/" no longer returns a relative pathname. (reported by tomppa on #lisp) * bug fix: clear the direction flag on Lisp -> C transitions, as required by the x86-64 ABI. Fixes mysterious GC crashes on SuSE. (reported by Andrej Grozin and Hendrik Maryns) * optimization: major improvements to GC efficiency on GENCGC platforms * optimization: faster implementation of EQUAL * optimization: emit more efficient opcodes for some common immediate->register MOV instructions on x86-64. (thanks to Lutz Euler) * optimization: several other minor code-generation improvements on x86-64 * fixed segfaults on x86 FreeBSD 7-current. (thanks to NIIMI Satoshi) -
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.