0.8.20.5: Candidate for minor bug fix of the year:

          * (funcall (compile nil '(lambda () (typep t '(member t nil))))) => T, not (T)

diff --git a/NEWS b/NEWS
index 75e7a42..deed90b 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -13,6 +13,8 @@ changes in sbcl-0.8.21 (0.9alpha.1?) relative to sbcl-0.8.20:
   * fixed bug: COUNT and EQUAL no longer issue compiler efficiency
     notes when operating on objects known to be SIMPLE-BIT-VECTORs.
     (reported by Lutz Euler)
+  * fixed bug: (TYPEP X '(MEMBER ...)) no longer returns a list in
+    compiled code. (reported by Paul Dietz)
 
 changes in sbcl-0.8.20 (0.9alpha.0?) relative to sbcl-0.8.19:
   * fixed inspection of specialized arrays. (thanks to Simon Alexander)

diff --git a/src/compiler/typetran.lisp b/src/compiler/typetran.lisp
index 89d1568..a48474c 100644 (file)
--- a/src/compiler/typetran.lisp
+++ b/src/compiler/typetran.lisp
@@ -496,7 +496,7 @@
              (intersection-type
               (source-transform-intersection-typep object type))
              (member-type
-              `(member ,object ',(member-type-members type)))
+              `(if (member ,object ',(member-type-members type)) t))
              (args-type
               (compiler-warn "illegal type specifier for TYPEP: ~S"
                              (cadr spec))

diff --git a/version.lisp-expr b/version.lisp-expr
index 87fa200..d10810f 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.20.4"
+"0.8.20.5"