Nick Smallbone
Nick Smallbone
Hi, It is quite worrying if `genericShrink` can miss shrink candidates because of GHC picking the wrong instance. Do you have an example (even if it's artificial) where this can...
Yikes, I see. That's quite nasty! I also prefer closed type families to overlapping instances. But I don't want to break QuickCheck on GHC 7.6 (still the default version on...
I think I did this to hide stuff which I thought should never be relevant for users (such as `State`). But this is clearly silly in retrospect - I'd prefer...
I like it! One comment: it could instead be a property combinator in the same style as e.g. `forAll`: ``` ??? :: (Arbitrary a, Testable prop) => (a -> Bool)...
> I think the disadvantage of (==>) is that it discards. > > E.g. if this runs 100 tests: > > quickCheck $ SuchThat even $ \i -> ... >...
Well, the choice to generate smaller integers by default is deliberate. It's not appropriate for numeric code, but for code which uses integers as (e.g.) loop counters and indexes into...
Right, this warning is spurious. QuickSpec computes the set of all types that might occur in a generated term. This information is used internally and so it's important that every...
Fixed by #350.
Reopening, because this is also an issue when printing equations in "normal" mode. I think if we want to solve this in all cases, we have to take the generated...
In fact, it does, eventually. However, first it spends ages exploring the (empty) background signature!