Changeset 30995 in project


Ignore:
Timestamp:
06/09/14 08:31:14 (6 years ago)
Author:
evhan
Message:

r7rs: Use specific boolean types

Location:
release/4/r7rs/trunk
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • release/4/r7rs/trunk/scheme.base.scm

    r30990 r30995  
    217217
    218218(: member (forall (a b) (a (list-of b) #!optional (procedure (b a) *) ; sic
    219                          -> (or boolean (list-of b)))))
     219                         -> (or false (list-of b)))))
    220220
    221221;; XXX These aren't exported to the types file!?
     
    238238
    239239(: assoc (forall (a b c) (a (list-of (pair b c)) #!optional (procedure (b a) *) ; sic
    240                             -> (or boolean (list-of (pair b c))))))
     240                            -> (or false (list-of (pair b c))))))
    241241
    242242;; XXX These aren't exported to the types file!?
  • release/4/r7rs/trunk/scheme.char.scm

    r30990 r30995  
    5353(define (string-foldcase s) (string-map char-foldcase s))
    5454
    55 (: digit-value (char -> (or fixnum boolean)))
     55(: digit-value (char -> (or fixnum false)))
    5656(define (digit-value c)
    5757  (let ((i (char->integer c)))
Note: See TracChangeset for help on using the changeset viewer.