0.7.9.17:

	reporting new type inference bug

diff --git a/BUGS b/BUGS
index a67ed1b..1a3138c 100644 (file)
--- 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 (file)
--- 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"