0.8.0.32:

        Put CSR's bug report about type checking in CAST chains.

diff --git a/BUGS b/BUGS
index c8dd0f5..aa0675e 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1192,6 +1192,11 @@ WORKAROUND:
 
   (fixed in 0.8.0.27)
 
+253: "type checking is embedded THEs"
+  Compiler cannot perform type checking in
+
+    (let () (list (the fixnum (the unsigned-byte (eval -1)))))
+
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:
     These labels were used for bugs related to the old IR1 interpreter.

diff --git a/src/compiler/ir1util.lisp b/src/compiler/ir1util.lisp
index f836670..39ea55e 100644 (file)
--- a/src/compiler/ir1util.lisp
+++ b/src/compiler/ir1util.lisp
@@ -515,6 +515,10 @@
       (mv-combination
        (eq (basic-combination-fun dest) cont))
       (cast
+       nil
+       ;; The following property means that the cast chain allows
+       ;; changing number of values, produced by the USE of CONT, but
+       ;; derived types of the casts must be updated (TODO: how?).
        #+nil
        (locally
            (declare (notinline continuation-single-value-p))

diff --git a/version.lisp-expr b/version.lisp-expr
index 92f5f43..1a2d499 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.0.31"
+"0.8.0.32"