X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=NEWS;h=83dade218fd0f2e44404dec71a54b82c5a65fc36;hb=1026ecf53d97cd568ab94f9a459e73bfa19d425b;hp=5f3dca30ceb245457266b52ece020ef05dd58094;hpb=4dbc52ee4f9a4f566701f1d33e7916e8491b918b;p=sbcl.git

diff --git a/NEWS b/NEWS
index 5f3dca3..83dade2 100644
--- a/NEWS
+++ b/NEWS
@@ -1192,7 +1192,7 @@ changes in sbcl-0.7.6 relative to sbcl-0.7.5:
 
 changes in sbcl-0.7.7 relative to sbcl-0.7.6:
   * An alpha-quality port to the parisc architecture running Linux,
-    based on the old CMUCL backend has been made.  This, even more so
+    based on the old CMUCL backend, has been made.  This, even more so
     than the other backends, should be considered still a work in
     progress; known problems include that the Linux kernel in 64-bit
     mode does not propagate the correct sigcontext structure to
@@ -1213,6 +1213,9 @@ changes in sbcl-0.7.7 relative to sbcl-0.7.6:
     SB-KERNEL:CONTROL-STACK-EXHAUSTED condition (subclass of
     STORAGE-CONDITION) is signalled, so stack exhaustion can no longer
     be caught using IGNORE-ERRORS.
+  * Bugs 65, 70, and 109 fixed: The compiler now preserves invariants
+    correctly when transforming recursive LABELS functions to LETs.
+    (thanks to Alexey Dejneka)
   * Bug 48a./b. fixed: SYMBOL-MACROLET now refuses to bind symbols
     that are names of constants or global variables.
   * Bug fix: DEFINE-ALIEN-ROUTINE now declaims the correct FTYPE for
@@ -1247,6 +1250,42 @@ changes in sbcl-0.7.7 relative to sbcl-0.7.6:
   * The fasl file version number has changed again. (because of the
     bug fix involving the names of PCL MAKE-INSTANCE functions)
 
+changes in sbcl-0.7.8 relative to sbcl-0.7.7:
+  * A beta-quality port to the mips architecture running Linux,
+    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 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)
+  * fixed bug 113: Logical pathnames are now dumpable (the logical
+    host is resolved at load-time, throwing an error if it is not
+    found).
+  * fixed bug 174: FORMAT's error message is slightly clearer when a
+    non-printing character is used in a format directive.
+  * fixed several bugs in compiler checking of type declarations, i.e.
+    violations of the Python "declarations are assertions" principle
+    (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
+    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)
+  * 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.
+  * incremented fasl file version number, because changes in the
+    implementation of sequence functions like COERCE have old
+    internal utility functions like COERCE-TO-SIMPLE-VECTOR (used
+    in old inline expansions) to become undefined
+
 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