X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Ftypetran.lisp;h=a48474c52a1f3799cfd9a68e20cfca404462ba5a;hb=5cc68148d1a5f9bacf4eb12e396b680d992fc2c2;hp=c1b19088ae5529a6e36cb3cd6b3362eabd73b97e;hpb=2034cb134af58c5998f4e305673af6e2c75bc179;p=sbcl.git

diff --git a/src/compiler/typetran.lisp b/src/compiler/typetran.lisp
index c1b1908..a48474c 100644
--- a/src/compiler/typetran.lisp
+++ b/src/compiler/typetran.lisp
@@ -148,6 +148,9 @@
 
 (define-source-transform atom (x)
   `(not (consp ,x)))
+#!+sb-unicode
+(define-source-transform base-char-p (x)
+  `(typep ,x 'base-char))
 
 ;;;; TYPEP source transform
 
@@ -493,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))