ViewVC logotype

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

Parent Directory Parent Directory | Revision Log Revision Log

Revision 1.91 - (show annotations)
Sun Aug 31 10:50:15 2003 UTC (10 years, 7 months ago) by gerd
Branch: MAIN
CVS Tags: lisp-executable-base
Branch point for: lisp-executable
Changes since 1.90: +3 -0 lines
File MIME type: text/plain
	* src/code/signal.lisp (:SIGPROF): Set to 27 as kill -l tells.

	* src/code/unix-glibc2.lisp (unix-mmap): Likewise to unix.lisp.
1 ========================== C M U C L 19 a =============================
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.
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.
19 New in this release:
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
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 ERROR and WARN.
41 - TRACE automatically using encapsulation when function-end
42 breakpoints cannot be used.
43 - INSPECT working on CLOS instances.
44 - Callbacks from foreign code to Lisp. Implemented for x86 and
45 sparc.
46 - Functions like GETHASH that are used in the implementation of
47 TRACE can now be traced. See also
49 - New facility for encapsulating functions, FWRAPPERS;
50 see also the CMUCL User Manual.
51 - TRACE and PROFILE have been reimplemented using fwrappers,
52 with the effect of tracing and profiling now working more
53 nicely together.
54 - When a profiled function is redefined, it is re-profiled.
55 - A basic implementation of simple-streams added. Some
56 functionality may be missing.
57 - UNIX:UNIX-LSEEK working with files > 2G on BSDs.
58 - Type declarations on local bindings of special variables no
59 longer being ignored.
60 - DISASSEMBLE disassembling closure/funcallable instance
61 functions.
62 - (SETF EXT:WEAK-POINTER-VALUE) has been added.
63 - CMUCL no longer entering an infinite loop when dumping
64 circular constant lists to fasl files.
65 - COMPILE-FILE-PATHNAME's BYTE-COMPILE keyword arg defaulting
67 - Added VOPs for CHAR=, CHAR<, and CHAR> when the second arg is a
68 constant character.
69 - Added missing VOPs for Sparc for array refs with a constant
70 index.
71 - Lisp binary will also look at the PATH envvar to find out it's
72 own location which is used to find other needed files.
73 - Byte-compiled code being executed ca. 1/3 faster.
75 * Numerous ANSI compliance fixes:
76 - Many bugs in CMUCL's type system detected by Paul Dietz'
77 ANSI test suite have been fixed.
78 - Non-keyword keyword names in lambda lists are now accepted.
79 - Condition slot initialization fixed for the case that two
80 or more slots have the same :INITARG.
81 - Initforms are now evaluated once only during condition slot
82 initialization.
83 - USE-VALUE, STORE-VALUE, CONTINUE behavior corrected in presence
84 of multiple restarts having the same name.
85 - RESTART-CASE's interaction with local macros fixed.
86 - Interaction of COMPUTE-RESTARTS and RESTART-CASE fixed in
87 presence of multiple restarts having the same name.
88 - Condition slot readers/writers are generic functions.
89 - &WHOLE, &REST, &BODY in macro lambda lists can be followed
90 by destructuring patterns. The previous behavior of &BODY
91 when followed by (<body> <declarations> <doc>) is available
92 through the new lambda-list keyword EXT:&PARSE-BODY.
93 - ELT now signals an error in safe code when used on lists
94 with an out-of-bounds index.
95 - Accessing arrays in compiled code with out-of-bounds indices
96 now signals a TYPE-ERROR.
97 - DECLARE no longer being a special operator.
98 - DEFINE-CONDITION accepts slot option :DOCUMENTATION.
99 - Behavior of (... &KEY &ALLOW-OTHER-KEYS) fixed for
100 DESTRUCTURING-BIND and macros.
101 - Stricter checking of keyword argument list in CLOS methods.
102 - &ENVIRONMENT variable bound bound before other vars, regardless
103 of where it appears in a lambda-list.
104 - VALUES types no longer accepting &KEY or &ALLOW-OTHER-KEYS.
105 - THE conforming to ANSI.
106 - SLOT-EXISTS-P can be used with conditions.
107 - REMOVE-METHOD always returning the generic function passed to it.
108 - Standard methods for STANDARD-OBJECT and STRUCTURE-OBJECT
109 defined on MAKE-LOAD-FORM.
111 - DEFSTRUCT recording slot-names as specified by users.
112 - Generic function call keyword argument checking according to
113 ANSI 7.6.5.
114 - CALL-NEXT-METHOD without arguments being called with original
115 arguments when method parameters are changed with SETQ.
116 - When CALL-NEXT-METHOD is called with arguments, an error is
117 signaled in safe code when the set of methods applicable to
118 CALL-NEXT-METHOD's arguments is different from the set of
119 methods applicable to the original method arguments.
120 - FIND-METHOD signaling an error when called with specializers
121 not corresponding to the number of required arguments of the
122 supplied generic function.
123 - TYPE-OF returning KEYWORD for keywords, STANDARD-CHAR for
124 standard characters, BOOLEAN for T, (INTEGER <N> <N>) for
125 integers N, non-list types for functions, and CLOS classes for
126 instances whose class doesn't have a proper name.
127 - Class precedence list of NULL not having SYMBOL before LIST,
128 precedence list of STANDARD-METHOD not having METHOD before
130 - ADD-METHOD returning its first argument, the generic function.
131 - DEFCLASS redefining a class with the given name only if the
132 name is the proper name of an existing class.
133 - KEYWORD package no longer having nickname "".
134 - COMMON-LISP-USER package no longer having nickname USER.
135 - COMMON-LISP package no longer having nickname LISP; LISP
136 and COMMON-LISP are now separate packages.
138 returning values specified by the standard when SLOT-UNBOUND
139 or SLOT-MISSING are called and return.
140 - NTH and NTHCDR accepting bignums as first argument.
141 - First arg of CERROR may be a function.
142 - Lambda-lists of the form (X . Y) in DESTRUCTURING-BIND and macros
143 are now equivalent to (X &REST Y).
144 - LAST, BUTLAST, NBUTLAST accepting bignum counts.
146 - FIXNUM no longer naming a function.
148 - Numerous LOOP fixes.
150 * Numerous bugfixes:
151 - NSET-EXCLUSIVE-OR returns the same results as SET-EXCLUSIVE-OR
152 wrt to duplicate elements.
153 - Forms like (MULTIPLE-VALUE-BIND 'LIST) no longer trapping
154 an internal compiler error when compiled.
156 - Compiler eliminating some type checks in safe code.
157 - Byte-compiler and -interpreter not handling C:&MORE.
158 - Some TYPE-ERRORs being signaled with unbound slots, which
159 made them undisplayable.
160 - Structure predicates no longer signaling an error when applied
161 to obsolete instances.
162 - A DEFTRANSFORM for array bounds checking had an off-by-1 error.
163 - Compiler was not properly deriving the type of FTRUNCATE in all
164 cases.
165 - Fixed error wherein certain uses of 2 arg ATAN caused a
166 compiler error on x86.
167 - Compiler wrongly signaling a type error in VOLATILE-INFO-LOOKUP or
168 COMPACT-INFO-LOOKUP for hash values equal to MOST-POSITIVE-FIXNUM.
169 - FFLOOR and FCEILING return types sometimes being inferred as
170 being the nil type.
171 - PARSE-TIME accepting GMT offsets with a leading plus sign.
172 - UNIX-MMAP not accepting a null fd, preventing anonymous
173 mappings.
174 - SIGPROF having the wrong value on GNU/Linux.
176 * Other changes:
177 - CREATE-REQUEST-SERVER has an additional :reuse-address keyword
178 argument.
179 - Removed obsolete alias from MAKE-VECTOR to MAKE-ARRAY
180 - the signature of *COMPILER-NOTIFICATION-FUNCTION* has changed;
181 it now has an extra argument that describes the nature of the
182 error or warning.
183 - File versioning occurs when the version component is :NEWEST,
184 and Emacs style file versions are created: foo.bar.~N~, where
185 the larger N is newer. foo.bar is the newest version.
186 - Converting namestrings to pathnames now get a version component
187 of NIL instead of :NEWEST.
188 - *DEFAULT-PATHNAME-DEFAULTS* has a version component of
189 :UNSPECIFIC instead of :NEWEST so versioning is disabled by
190 default to preserve current behavior. Set the version to
191 :NEWEST to create versions.
192 - LDB backtrace on x86.
193 - DYNAMIC-EXTENT support on x86 and sparc. Stack-allocation can
194 be controlled by the setting of
196 Manual. Be warned that all bets are off if a stack-allocated
197 object or parts of it escape; CMUCL might crash or format your
198 hard disk.
199 - Generational GC (gencgc) available for Sparc/Solaris on an
200 experimental basis. Despite the name and feature, it is not
201 conservative.
203 * Numerous improvements to the PCL implementation of CLOS:
204 - Gerd's PCL has been added, which fixes numerous bugs and ANSI/
205 AMOP non-compliances, and adds various new optimizations (also
206 see the CMU User Manual).
207 - PCL's class hierarchy has been changed to conform to AMOP, for
208 instance, GENERIC-FUNCTION is now a subclass of
210 - ENSURE-CLASS-USING-CLASS's argument list has been changed
211 to conform to AMOP.
212 - COMPUTE-EFFECTIVE-SLOT-DEFINITION now takes a slot name as
213 argument, for AMOP compliance.
214 - SUBTYPEP works in presence of forward-referenced classes.
215 - Accessing slots of specialized parameters in (SETF
216 SLOT-VALUE-USING-CLASS) methods works.
218 AMOP compliant.
219 - ALLOCATE-INSTANCE working with structures defined with DEFSTRUCT.
221 (FOO 1) now signals an error.
222 - Methods with &OPTIONAL arguments detecting too many args.
223 - DEFMETHOD and DEFGENERIC detecting doubled lambda variables.
225 - SLOT-VALUE, (SETF SLOT-VALUE), SLOT-BOUNDP working with conditions.
226 - (SETF SLOT-VALUE) working on read-only structure slots like
227 in other implementations.
228 - The declaration identifiers SLOTS, AUTO-COMPILE,
229 NOT-AUTO-COMPILE have been moved from PCL to EXT.
230 - Support for inlineing methods in effective methods; see the
231 CMU User Manual.
232 - Wrong results could be returned from generic functions when
233 all methods returned constant values, and some methods were
234 qualified, or the generic function didn't use the standard
235 method combination.
236 - For standard method combination and method combinations defined
237 with the short form of DEFINE-METHOD-COMBINATION: If there are
238 no applicable primary methods when a generic function is
239 called, the generic function PCL:NO-PRIMARY-METHOD is called.
240 The default method of this generic function signals a
241 continuable error of type PCL:NO-PRIMARY-METHOD-ERROR.
242 - Effective methods are no longer precomputed at method load
243 time, if the generic function has more than
244 PCL:*MAX-EMF-PRECOMPUTATION-METHODS* methods (default 100).
245 - The loading of methods with invalid qualifiers no longer
246 signals an error, for standard's conformance. Instead, a
247 warning is printed at method load time. An error is
248 signaled if the generic function is called with arguments such
249 that the method is used.
250 - Redefining a generic function with a different method
251 combination now recomputes effective methods.
253 * Improvements to Hemlock, the Emacs-like editor:
255 * Changes to rebuilding procedure:
257 * Deprecated features:
258 - EXT:ENCAPSULATE and associated functions; use fwrappers instead.
260 This release is not binary compatible with code compiled using CMUCL
261 18e; you will need to recompile FASL files.
263 See <URL:http://www.cons.org/cmucl/> for download information,
264 guidelines on reporting bugs, and mailing list details.
267 We hope you enjoy using this release of CMUCL!

  ViewVC Help
Powered by ViewVC 1.1.5