From 30dcf2bc8bc7a5b33f19e01b77ac3296352fb090 Mon Sep 17 00:00:00 2001 From: Brian Mastenbrook Date: Thu, 3 Mar 2005 00:10:08 +0000 Subject: [PATCH] 0.8.20.5: Candidate for minor bug fix of the year: * (funcall (compile nil '(lambda () (typep t '(member t nil))))) => T, not (T) --- NEWS | 2 ++ src/compiler/typetran.lisp | 2 +- version.lisp-expr | 2 +- 3 files changed, 4 insertions(+), 2 deletions(-) diff --git a/NEWS b/NEWS index 75e7a42..deed90b 100644 --- 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 --- 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 --- 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" -- 1.7.10.4