From 21148b7a67ddd53e7b6588edf4466b26c4e5e3ee Mon Sep 17 00:00:00 2001 From: William Harold Newman Date: Mon, 9 Jun 2003 20:33:56 +0000 Subject: [PATCH] 0.8.0.56: another way to break the compiler -- seems to be a bad day for interaction of my coding style with SBCL --- BUGS | 27 +++++++++++++++++++++++++++ version.lisp-expr | 2 +- 2 files changed, 28 insertions(+), 1 deletion(-) diff --git a/BUGS b/BUGS index 109b0c9..ab82a20 100644 --- 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 --- 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" -- 1.7.10.4