0.7.10.3:

[sbcl.git] / NEWS

diff --git a/NEWS b/NEWS
index 4a3381a..e3b8953 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1346,12 +1346,18 @@ changes in sbcl-0.7.9 relative to sbcl-0.7.8:
     :ALLOW-OTHER-KEYS
 
 changes in sbcl-0.7.10 relative to sbcl-0.7.9:
     :ALLOW-OTHER-KEYS
 
 changes in sbcl-0.7.10 relative to sbcl-0.7.9:

+  * Support for building SBCL for MIPS platforms running in
+    little-endian mode has now been checked in, and basic
+    functionality on said platforms verified.

   * minor incompatible change: PCL now records the pathname of a file
     in which methods and the like are defined, rather than its
     truename.
   * minor incompatible change: TRUENAME now considers the truename of
     a file naming a directory to be the pathname with :DIRECTORY
     component indicating that directory.
   * minor incompatible change: PCL now records the pathname of a file
     in which methods and the like are defined, rather than its
     truename.
   * minor incompatible change: TRUENAME now considers the truename of
     a file naming a directory to be the pathname with :DIRECTORY
     component indicating that directory.

+  * minor incompatible change: a NAMED clause in the extended form of
+    LOOP no longer causes a BLOCK named NIL to surround the LOOP.  The
+    reason for the previous behaviour is unclear.

   * more systematization and improvement of CLOS and MOP conformance
     in PCL (thanks to Gerd Moellman and Pierre Mai):
     ** the standard ANSI CL generic function NO-NEXT-METHOD is now
   * more systematization and improvement of CLOS and MOP conformance
     in PCL (thanks to Gerd Moellman and Pierre Mai):
     ** the standard ANSI CL generic function NO-NEXT-METHOD is now

@@ -1369,41 +1375,87 @@ changes in sbcl-0.7.10 relative to sbcl-0.7.9:
        instance to return different numbers on distinct instances,
        while preserving the same return value through invocations of
        CHANGE-CLASS;
        instance to return different numbers on distinct instances,
        while preserving the same return value through invocations of
        CHANGE-CLASS;

+    ** DEFMETHOD signals errors when methods with longer incongruent
+       lambda lists are added to generic functions;
+    ** COMPUTE-CLASS-PRECEDENCE-LIST now has a method specialized on
+       CLASS, as specified in AMOP;
+    ** COMPUTE-SLOTS :AROUND now assigns locations sequentially based
+       on the order returned by the primary method for classes of
+       class STANDARD-CLASS;
+    ** DEFINE-METHOD-COMBINATION now works with the :ARGUMENTS option.

   * fixed some bugs shown by Paul Dietz' test suite:
   * fixed some bugs shown by Paul Dietz' test suite:

-    ** DOLIST puts its body in TAGBODY
+    ** DOLIST puts its body in TAGBODY;

     ** SET-EXCLUSIVE-OR sends arguments to :TEST function in the
     ** SET-EXCLUSIVE-OR sends arguments to :TEST function in the

-       correct order
+       correct order;

     ** MULTIPLE-VALUE-SETQ evaluates side-effectful places before
     ** MULTIPLE-VALUE-SETQ evaluates side-effectful places before

-       value producing form
+       value producing form;

     ** if more variables are given to PROGV than values, extra
     ** if more variables are given to PROGV than values, extra

-       variables are bound and made to have no value
+       variables are bound and made to have no value;

     ** NSUBSTITUTE on list arguments gets the right answer with
     ** NSUBSTITUTE on list arguments gets the right answer with

-       :FROM-END
+       :FROM-END;

     ** ELT signals an error of type TYPE-ERROR when the index argument
        is not a valid sequence index;
     ** LOOP signals (at macroexpansion time) an error of type
        PROGRAM-ERROR when duplicate variable names are found;
     ** ELT signals an error of type TYPE-ERROR when the index argument
        is not a valid sequence index;
     ** LOOP signals (at macroexpansion time) an error of type
        PROGRAM-ERROR when duplicate variable names are found;

+    ** LOOP supports DOWNTO and ABOVE properly; (thanks to Matthew Danish)

     ** FUNCALL of special-operators now cause an error of type
        UNDEFINED-FUNCTION;
     ** FUNCALL of special-operators now cause an error of type
        UNDEFINED-FUNCTION;

+    ** PSETQ now works as required in the presence of side-effecting
+       symbol-macro places;
+    ** NCONC accepts any object as its last argument;
+    ** :COUNT argument to sequence functions may be BIGNUM; (thanks to
+       Gerd Moellman)
+    ** loop-for-as-package does not require a package to be explicitely
+       specified;
+    ** LOOP WITH now treats NIL in the d-var-spec correctly as an
+       ignored binding.

   * fixed bug 166: compiler preserves "there is a way to go"
     invariant when deleting code.
   * fixed bug 172: macro lambda lists with required arguments after
     &REST arguments now cause an error to be signalled.  (thanks to
     Matthew Danish)
   * fixed bug 166: compiler preserves "there is a way to go"
     invariant when deleting code.
   * fixed bug 172: macro lambda lists with required arguments after
     &REST arguments now cause an error to be signalled.  (thanks to
     Matthew Danish)

+  * fixed Entomotomy PEEK-CHAR-WRONGLY-ECHOS-TO-ECHO-STREAM
+    bug. (thanks to Matthew Danish)
+  * fixed bug 225: STRING-STREAM is now a class. (reported by Gilbert
+    Baumann)
+  * fixed bug 136: CALL-NEXT-METHOD no longer gets confused when
+    arguments are lexically rebound. (thanks to Gerd Moellmann and
+    Pierre Mai)
+  * fixed bug 194: error messages are now more informative when there
+    is no primary method applicable in a call to a generic
+    function. (thanks to Gerd Moellmann)
+  * fixed bug in command line argument checking (thanks to Julian
+    Fondren)
+  * fixed bug in COUNT-IF, making it handle :FROM-END correctly
+    (thanks to Matthew Danish)
+  * incremented fasl file version number, because of the
+    SXHASH-related changes in the layout of CLOS data structures
+
+changes in sbcl-0.7.11 relative to sbcl-0.7.10:
+  * fixed some more 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);
+    ** LOOP now signals an error when any variable is reused in the
+       same loop (including the potentially useful construct analogous
+       to WITH A = 1 WITH A = (1+ A);
+    ** IT is only a special loop symbol within the first clause of a
+       conditional loop clause;

 
 planned incompatible changes in 0.7.x:
 
 planned incompatible changes in 0.7.x:

-* When the profiling interface settles down, maybe in 0.7.x, maybe
-  later, it might impact TRACE. They both encapsulate functions, and
-  it's not clear yet how e.g. UNPROFILE will interact with TRACE
-  and UNTRACE. (This shouldn't matter, though, unless you are
-  using profiling. If you never profile anything, TRACE should
-  continue to behave as before.)
-* Inlining can now be controlled the ANSI way, without
-  MAYBE-INLINE, since the idiom
+  * (not done yet, but planned:) When the profiling interface settles
+    down, maybe in 0.7.x, maybe later, it might impact TRACE. They both
+    encapsulate functions, and it's not clear yet how e.g. UNPROFILE
+    will interact with TRACE
+    and UNTRACE. (This shouldn't matter, though, unless you are
+    using profiling. If you never profile anything, TRACE should
+    continue to behave as before.)
+  * (not done yet, but planned:) Inlining can now be controlled the
+    ANSI way, without MAYBE-INLINE, since the idiom

        (DECLAIM (INLINE FOO))
        (DEFUN FOO (..) ..)
        (DECLAIM (NOTINLINE FOO))
        (DEFUN BAR (..) (FOO ..))
        (DEFUN BLETCH (..) (DECLARE (INLINE FOO)) (FOO ..))
        (DECLAIM (INLINE FOO))
        (DEFUN FOO (..) ..)
        (DECLAIM (NOTINLINE FOO))
        (DEFUN BAR (..) (FOO ..))
        (DEFUN BLETCH (..) (DECLARE (INLINE FOO)) (FOO ..))

-  now does what ANSI says it should. The CMU-CL-style 
-  SB-EXT:MAYBE-INLINE declaration is now deprecated and ignored.
+    now does what ANSI says it should. The CMU-CL-style 
+    SB-EXT:MAYBE-INLINE declaration is now deprecated and ignored.