search

nick8325 / quickcheck

Automatic testing of Haskell programs.
Other
724 stars 121 forks source link

Make (<*>) split only once #195

Closed Lysxia closed 6 years ago

Lysxia commented 6 years ago

ap calls (>>=) twice, and the third seed is discarded by return:

ap mf mx = do f <- mf ; x <- mx ; return (f x)

Does this count as a breaking change? Does QuickCheck make stability guarantees that allow storing test cases as seeds?

nick8325 commented 6 years ago

There's no such stability guarantee - for example, generators often change between QuickCheck versions. So I think this patch is fine.