Forked from
cmucl / cmucl
4287 commits behind the upstream repository.
release-19b.txt 14.76 KiB
========================== 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 <URL:http://www.cons.org/cmucl/> for download information,
guidelines on reporting bugs, and mailing list details.
We hope you enjoy using this release of CMUCL!