~ chicken-r7rs (master) 1ee9755246d8fff45c7ba1966e083b6101b57e5d

commit 1ee9755246d8fff45c7ba1966e083b6101b57e5d
Author:     Evan Hanson <evhan@foldling.org>
AuthorDate: Mon Jun 9 06:31:14 2014 +0000
Commit:     Evan Hanson <evhan@foldling.org>
CommitDate: Mon Jun 9 06:31:14 2014 +0000

    Use specific boolean types

diff --git a/scheme.base.scm b/scheme.base.scm
index 0d26dec..552ed70 100644
--- a/scheme.base.scm
+++ b/scheme.base.scm
@@ -216,7 +216,7 @@
       (error 'list-set! "out of range"))))
 
 (: member (forall (a b) (a (list-of b) #!optional (procedure (b a) *) ; sic
-                         -> (or boolean (list-of b)))))
+                         -> (or false (list-of b)))))
 
 ;; XXX These aren't exported to the types file!?
 (define-specialization (member (x (or symbol procedure immediate)) (lst list))
@@ -237,7 +237,7 @@
 
 
 (: assoc (forall (a b c) (a (list-of (pair b c)) #!optional (procedure (b a) *) ; sic
-                            -> (or boolean (list-of (pair b c))))))
+                            -> (or false (list-of (pair b c))))))
 
 ;; XXX These aren't exported to the types file!?
 (define-specialization (assoc (x (or symbol procedure immediate)) (lst (list-of pair)))
diff --git a/scheme.char.scm b/scheme.char.scm
index 261bc6a..f792a86 100644
--- a/scheme.char.scm
+++ b/scheme.char.scm
@@ -52,7 +52,7 @@
 (: string-foldcase (string -> string))
 (define (string-foldcase s) (string-map char-foldcase s))
 
-(: digit-value (char -> (or fixnum boolean)))
+(: digit-value (char -> (or fixnum false)))
 (define (digit-value c)
   (let ((i (char->integer c)))
     (and (fx>= i 48) (fx<= i 57) (fx- i 48)))))