From 130e0d8c351d4c7a3f00fa7669a12333c3b7e75f Mon Sep 17 00:00:00 2001 From: Adam Vogt Date: Sun, 1 Mar 2015 14:50:49 +0100 Subject: Avoid using instances removed in QuickCheck-2.7 Ignore-this: 4f9b3906b88ae6a94602e2b29a3eecfc see https://github.com/nick8325/quickcheck/issues/31 for details darcs-hash:20150301135049-1499c-f19e63c6780c29fbc4d2f3b32fdefd6afe4f0e2a.gz --- tests/Properties/Layout/Tall.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'tests/Properties/Layout') diff --git a/tests/Properties/Layout/Tall.hs b/tests/Properties/Layout/Tall.hs index 2f836ef..5353e62 100644 --- a/tests/Properties/Layout/Tall.hs +++ b/tests/Properties/Layout/Tall.hs @@ -65,7 +65,7 @@ prop_purelayout_tall n r1 r2 rect = do -- Test message handling of Tall -- what happens when we send a Shrink message to Tall -prop_shrink_tall (NonNegative n) (NonZero (NonNegative delta)) (NonNegative frac) = +prop_shrink_tall (NonNegative n) (Positive delta) (NonNegative frac) = n == n' && delta == delta' -- these state components are unchanged && frac' <= frac && (if frac' < frac then frac' == 0 || frac' == frac - delta else frac == 0 ) @@ -78,9 +78,9 @@ prop_shrink_tall (NonNegative n) (NonZero (NonNegative delta)) (NonNegative frac -- what happens when we send a Shrink message to Tall prop_expand_tall (NonNegative n) - (NonZero (NonNegative delta)) + (Positive delta) (NonNegative n1) - (NonZero (NonNegative d1)) = + (Positive d1) = n == n' && delta == delta' -- these state components are unchanged @@ -97,7 +97,7 @@ prop_expand_tall (NonNegative n) -- pureMessage :: layout a -> SomeMessage -> Maybe (layout a) -- what happens when we send an IncMaster message to Tall -prop_incmaster_tall (NonNegative n) (NonZero (NonNegative delta)) (NonNegative frac) +prop_incmaster_tall (NonNegative n) (Positive delta) (NonNegative frac) (NonNegative k) = delta == delta' && frac == frac' && n' == n + k where -- cgit v1.2.3