diff options
| author | Adam Vogt <vogt.adam@gmail.com> | 2015-03-01 14:50:49 +0100 |
|---|---|---|
| committer | Adam Vogt <vogt.adam@gmail.com> | 2015-03-01 14:50:49 +0100 |
| commit | 130e0d8c351d4c7a3f00fa7669a12333c3b7e75f (patch) | |
| tree | 1a267f8685de1356ce268ccc97d1d6925fc4fed9 /tests/Properties/Layout/Tall.hs | |
| parent | 883fae53d9c3d892d39909e06d035860a3e0e45f (diff) | |
| download | xmonad-130e0d8c351d4c7a3f00fa7669a12333c3b7e75f.tar.gz xmonad-130e0d8c351d4c7a3f00fa7669a12333c3b7e75f.tar.xz xmonad-130e0d8c351d4c7a3f00fa7669a12333c3b7e75f.zip | |
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
Diffstat (limited to 'tests/Properties/Layout/Tall.hs')
| -rw-r--r-- | tests/Properties/Layout/Tall.hs | 8 |
1 files changed, 4 insertions, 4 deletions
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 |