From 2e1cce72a76b26e798af5b2046bf2508569446c9 Mon Sep 17 00:00:00 2001 From: David Roundy Date: Tue, 15 May 2007 17:40:11 +0200 Subject: beautify tile darcs-hash:20070515154011-72aca-1557c99da679a2be1e52f365f6ae72cfaf40fc87 --- tests/Properties.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tests') diff --git a/tests/Properties.hs b/tests/Properties.hs index b97423f..d9f1fb5 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -265,7 +265,7 @@ prop_push_local (x :: T) i = not (member i x) ==> hidden x == hidden (push i x) -- some properties for layouts: -- 1 window should always be tiled fullscreen -prop_tile_fullscreen rect = tile pct rect [1] == [(1, rect)] +prop_tile_fullscreen rect = tile pct rect 1 == [rect] -- multiple windows prop_tile_non_overlap rect windows = noOverlaps (tile pct rect windows) @@ -276,8 +276,8 @@ pct = 3 % 100 noOverlaps [] = True noOverlaps [_] = True noOverlaps xs = and [ verts a `notOverlap` verts b - | (_,a) <- xs - , (_,b) <- filter (\(_,b) -> a /= b) xs + | a <- xs + , b <- filter (a /=) xs ] where verts (Rectangle a b w h) = (a,b,a + fromIntegral w - 1, b + fromIntegral h - 1) -- cgit v1.2.3