X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=inline;f=NEWS;h=5eab745491a2fa4b050489aac35bf2c1025e2812;hb=cd2c70c8b5d4dcc62b968f5a9bedd3c9c8698e82;hp=d05cd03ff3fca6a8539e98a6e5dd367f39992340;hpb=ce7ae6fa75e33b4e484ba7b4e0d79ec2b9d424fd;p=sbcl.git

diff --git a/NEWS b/NEWS
index d05cd03..5eab745 100644
--- a/NEWS
+++ b/NEWS
@@ -1255,6 +1255,8 @@ changes in sbcl-0.7.8 relative to sbcl-0.7.7:
     based on the old CMUCL backend, has been made.  It has been tested
     on a big-endian kernel, and works sufficiently well to be able to
     rebuild itself; it has not been tested in little-endian mode.
+  * fixed an inconsistency between gencgc.c and purify.c which made
+    dumping/loading .core files unreliable
   * fixed bug 120a: The compiler now deals correctly with IFs where
     the consequent is the same as the alternative, instead of
     misderiving the return type. (thanks to Alexey Dejneka)
@@ -1268,13 +1270,51 @@ changes in sbcl-0.7.8 relative to sbcl-0.7.7:
     (thanks to Alexey Dejneka)
   * fixed several bugs in PCL's error checking (thanks to Gerd
     Moellmann)
-  * fixed bug in printing of FILE-ERROR (thanks to Antonio
+  * fixed bug: printing of FILE-ERROR (thanks to Antonio
     Martinez-Shotton)
   * fixed bug in compilation of functions as first class values
     (thanks to Antonio Martinez-Shotton)
   * The compiler's handling TYPE-ERRORs which it can prove will
     inevitably happen at runtime has been cleaned up and corrected
     in several ways. (thanks to Alexey Dejneka)
+  * improved argument type checking for various basic arithmetic
+    operations (MAX, +, LOGXOR, etc.) which have had so much TLC
+    lavished on them in the past that they can be compiled in many
+    ways in different special cases
+  * fixed bug 181: compiler checks validity of user supplied type
+    specifiers
+  * cleaned up code flushing in optimization: Function calls which
+    should signal errors for safety purposes (e.g. which ANSI says
+    should signal errors when their arguments are of incorrect type)
+    are no longer optimized away.
+  * added new extension: SB-DEBUG:BACKTRACE-AS-LIST
+  * incremented fasl file version number, because changes in the
+    implementation of sequence functions like COERCE caused 
+    internal utility functions like COERCE-TO-SIMPLE-VECTOR (used
+    in old inline expansions) to become undefined. (Actually these
+    changes were later undone, so we might very well be binary
+    compatible with 0.7.7 after all, but leaving the version number
+    incremented seemed like the simplest and most conservative
+    thing to do.)
+
+changes in sbcl-0.7.9 relative to sbcl-0.7.8:
+  * minor incompatible change: The runtime (the Unix executable named
+    "sbcl") is now much pickier about the .core files it will load.
+    Essentially it now requires .core files to descend from the same
+    build (not just the same sources or LISP-IMPLEMENTATION-VERSION)
+    as the runtime does. (The intent is to prevent the crashes which
+    can occur, and which can even be reported as mysterious failures,
+    when people patch the sources or change the build parameters
+    without changing LISP-IMPLEMENTATION-VERSION, then mix and match
+    sbcl and .core files.)
+  * fixed bug: VALUES-LIST is no longer optimized away.
+  * fixed bug 142: The FFI conversion of C string values to Lisp
+    string values no longer conses excessively. (thanks to Nathan
+    Froyd porting Raymond Toy's fix to CMU CL)
+  * improved MOP conformance in PCL (thanks to Nathan Froyd porting
+    Gerd Moellman's work in CMU CL)
+  * fixed bug 202: The compiler no longer fails on functions whose
+    derived types contradict their declared type.
 
 planned incompatible changes in 0.7.x:
 * When the profiling interface settles down, maybe in 0.7.x, maybe