========================== C M U C L 19 b ============================= The CMUCL project is pleased to announce the release of CMUCL 19b. This is a major release which contains numerous enhancements and bugfixes from the 19a release. CMUCL is a free, high performance implementation of the Common Lisp programming language which runs on most major Unix platforms. It mainly conforms to the ANSI Common Lisp standard. CMUCL provides a sophisticated native code compiler; a powerful foreign function interface; an implementation of CLOS, the Common Lisp Object System, which includes multimethods and a metaobject protocol; a source-level debugger and code profiler; and an Emacs-like editor implemented in Common Lisp. CMUCL is maintained by a team of volunteers collaborating over the Internet, and is mostly in the public domain. New in this release: * Newly supported platforms: - CMUCL has been ported to Mac OS X. The port includes support for callbacks from foreign code, and linkage-table support (which makes it possible to dump images that contain references to foreign code). - the NetBSD/x86 platform is supported, with generational conservative garbage collection (the :gencgc *feature*), linkage-table support, and the Motif interface. * Feature enhancements: - Added a much faster and much less consy bignum printer and a faster bignum reader. - Extended REQUIRE to support *MODULE-PROVIDER-FUNCTIONS* from SBCL. - SIMPLE-STREAM fixes: o READ-SEQUENCE and WRITE-SEQUENCE for signed-byte/unsigned-byte 8 streams. o Memory-mapped file streams. - Large file support for Solaris, so CMUCL can handle files larger than 2GB. - A much faster GCD implementation. - A faster Karatsuba multiplier when the number of words of the bignums is not a power of 2. (Break-even is still around 1500 bits, though.) - New command-line switch -debug-lisp-search to show how lisp is searching for its core file. - DEBUG-RETURN implemented which allows you to return a value from function. Only enabled with DEBUG 3. - Lazy sxhash on symbols implemented for ppc. - Pretty-printer for LOOP. - Added some more pprinters for various forms. - Loop analysis code added to the compiler. It's incorporated into the build and can be enabled by setting *loop-analyze* to T, but the compiler doesn't use the loop information for anything yet. - Errors from socket functions signal a SOCKET-ERROR instead of a generic ERROR condition. - Efficiency notes are no longer printed if inhibit-warnings >= 2.5. - Simple support for datagram networking added: INET-RECVFROM, INET-SENDTO, INET-SHUTDOWN. - MAKE-INDENTING-STREAM and INDENTING-STREAM-P are exported from the EXTENSIONS package instead of being internal. - TRACE will work now for the known-return convention, which used to require encapsulation so that only the first call was traced. Useful for tracing recursive functions. - Bivalent streams are supported. Thus, streams with element-type (unsigned-byte 8) can be used for character input/output as well as binary input/output. Supply the option :CLASS 'EXT:BINARY-TEXT-STREAM for OPEN to get bivalent streams. EXT:READ-VECTOR and EXT:WRITE-VECTOR also implemented. This is somewhat experimental right now, and may change slightly in a future version. - Loading fasls compiled for a different version of CMUCL will now signal an EXT:INVALID-FASL error instead a generic error. * Numerous ANSI compliance fixes: - FILE-AUTHOR should signal errors appropriately. - CMUCL was computing the wrong value for some special functions when the argument was on the branch cut for the function. - MULTIPLE-VALUE-BIND accepts &REST and friends in the var list. - When constructing logical pathnames, all components will be automatically upcased. Needed for print/read consistency, and fixes an issue with ASDF and logical pathnames. - Numerous fixes to the float printer, including a new float printer. - Justification (~< ~> FORMAT directives) works better. - ~V with the value of NIL in format strings is treated to mean as if it weren't given at all, as specified by ANSI CL. - Characters print consistently with ~:C and ~S. - Numerous bug fixes for pretty-printing and format strings. - Pathnames are now printed with #P instead of #p. - The types COMPLEX and (COMPLEX REAL) are the same now. - UPGRADED-COMPLEX-PART-TYPE returns RATIONAL for integer types now. (CMUCL doesn't really have a (COMPLEX INTEGER) type). - When a pathname can't be printed readably, signal a PRINT-NOT-READABLE condition. - Printing arrays readably was sometimes wrong. - FOR-AS-ON-LIST works with dotted lists. - DEFSTRUCT predicates for list structures don't produce errors anymore on dotted or short lists. - UNBOUND-SLOT condition no longer takes the :slot keyword. It uses the ANSI-specified :name keyword. This is not backward compatible! - MAKE-SYMBOL takes STRINGs, not just SIMPLE-STRINGs. - PPRINT-POP did not return NIL when the list arg to PPRINT-LOGICAL-BLOCK was NIL. - Signal appropriate error conditions instead of a plain error condition in many situations. - TYPECASE was treating the type T as an otherwise clause even though it was not the last clause. It should be just a regular clause. - ASIN, ACOS, ACOSH, and ATANH were returning the wrong values when the arg was a real number on the branch cut. - Missed some places where loop variables were duplicated, which should signal a program-error. - LOOP INITIALLY clauses occur after variable initialization for FOR, WITH, and AS clauses, as required by ANSI CL. - Format bugs in ~{ and ~@[X~], as noted by ansi-tests, have been fixed. - Evaluation order of REMF, INCF, and DECF. - When *READ-SUPPRESS* is T, READ, READ-PRESERVING-WHITESPACE, READ-DELIMITED-LIST, and READ-FROM-STRING now return NIL, as specified by ANSI CL. (Previously, CMUCL would return a list of NILs.) - Pathname components of type :UNSPECIFIC are no longer printed in namestrings. - Dumping of symbols in fasls now works according to ANSI. - READ-FROM-STRING was sometimes not returning the correct second value when the string was a displaced string. - The invalid trait for constituent characters is handled better. - (formatter "~V[...~]") now returns a correct second value. - MAKE-DISPATCH-MACRO-CHARACTER is supposed to return T. - APROPOS and APROPOS-LIST no longer take 3 arguments. ANSI CL says they only take 2. - A reader error is signaled when bad ratios (like 1/0) are read or when a float can't fit into the specified float type. - A form like #(1 . 2) now signals a reader error. - NIL as a keyword arg is no longer silently accepted, unless NIL was actually a specified keyword arg. - Some cases of reader errors being signaled when *READ-SUPPRESS* was T no longer occur. - The datum slot for check-type contains the place-value now instead of the place. - The expected-type and datum should now be consistent in type-errors (datum is not of the expected-type). Similar situations in other errors are also corrected. * Numerous bugfixes: - FFLOOR and friends preserve the sign of the arg, so -0.0 is returned for negative args. - EXPT sometimes returned NaN instead of 1 when the power was 0. - Weak pointers no longer have O(n^2) GC behavior. - X11 authorization changes to solve problems seen with servers that don't listen to TCP connection requests. - UNIX-READ fix - The compiler would give an error on deriving the result type of RANDOM when the arg to RANDOM was a union type. - "~*~" was not being parsed to mean a wildcard version. - UNIX-GETPWUID implemented for Darwin. Needed for FILE-AUTHOR. - The compiler no longer gives errors when deriving the result type of COERCE when converting a integer to a float that would not fit in a float. - Fix bug in reading from streams with element-type SIGNED-BYTE for sizes greater than 32: Positive numbers were incorrectly being returned as negative. - REMOVE-DUPLICATES was not honoring the :START option. - PPRINT-LOGICAL-BLOCK sometimes didn't close the block properly because PPRINT-EXIT-IF-LIST-EXHAUSTED caused an early exit. - Macro expansion was not looking in the local environment properly for local definitions. - Circular weak pointers can now be printed when *PRINT-CIRCLE* is T. - "foo.lisp.*" is interpreted to have version :wild, just like "foo.lisp.~*~". - DIRECTORY will report all versions of a file if the pathname has version :wild. - Fixed bug with CLX on MacOS X where the WM-SIZE-HINTS were larger than CLX expected. Replaced card16 with card32. - Callbacks on sparc that returned double-floats were sometimes causing a sigbus error. - Type specifiers like (float low high) where low and high were outside the range of single-float numbers no longer cause compiler errors. - Fix source-form reporting in the disassembler. - Arrays in fasl files had non-NIL fill-pointer. Make them NIL. - FILE-POSITION was incorrectly set for simple-streams after a READ-VECTOR. - Printing 1d23 no longer causes an error. - Work around the problem of (concatenate 'fixnum '(1)) causing deletion of all following code. - A directory with a component of :WILD was not correctly handled. - CREATE-INET-LISTENER was missing a call to htonl. - (coerce #c(1 2) '(complex float)) works now. - Type derivation for logior and logxor was broken. - Fixed bug where (setf (aref f 0) (aref d 0)) doesn't produce a warning and causes code including the function return to be deleted, where f is a single-float array and d is a double-float array. - COUNT for bit arrays was sometimes failing to include the count from the last 32-bits of the array. - The default heap size was causing CMUCL to fail on Solaris 10. Change the default so this doesn't happen. (The real cause is unknown.) - In some cases, the compiler was spending large amounts of time deriving union of a bunch of disjoint integer intervals. If the union is long enough, we give up and just return the smallest new interval that contains all of the disjoint intervals. (This needs a better fix.) - The :WHEREIN option to TRACE handles methods now. - The maximum dynamic space size was wrong on Linux. - Type inferencing for OPEN was broken when :IF-DOES-NOT-EXIST was given and was not a compile-time constant. - ~G output always had a zero for the last digit when exponential form was used. Fix this so the last digit has the correct digit. - Output to (make-two-way-stream (make-concatenated-stream) (make-broadcast-stream)) silently discards output instead of producing an error. - STRING<, STRING<=, STRING>, STRING>= no longer produce incorrect results. - COPY-SEQ sometimes produced erroneous results because the compiler was confused by the derived result type of COPY-SEQ. - Many (all?) compiler failures about a STRANGE-TEMPLATE-FAILURE should be fixed. - Type derivation for LOGAND is fixed. (Affects LOGAND and LOGBITP.) - Type derivation for SCALE-FLOAT is fixed. Should also work better on x86. (But there are still bugs in x86's handling of single-floats.) - generic-site.lisp won't give an error when updating *HERALD-ITEMS* when the -quiet flag is used. - The disassembler handles closures better. - The result array for bit-* operations was sometimes too short if the args had fill pointers. - Weak hash tables no longer cause GC to go into an infinite loop. - (PEEK-CHAR nil s nil foo) doesn't remove the character that was read if FOO happens to match the character that PEEK-CHAR returns. - PROFILE sometimes crashes when an internal data structure was set to a non-boolean value. * Other changes: - Infinite loops in map and friends caused by specifying sequence types that are too hairy for CMUCL should no longer occur. But CMUCL will now signal an error, which may not be compliant either. - Compiler is a little smarter in deriving the result type of MAP. - MAKE-PATHNAME will accept a :HOST arg of NIL, and will use NIL as the host slot instead of filling in the host slot from the defaults. - CMUCL/sparc should now run on Solaris 10. This port no longer uses the reserved register %g7 anymore. The heap size is now rounded to a multiple of 8 MB. Without this, CMUCL eventually gets a GC error on Solaris 10 when using gencgc. There appear to be no problems with Cheney GC on Solaris 10. - The config script uses REQUIRE instead of LOAD to load up CMUCL's system libraries so there are no package-lock errors. - REQUIRE no longer disables package-locks when loading requested file. But package-locks are disabled for CMUCL's own system libraries like gray-streams, clx, etc. - CMUCL should fail gracefully on x86 if something is already mapped at addresses CMUCL wants for itself. Previously, CMUCL would just use it. * Improvements to the PCL implementation of CLOS: - AMOP-style custom slot allocation supported. - The value of a slot that is specified as shared in the old class and as local in the new class is now retained. - CMUCL supports using the class name for the :metaclass argument. * Changes to rebuilding procedure: - Added a new script to run all of the subscripts needed to build CMUCL. Won't handle all cases, but will handle the most common builds. This release is not binary compatible with code compiled using CMUCL 19a; you will need to recompile FASL files. See for download information, guidelines on reporting bugs, and mailing list details. We hope you enjoy using this release of CMUCL!