Skip to content

Commit

Permalink
Update tests for bignums and fixums
Browse files Browse the repository at this point in the history
  • Loading branch information
@gus-massa
gus-massa authored Jan 10, 2024
1 parent 48555c3 commit acaffee
Showing 1 changed file with 30 additions and 0 deletions.
30 changes: 30 additions & 0 deletions mats/cptypes.ms
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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))))
Expand All @@ -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))))
Expand All @@ -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))))
Expand Down

0 comments on commit acaffee

Please sign in to comment.