diff options
| author | David Roundy <droundy@darcs.net> | 2007-05-15 17:40:11 +0200 |
|---|---|---|
| committer | David Roundy <droundy@darcs.net> | 2007-05-15 17:40:11 +0200 |
| commit | 3f921b064f633b667dfaa1476cf129898df7a319 (patch) | |
| tree | 7e39585390d77721394a10b0388469ffdbc50d33 /tests | |
| parent | b36d9ed15ccb87a7109aed86e30e2ef0fdd590d9 (diff) | |
| download | xmonad-3f921b064f633b667dfaa1476cf129898df7a319.tar.gz xmonad-3f921b064f633b667dfaa1476cf129898df7a319.tar.xz xmonad-3f921b064f633b667dfaa1476cf129898df7a319.zip | |
beautify tile
darcs-hash:20070515154011-72aca-1557c99da679a2be1e52f365f6ae72cfaf40fc87.gz
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Properties.hs | 6 |
1 files changed, 3 insertions, 3 deletions
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) |