/[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.51 - (show annotations)
Sat Jun 7 09:39:46 2003 UTC (10 years, 10 months ago) by gerd
Branch: MAIN
Changes since 1.50: +1 -0 lines
File MIME type: text/plain
	Use int64-t for off-t on BSDs for large file support.
	Check return value of syscalls for -1 instead of < 0.

	* src/code/unix.lisp (quad-t) [#+bsd]: Removed.
	(int64-t, u-int64-t): Added.
	(off-t): Define as int64-t for BSDs.
	(file-offset): New deftype; (signed-byte 64) for BSDs,
	(signed-byte 32) otherwise.
	(unix-mmap): Remove FreeBSD version.  Move down after the
	definition of the syscall macro.
	(%syscall): New macro.  Test return value for being -1 instead
	of being < 0.
	(syscall): Use it.
	(off-t-syscall): New macro.
	(unix-lseek): Remove BSD-specific version.  Use off-t-syscall.
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, Linux/x86 and
23 Solaris. Code that makes the control stack overflow (for
24 example due to unbounded recursion) will lead to a
25 STORAGE-ERROR being signaled, instead of making CMUCL crash.
26 - LISP:FIND-CLASS and LISP:CLASS-OF now return CLOS classes. The
27 symbols LISP:STANDARD-CLASS, LISP:BUILT-IN-CLASS, and
28 LISP:STRUCTURE-CLASS name CLOS classes. It is no longer
29 necessary to SHADOWING-IMPORT these from PCL when doing MOP
30 programming, and it fixes some non-compliances as well.
31 - Package locks: a package whose EXT:PACKAGE-LOCK is enabled
32 non-NIL is protected against changes in its structure (list of
33 exported symbols, use-list etc). Symbols in a package whose
34 EXT:PACKAGE-DEFINITION-LOCK is enabled are protected against
35 redefinition.
36 - Weak hash tables have been added for x86 systems.
37 - Local functions are now named (FLET <name> ...) or
38 (LABELS <name> ...).
39 - Compiler checking control string and number of args to FORMAT.
40 - TRACE automatically using encapsulation when function-end
41 breakpoints cannot be used.
42 - INSPECT working on CLOS instances.
43 - Callbacks from foreign code to Lisp. Implemented for x86 and
44 sparc.
45 - Functions like GETHASH that are used in the implementation of
46 TRACE can now be traced. See also
47 DEBUG:*TRACE-ENCAPSULATE-PACKAGE-NAMES*.
48 - New facility for encapsulating functions, FWRAPPERS;
49 see also the CMUCL User Manual.
50 - TRACE and PROFILE have been reimplemented using fwrappers,
51 with the effect of tracing and profiling now working more
52 nicely together.
53 - When a profiled function is redefined, it is re-profiled.
54 - A basic implementation of simple-streams added. Some
55 functionality may be missing.
56 - UNIX:UNIX-LSEEK working with files > 2G on BSDs.
57
58 * Numerous ANSI compliance fixes:
59 - Many bugs in CMUCL's type system detected by Paul Dietz'
60 ANSI test suite have been fixed.
61 - Non-keyword keyword names in lambda lists are now accepted.
62 - Condition slot initialization fixed for the case that two
63 or more slots have the same :INITARG.
64 - Initforms are now evaluated once only during condition slot
65 initialization.
66 - USE-VALUE, STORE-VALUE, CONTINUE behavior corrected in presence
67 of multiple restarts having the same name.
68 - RESTART-CASE's interaction with local macros fixed.
69 - Interaction of COMPUTE-RESTARTS and RESTART-CASE fixed in
70 presence of multiple restarts having the same name.
71 - Condition slot readers/writers are generic functions.
72 - &WHOLE, &REST, &BODY in macro lambda lists can be followed
73 by destructuring patterns. The previous behavior of &BODY
74 when followed by (<body> <declarations> <doc>) is available
75 through the new lambda-list keyword EXT:&PARSE-BODY.
76 - ELT now signals an error in safe code when used on lists
77 with an out-of-bounds index.
78 - Accessing arrays in compiled code with out-of-bounds indices
79 now signals a TYPE-ERROR.
80 - DECLARE no longer being a special operator.
81 - DEFINE-CONDITION accepts slot option :DOCUMENTATION.
82 - Behavior of (... &KEY &ALLOW-OTHER-KEYS) fixed for
83 DESTRUCTURING-BIND and macros.
84 - Stricter checking of keyword argument list in CLOS methods.
85 - &ENVIRONMENT variable bound bound before other vars, regardless
86 of where it appears in a lambda-list.
87 - VALUES types no longer accepting &KEY or &ALLOW-OTHER-KEYS.
88 - THE conforming to ANSI.
89 - SLOT-EXISTS-P can be used with conditions.
90 - REMOVE-METHOD always returning the generic function passed to it.
91 - Standard methods for STANDARD-OBJECT and STRUCTURE-OBJECT
92 defined on MAKE-LOAD-FORM.
93 - Compliant MAKE-LOAD-FORM-SAVING-SLOTS.
94 - DEFSTRUCT recording slot-names as specified by users.
95 - Generic function call keyword argument checking according to
96 ANSI 7.6.5.
97 - CALL-NEXT-METHOD without arguments being called with original
98 arguments when method parameters are changed with SETQ.
99 - When CALL-NEXT-METHOD is called with arguments, an error is
100 signaled in safe code when the set of methods applicable to
101 CALL-NEXT-METHOD's arguments is different from the set of
102 methods applicable to the original method arguments.
103 - FIND-METHOD signaling an error when called with specializers
104 not corresponding to the number of required arguments of the
105 supplied generic function.
106 - TYPE-OF returning KEYWORD for keywords, STANDARD-CHAR for
107 standard characters, BOOLEAN for T, (INTEGER <N> <N>) for
108 integers N, non-list types for functions, and CLOS classes for
109 instances whose class doesn't have a proper name.
110 - Class precedence list of NULL not having SYMBOL before LIST,
111 precedence list of STANDARD-METHOD not having METHOD before
112 STANDARD-OBJECT.
113
114 * Numerous bugfixes:
115 - NSET-EXCLUSIVE-OR returns the same results as SET-EXCLUSIVE-OR
116 wrt to duplicate elements.
117 - Forms like (MULTIPLE-VALUE-BIND 'LIST) no longer trapping
118 an internal compiler error when compiled.
119 - PARSE-INTEGER signaling PARSE-ERROR.
120 - Compiler eliminating some type checks in safe code.
121 - Byte-compiler and -interpreter not handling C:&MORE.
122 - Some TYPE-ERRORs being signaled with unbound slots, which
123 made them undisplayable.
124
125 * Other changes:
126 - Removed obsolete alias from MAKE-VECTOR to MAKE-ARRAY
127 - the signature of *COMPILER-NOTIFICATION-FUNCTION* has changed;
128 it now has an extra argument that describes the nature of the
129 error or warning.
130
131 * Numerous improvements to the PCL implementation of CLOS:
132 - Gerd's PCL has been added, which fixes numerous bugs and ANSI/
133 AMOP non-compliances, and adds various new optimizations (also
134 see the CMU User Manual).
135 - PCL's class hierarchy has been changed to conform to AMOP, for
136 instance, GENERIC-FUNCTION is now a subclass of
137 STANDARD-OBJECT.
138 - ENSURE-CLASS-USING-CLASS's argument list has been changed
139 to conform to AMOP.
140 - COMPUTE-EFFECTIVE-SLOT-DEFINITION now takes a slot name as
141 argument, for AMOP compliance.
142 - SUBTYPEP works in presence of forward-referenced classes.
143 - Accessing slots of specialized parameters in (SETF
144 SLOT-VALUE-USING-CLASS) methods works.
145 - DIRECT-SLOT-DEFINITION-CLASS and EFFECTIVE-SLOT-DEFINITION-CLASS
146 AMOP compliant.
147 - ALLOCATE-INSTANCE working with structures defined with DEFSTRUCT.
148 - With (DEFGENERIC FOO (&REST X &KEY)) (DEFMETHOD FOO (&REST X) X),
149 (FOO 1) now signals an error.
150 - Methods with &OPTIONAL arguments detecting too many args.
151 - DEFMETHOD and DEFGENERIC detecting doubled lambda variables.
152 - DEFGENERIC :ARGUMENT-PRECEDENCE-ORDER option checking.
153 - SLOT-VALUE, (SETF SLOT-VALUE), SLOT-BOUNDP working with conditions.
154 - (SETF SLOT-VALUE) working on read-only structure slots like
155 in other implementations.
156 - The declaration identifiers SLOTS, AUTO-COMPILE,
157 NOT-AUTO-COMPILE have been moved from PCL to EXT.
158 - Support for inlineing methods in effective methods; see the
159 CMU User Manual.
160 - Wrong results could be returned from generic functions when
161 all methods returned constant values, and some methods were
162 qualified, or the generic function didn't use the standard
163 method combination.
164
165 * Improvements to Hemlock, the Emacs-like editor:
166
167 * Changes to rebuilding procedure:
168
169 * Deprecated features:
170 - EXT:ENCAPSULATE and associated functions; use fwrappers instead.
171
172 This release is not binary compatible with code compiled using CMUCL
173 18e; you will need to recompile FASL files.
174
175 See <URL:http://www.cons.org/cmucl/> for download information,
176 guidelines on reporting bugs, and mailing list details.
177
178
179 We hope you enjoy using this release of CMUCL!
180

  ViewVC Help
Powered by ViewVC 1.1.5