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 | 2e1cce72a76b26e798af5b2046bf2508569446c9 (patch) | |
tree | 7e39585390d77721394a10b0388469ffdbc50d33 /tests | |
parent | d2e3f0eb762968cf6a75f828d82477c7ee4ed99f (diff) | |
download | metatile-2e1cce72a76b26e798af5b2046bf2508569446c9.tar metatile-2e1cce72a76b26e798af5b2046bf2508569446c9.zip |
beautify tile
darcs-hash:20070515154011-72aca-1557c99da679a2be1e52f365f6ae72cfaf40fc87
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) |