Fork me on GitHub
#test-check
<
2022-09-02
>
lread14:09:26

@huahaiy are you using size-bounded-bigint? I find it a bit oddly named in that it does not always return BigIntegers. I’m not sure about for-all but you can use fmap to force all to BigInteger like so:

(gen/sample (gen/fmap bigint gen/size-bounded-bigint))
;; => (0N -41N -63N -58752N -421N -2818692N -6449877661N -111911828N 2341N 4730362N)
Does that help at all?

Huahai19:09:57

Thanks. Yeah, it sometimes return longs. I just used such-that to fill them out.