suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

cptypes: add suport for bignum?

Browse Source
This commit is contained in:
Gustavo Massaccesi 2020-11-18 09:45:37 -03:00
parent 3b7378f071
commit cdfa80bde9
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
racket/src/ChezScheme/mats/cptypes.ms
View File

@ -548,7 +548,8 @@
(test-chain '((lambda (x) (eq? x 0)) fixnum? #;exact-integer? real? number?))
(test-chain* '(fixnum? integer? real?))
(test-chain* '(fixnum? exact? number?)) ; exact? may raise an error
(test-chain* '((lambda (x) (eq? x (expt 256 100))) real? number?)) ; bignum?
(test-chain* '(bignum? exact? number?)) ; exact? may raise an error
(test-chain* '((lambda (x) (eq? x (expt 256 100))) bignum? real? number?))
(test-chain '((lambda (x) (eqv? 0.0 x)) flonum? real? number?))
(test-chain '(gensym? symbol?))
(test-chain '(not boolean?))

8
racket/src/ChezScheme/s/cptypes.ss
View File

@ -462,7 +462,7 @@ Notes:
(predicate-implies? y t)))
'(char null-or-pair $record
gensym uninterned-symbol interned-symbol symbol
fixnum exact-integer flonum real number
fixnum bignum exact-integer flonum real number
boolean true ptr))] ; ensure they are order from more restrictive to less restrictive
[else #f]))
@ -573,6 +573,7 @@ Notes:
[box? 'box]
[$record? '$record]
[fixnum? 'fixnum]
[bignum? 'bignum]
[flonum? 'flonum]
[real? 'real]
[number? 'number]
@ -619,6 +620,7 @@ Notes:
[box 'box]
[$record '$record]
[fixnum 'fixnum]
[bignum 'bignum]
[flonum 'flonum]
[real 'real]
[number 'number]
@ -716,16 +718,20 @@ Notes:
[(null-or-pair) (or (eq? x 'pair)
(check-constant-is? x null?))]
[(fixnum) (check-constant-is? x target-fixnum?)]
[(bignum) (check-constant-is? x target-bignum?)]
[(exact-integer)
(or (eq? x 'fixnum)
(eq? x 'bignum)
(check-constant-is? x (lambda (x) (and (integer? x)
(exact? x)))))]
[(flonum) (check-constant-is? x flonum?)]
[(real) (or (eq? x 'fixnum)
(eq? x 'bignum)
(eq? x 'exact-integer)
(eq? x 'flonum)
(check-constant-is? x real?))]
[(number) (or (eq? x 'fixnum)
(eq? x 'bignum)
(eq? x 'exact-integer)
(eq? x 'flonum)
(eq? x 'real)