0.8.0.56:

	another way to break the compiler -- seems to be a bad day
		 for interaction of my coding style with SBCL

diff --git a/BUGS b/BUGS
index 109b0c9..ab82a20 100644 (file)
--- a/BUGS
+++ b/BUGS
@@ -1150,6 +1150,33 @@ WORKAROUND:
     debugger invoked on condition of type TYPE-ERROR:
       The value NIL is not of type SB-C::NODE.
 
+255: 
+  In sbcl-0.8.0.52, COMPILE-FILE on
+    (cl:in-package :cl-user)
+    (declaim (optimize (safety 3) (debug 2) (speed 2) (space 1)))
+    (defvar *1*)
+    (defvar *2*)
+    (defstruct v a b)
+    (defstruct w)
+    (defstruct yam (v nil :type (or v null)))
+    (defstruct un u)
+    (defstruct (bod (:include un)) bo)
+    (defstruct (bad (:include bod)) ba)
+    (declaim (ftype (function ((or w bad) (or w bad)) (values)) %ufm))
+    (defun %ufm (base bound) (froj base bound *1*) (values))
+    (declaim (ftype (function ((vector t)) (or w bad)) %pu))
+    (defun %pu (pds) *2*)
+    (defun uu (yam)
+      (let ((v (yam-v az)))
+        (%ufm v
+              (flet ((project (x) (frob x 0)))
+                (let ((avecname *1*))
+                  (multiple-value-prog1
+                      (progn (%pu avecname))
+                    (frob)))))))
+  fails with 
+    failed AVER:
+      "(AND (EQ (CONTINUATION-KIND START) INSIDE-BLOCK) (NOT (BLOCK-DELETE-P BLOCK)))"
 
 DEFUNCT CATEGORIES OF BUGS
   IR1-#:

diff --git a/version.lisp-expr b/version.lisp-expr
index 534f991..324a40b 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.55"
+"0.8.0.56"