On 1/26/24 12:27 AM, John Cowan wrote:
The disadvantage of this idea is that it would fail to test bignums at all.
The current definition
(define max-int 1000000000000000001)
fails to test any bignums at all on 64-bit Gambit, because
1000000000000000001 is a fixnum.
When I set about testing SRFI 231, I had a switch to generate fixnum
bounds or bignum bounds for intervals.
So perhaps there should be a fixnum generator and a bignum generator as
well as an integer generator.
max-int is used in a lot of places in the code, I don't know how much of
a change this would be. Presumably you wouldn't need ratios with bignum
numerators and denominators, bignums converted to flonums, etc.
Brad
