Affects Version/s: None
Fix Version/s: None
Patch:Code and Test
test.check uses the Java random-number generator, which is imperative.
This makes the testing non-deterministic in many settings.
It would be better if test.check used a purely functional rng, just
like the original Haskell version of QuickCheck.
I've attached a patch that does this. All but one of the original test
pass; I've modified the only failing test to not rely on an imperative
Note that it still has quick-check/make-rng supply a random seed.
IMHO, it should supply a fixed seed.