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/Focus.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/Focus.hs')
-rw-r--r-- | tests/Properties/Focus.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/Properties/Focus.hs b/tests/Properties/Focus.hs index 865dc72..6bc0055 100644 --- a/tests/Properties/Focus.hs +++ b/tests/Properties/Focus.hs @@ -39,7 +39,7 @@ prop_focus_right (x :: T) = (focusDown (focusUp x)) == x prop_focusMaster_idem (x :: T) = focusMaster x == focusMaster (focusMaster x) -- focusWindow actually leaves the window focused... -prop_focusWindow_works (n :: NonNegative Int) (x :: T) = +prop_focusWindow_works (NonNegative (n :: Int)) (x :: T) = case peek x of Nothing -> True Just _ -> let s = index x @@ -61,7 +61,7 @@ prop_focus_up_local (x :: T) = hidden_spaces (focusUp x) == hidden_spaces x prop_focus_master_local (x :: T) = hidden_spaces (focusMaster x) == hidden_spaces x -prop_focusWindow_local (n :: NonNegative Int) (x::T ) = +prop_focusWindow_local (NonNegative (n :: Int)) (x::T ) = case peek x of Nothing -> True Just _ -> let s = index x |