From cdfa80bde9617d9adea1eec26ae58bb9b454455c Mon Sep 17 00:00:00 2001
From: Gustavo Massaccesi <gustavo@oma.org.ar>
Date: Wed, 18 Nov 2020 09:45:37 -0300
Subject: [PATCH] cptypes: add suport for bignum?

---
 racket/src/ChezScheme/mats/cptypes.ms | 3 ++-
 racket/src/ChezScheme/s/cptypes.ss    | 8 +++++++-
 2 files changed, 9 insertions(+), 2 deletions(-)

diff --git a/racket/src/ChezScheme/mats/cptypes.ms b/racket/src/ChezScheme/mats/cptypes.ms
index a14af82f71..a6827fb562 100644
--- a/racket/src/ChezScheme/mats/cptypes.ms
+++ b/racket/src/ChezScheme/mats/cptypes.ms
@@ -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?))
diff --git a/racket/src/ChezScheme/s/cptypes.ss b/racket/src/ChezScheme/s/cptypes.ss
index 856eb4ca57..15a3a84a71 100644
--- a/racket/src/ChezScheme/s/cptypes.ss
+++ b/racket/src/ChezScheme/s/cptypes.ss
@@ -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)