/[cmucl]/src/general-info/release-19a.txt
ViewVC logotype

Contents of /src/general-info/release-19a.txt

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.5 - (show annotations)
Sun Apr 13 11:57:16 2003 UTC (11 years ago) by gerd
Branch: MAIN
Changes since 1.4: +5 -0 lines
File MIME type: text/plain
  	The SEQUENCE-COUNT type was previously used in c:fndb, but since
	C::SEQUENCE-COUNT /= KERNEL::SEQUENCE-COUNT, it was an unknown
	type.  Please read boot4.lisp.

	* src/code/exports.lisp ("KERNEL"): Export sequence-count.

	* src-types/bootfiles/18e/boot4.lisp: New file.


	Make compute-effective-slot-definition AMOP compliant.
	Patch from Kevin Rosenberg.

	* src/pcl/std-class.lisp (compute-slots): Pass slot name
	to compute-effective-slot-definition.
	(compute-slots): Likewise.
	(compute-effective-slot-definition): Add parameter slot-name.

	* src/pcl/generic-functions.lisp (compute-effective-slot-definition):
	Add second parameter slot-name.


	Allow non-keyword keyword names in lambda lists.  This fixes test
	cases STRUCTURE-BOA-TEST-15/[1-8], and FLET.30.

	* src/compiler/node.lisp (arg-info): Accept non-keyword
	keyword names.

	* src/code/type.lisp (key-info): Likewise.


	Fix type system bugs detected by Paul Dietz' test suite
	This is to a large extent a port from SBCL.

	* src/code/type.lisp: Mostly rewritten with code ported from
	SBCL.

	* src/compiler/typetran.lisp (ir1-transform-type-predicate):
	Return nil if type is *empty-type*.
	(source-transform-negation-typep)
	(source-transform-intersection-typep): New functions.
	(source-transform-array-typep): Handle unknown array element types.
	(typep): Add handling of negation and intersection types.

	* src/compiler/srctran.lisp (make-canonical-union-type):
	Simplify, now that #'type-union is smarter.
	(ir1-transform-<-helper): Give up on non-numeric, non-member
	types.

	* src/compiler/checkgen.lisp (type-test-cost): Add a case
	for intersection-type.
	(values-types-asserted): Don't use coerce-to-values, see
	the comment there.

	* src/compiler/array-tran.lisp (array-dimension): Accept
	:maybe as array-type-complexp.

	* src/code/pred.lisp (%%typep): Add handling of
	negation-types and intersection-types.  Change cases of
	hairy-types, union-types, and arrays with unknown element type.

	* src/code/exports.lisp ("KERNEL"): Export negation-type,
	negation-type-type, intersection-type, intersection-type-types.

	* src/code/class.lisp (sealed-class-intersection):
	Return one value.
	(class :simple-intersection): Return one value, return nil in
	the default case.
	(class :complex-subtypep-arg2): New type method.
1 ========================== C M U C L 18 e =============================
2
3 [--- WORK IN PROGRESS --- DO NOT DISTRIBUTE ---]
4
5 The CMUCL project is pleased to announce the release of CMUCL 19a.
6 This is a major release which contains numerous enhancements and
7 bugfixes from the 18e release.
8
9 CMUCL is a free, high performance implementation of the Common Lisp
10 programming language which runs on most major Unix platforms. It
11 mainly conforms to the ANSI Common Lisp standard. CMUCL provides a
12 sophisticated native code compiler; a powerful foreign function
13 interface; an implementation of CLOS, the Common Lisp Object System,
14 which includes multimethods and a metaobject protocol; a source-level
15 debugger and code profiler; and an Emacs-like editor implemented in
16 Common Lisp. CMUCL is maintained by a team of volunteers collaborating
17 over the Internet, and is mostly in the public domain.
18
19 New in this release:
20
21 * Feature enhancements:
22 - Stack overflow checking added for FreeBSD/x86 and Linux/x86.
23 - LISP:FIND-CLASS and LISP:CLASS-OF now return CLOS classes. The
24 symbols LISP:STARDARD-CLASS, LISP:BUILT-IN-CLASS, and
25 LISP:STRUCTURE-CLASS name CLOS classes. It is no longer
26 necessary to SHADOWING-IMPORT these from PCL when doing MOP
27 programming, and it fixes some non-compliances as well.
28 - Weak hash tables have been added for x86 systems.
29 - Local functions are now named (FLET <name> ...) or
30 (LABELS <name> ...).
31
32 * Numerous ANSI compliance fixes:
33 - Many bugs in CMUCL's type system detected by Paul Dietz'
34 ANSI test suite have been fixed.
35 - Non-keyword keyword names in lambda lists are now accepted.
36
37 * Numerous bugfixes:
38
39 * Other changes:
40
41 * Numerous improvements to the PCL implementation of CLOS:
42 - Gerd's PCL has been added, which fixes numerous bugs and ANSI/
43 AMOP non-compliances, and adds various new optimizations (also
44 see the CMU User Manual).
45 - PCL's class hierarchy has been changed to conform to AMOP, for
46 instance, GENERIC-FUNCTION is now a subclass of
47 STANDARD-OBJECT.
48 - ENSURE-CLASS-USING-CLASS's argument list has been changed
49 to conform to AMOP.
50 - COMPUTE-EFFECTIVE-SLOT-DEFINITION now takes a slot name as
51 argument, for AMOP compliance.
52
53 * Improvements to Hemlock, the Emacs-like editor:
54
55 * Changes to rebuilding procedure:
56
57 * Deprecated features:
58
59
60 This release is not binary compatible with code compiled using CMUCL
61 18e; you will need to recompile FASL files.
62
63 See <URL:http://www.cons.org/cmucl/> for download information,
64 guidelines on reporting bugs, and mailing list details.
65
66
67 We hope you enjoy using this release of CMUCL!
68

  ViewVC Help
Powered by ViewVC 1.1.5