From 6478fe2dfcd51b146da29eee5ff46890a9ef1740 Mon Sep 17 00:00:00 2001 From: William Harold Newman Date: Wed, 30 Oct 2002 14:50:32 +0000 Subject: [PATCH] 0.7.9.17: reporting new type inference bug --- BUGS | 12 ++++++++++++ version.lisp-expr | 2 +- 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/BUGS b/BUGS index a67ed1b..1a3138c 100644 --- a/BUGS +++ b/BUGS @@ -1305,6 +1305,18 @@ WORKAROUND: arguments, but it could be tricky to check result types of PROG1, IF etc. +221: + Sometime between sbcl-0.7.8.51 and sbcl-0.7.9.5 the system lost the + ability to compile + (declaim (ftype (function (fixnum) (values package boolean)) f1)) + (declaim (ftype (function (t) (values package boolean)) f2)) + (defun ow (b x) + (funcall (if b #'f1 #'f2) x)) + Now the compiler dies with + SUBTYPEP is illegal on this type: (VALUES PACKAGE (MEMBER T NIL)) + apparently when attempting to infer the type of the IF expression. + + DEFUNCT CATEGORIES OF BUGS IR1-#: These labels were used for bugs related to the old IR1 interpreter. diff --git a/version.lisp-expr b/version.lisp-expr index f0a010f..4308737 100644 --- a/version.lisp-expr +++ b/version.lisp-expr @@ -18,4 +18,4 @@ ;;; versions, especially for internal versions off the main CVS ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".) -"0.7.9.16" +"0.7.9.17" -- 1.7.10.4