From 84323448ca9526b91181d361efaa506c67f9813e Mon Sep 17 00:00:00 2001 From: Daniel Wagner Date: Tue, 15 Nov 2011 03:26:50 +0100 Subject: get ready for GHC 7.4: Num a no longer implies (Eq a, Show a) Ignore-this: faa34d69ddd27b98c6507740b42c9e97 darcs-hash:20111115022650-76d51-10a2e23210b65268ffa3aa606ebba72b6986e77e.gz --- XMonad/Actions/GridSelect.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'XMonad/Actions') diff --git a/XMonad/Actions/GridSelect.hs b/XMonad/Actions/GridSelect.hs index 66aa952..afc37ae 100644 --- a/XMonad/Actions/GridSelect.hs +++ b/XMonad/Actions/GridSelect.hs @@ -251,7 +251,7 @@ liftX = TwoD . lift evalTwoD :: TwoD a1 a -> TwoDState a1 -> X a evalTwoD m s = flip evalStateT s $ unTwoD m -diamondLayer :: (Enum b', Num b') => b' -> [(b', b')] +diamondLayer :: (Enum a, Num a, Eq a) => a -> [(a, a)] diamondLayer 0 = [(0,0)] diamondLayer n = -- tr = top right @@ -260,7 +260,7 @@ diamondLayer n = r = tr ++ (map (\(x,y) -> (y,-x)) tr) in r ++ (map (negate *** negate) r) -diamond :: (Enum a, Num a) => [(a, a)] +diamond :: (Enum a, Num a, Eq a) => [(a, a)] diamond = concatMap diamondLayer [0..] diamondRestrict :: Integer -> Integer -> Integer -> Integer -> [(Integer, Integer)] -- cgit v1.2.3