attoparsec icon indicating copy to clipboard operation
attoparsec copied to clipboard

upper bound on QuickCheck too low

Open clinty opened this issue 7 years ago • 4 comments
trafficstars

clinty avatar Apr 14 '18 04:04 clinty

test-suites don't participate in the install-plan solving when QuickCheck is used as a library dependency; hence we don't need to keep them working w/ the latest dependencies at all times.

hvr avatar Apr 14 '18 07:04 hvr

Nevertheless this bound is needlessly restrictive and causes us additional work.

clinty avatar Apr 14 '18 19:04 clinty

@clinty, note that due to changes in semantics the testsuite currently doesn't pass with QuickCheck 2.11. I would be happy to accept a patch fixing this and bumping the bound.

bgamari avatar Apr 24 '18 14:04 bgamari

Well, it works with

-    , testProperty "satisfyWith" satisfyWith
+    , testProperty "satisfyWith" (forAll arbitraryASCIIChar satisfyWith)

but I'm not sure that's the best fix.

clinty avatar Apr 24 '18 14:04 clinty