From acaffee1cafbe1b7d1178ae755223363f869d018 Mon Sep 17 00:00:00 2001 From: gus-massa Date: Wed, 10 Jan 2024 00:09:34 -0300 Subject: [PATCH] Update tests for bignums and fixums --- mats/cptypes.ms | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/mats/cptypes.ms b/mats/cptypes.ms index 453c2cfff..5697a103a 100644 --- a/mats/cptypes.ms +++ b/mats/cptypes.ms @@ -863,6 +863,16 @@ '(lambda (x) (when (fixnum? x) (let ([y (add1 x)]) #t)))) + (not (cptypes-equivalent-expansion? + '(lambda (x) (when (fixnum? x) + (fixnum? (add1 x)))) + '(lambda (x) (when (fixnum? x) + #t)))) + (not (cptypes-equivalent-expansion? + '(lambda (x) (when (bignum? x) + (bignum? (add1 x)))) + '(lambda (x) (when (bignum? x) + #t)))) (cptypes-equivalent-expansion? '(lambda (x) (when (real? x) (real? (add1 x)))) @@ -885,6 +895,16 @@ '(lambda (x) (when (fixnum? x) (let ([y (sub1 x)]) #t)))) + (not (cptypes-equivalent-expansion? + '(lambda (x) (when (fixnum? x) + (fixnum? (sub1 x)))) + '(lambda (x) (when (fixnum? x) + #t)))) + (not (cptypes-equivalent-expansion? + '(lambda (x) (when (bignum? x) + (bignum? (sub1 x)))) + '(lambda (x) (when (bignum? x) + #t)))) (cptypes-equivalent-expansion? '(lambda (x) (when (real? x) (real? (sub1 x)))) @@ -907,6 +927,16 @@ '(lambda (x) (when (fixnum? x) (let ([y (abs x)]) #t)))) + (not (cptypes-equivalent-expansion? + '(lambda (x) (when (fixnum? x) + (fixnum? (abs x)))) + '(lambda (x) (when (fixnum? x) + #t)))) + (cptypes-equivalent-expansion? + '(lambda (x) (when (bignum? x) + (bignum? (abs x)))) + '(lambda (x) (when (bignum? x) + #t))) (cptypes-equivalent-expansion? '(lambda (x) (when (real? x) (real? (abs x))))