Using suchThat makes test to never halt

[anttih]

suchThat (chooseInt (-99.0) 99.0) (/= 0)

It seems that once the predicate returns false, it won't generate anything anymore and the tests stop. Using (const true) there makes the tests run normally.

[anttih]

Here's a failing test: https://github.com/anttih/purescript-strongcheck/blob/such-that-bug/test/Test/Main.purs#L95

This only happens when trying to generate one value out of the generator. If I change that to

suchThat'   <- collectAll mempty $ suchThat (chooseInt 0.0 4.0) (/= 2)

it works as expected.

[garyb]

I see another problem here too, why does chooseInt accept Numbers? 😉

[beckyconning]

👍 i'm also having this issue.

[beckyconning]

Haskell QuickCheck's suchThat resizes the the Gen when the predicate isn't affirmed.

https://hackage.haskell.org/package/QuickCheck-2.8.1/docs/src/Test-QuickCheck-Gen.html#suchThat

[jdegoes]

I see another problem here too, why does chooseInt accept Numbers? 😉

Because someone submitted the Int cleanup to quickcheck but not strongcheck. Not pointing any fingers, mind you. 😉

[beckyconning]

#18