accessors that are related by inheritance, as specified in the
:CONC-NAME section of the specification of DEFSTRUCT. (thanks to
Valtteri Vuorikoski)
- * the compiler is now able to inline functions that were defined in
+ * The compiler is now able to inline functions that were defined in
a complex lexical environment (e.g. inside a MACROLET).
* fixed bug in DESCRIBE, which now works on rank-0 arrays. (thanks
to Lutz Euler)
- * support for the upcoming FreeBSD-5.0 release has been included.
+ * Support for the upcoming FreeBSD-5.0 release has been included.
(thanks to Dag-Erling Smorgrav)
* fixed bug 219: DEFINE-COMPILER-MACRO no longer has compile-time
effect when it is not in a toplevel context.
- * fixed some more bugs revealed by Paul Dietz' test suite:
+ * fixed bug 222: DEFMETHOD and SYMBOL-MACROLET interactions now
+ stand a better chance of being correct. (thanks to Gerd
+ Moellmann)
+ * fixed bug in COERCE, which now signals an error on coercing a
+ rational to a bounded real type which excludes the expected
+ answer.
+ * The compiler is now able to derive types more accurately from the
+ COERCE and COMPILE functions.
+ * fixed bug 223: functional binding is considered to be constant
+ only for symbols in the CL package.
+ * fixed bug 231: SETQ did not check the type of a variable being set
+ (reported by Robert E. Brown)
+ * A new optimization for MAKE-INSTANCE has been included, fixing
+ various bugs (including relating to :ALLOCATION :CLASS slots and
+ :DEFAULT-INITARGS over-eager evalueation). (thanks to Gerd
+ Moellmann)
+ * fixed some LOOP bugs revealed by Paul Dietz' test suite:
** As required by ANSI, LOOP now disallows anonymous collection
clauses such as COLLECT I in conjunction with aggregate boolean
clauses such as THEREIS (= I 1);
to WITH A = 1 WITH A = (1+ A);
** IT is only a special loop symbol within the first clause of a
conditional loop clause;
+ ** LOOP with a typed iteration variable over a hashtable now
+ signals a type error iff it should.
+ * fixed some other bugs revealed by Paul Dietz' test suite:
** FILE-STREAM now names the class previously known as FD-STREAM;
** in DEFSTRUCT, a bare :CONC-NAME (or a :CONC-NAME with no
argument) no longer signals an error;
+ ** likewise in DEFSTRUCT, :CONC-NAME NIL now respects the package
+ of the slot symbol, rather than using the current package
+ ((:CONC-NAME "") continues to intern the slot's name in the
+ current package);
* incremented fasl file version number, because of the incompatible
change to the DEFSTRUCT-DESCRIPTION structure, and again because
of the new implementation of DEFINE-COMPILER-MACRO.
+changes in sbcl-0.7.12 relative to sbcl-0.7.11:
+ * fixed bug 62: constraints were not propagated into a loop.
+
planned incompatible changes in 0.7.x:
* (not done yet, but planned:) When the profiling interface settles
down, maybe in 0.7.x, maybe later, it might impact TRACE. They both
projects / sbcl.git / blobdiff