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/Screen.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/Screen.hs')
| -rw-r--r-- | tests/Properties/Screen.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/Properties/Screen.hs b/tests/Properties/Screen.hs index cf76252..d12f954 100644 --- a/tests/Properties/Screen.hs +++ b/tests/Properties/Screen.hs @@ -24,7 +24,7 @@ prop_screens_works (x :: T) = screens x == current x : visible x ------------------------------------------------------------------------ -- Hints -prop_resize_inc (NonZero (NonNegative inc_w),NonZero (NonNegative inc_h)) b@(w,h) = +prop_resize_inc (Positive inc_w,Positive inc_h) b@(w,h) = w' `mod` inc_w == 0 && h' `mod` inc_h == 0 where (w',h') = applyResizeIncHint a b a = (inc_w,inc_h) @@ -34,7 +34,7 @@ prop_resize_inc_extra ((NonNegative inc_w)) b@(w,h) = where (w',h') = applyResizeIncHint a b a = (-inc_w,0::Dimension)-- inc_h) -prop_resize_max (NonZero (NonNegative inc_w),NonZero (NonNegative inc_h)) b@(w,h) = +prop_resize_max (Positive inc_w,Positive inc_h) b@(w,h) = w' <= inc_w && h' <= inc_h where (w',h') = applyMaxSizeHint a b a = (inc_w,inc_h) |