diff options
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 |