From dbfe7e6c8b06e1b0b1ba35d9894fae13e6305602 Mon Sep 17 00:00:00 2001 From: Alexey Dejneka Date: Wed, 4 Jun 2003 13:39:32 +0000 Subject: [PATCH] 0.8.0.32: Put CSR's bug report about type checking in CAST chains. --- BUGS | 5 +++++ src/compiler/ir1util.lisp | 4 ++++ version.lisp-expr | 2 +- 3 files changed, 10 insertions(+), 1 deletion(-) diff --git a/BUGS b/BUGS index c8dd0f5..aa0675e 100644 --- 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 --- 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 --- 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" -- 1.7.10.4