From f08988053ef6bbc8cc14290cac54c33e05197c2f Mon Sep 17 00:00:00 2001
From: Don Stewart <dons@galois.com>
Date: Sat, 22 Mar 2008 00:40:15 +0100
Subject: reenable quickcheck properties for layouts (no overlap, fullscreen)

darcs-hash:20080321234015-cba2c-56ead600613e43978a996f82991d6e5a6f4ca962
---
 tests/Properties.hs | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'tests')

diff --git a/tests/Properties.hs b/tests/Properties.hs
index 6135792..49b09fe 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -2,6 +2,7 @@
 module Properties where
 
 import XMonad.StackSet hiding (filter)
+import XMonad.Layout
 import qualified XMonad.StackSet as S (filter)
 
 import Debug.Trace
@@ -656,8 +657,8 @@ prop_mapLayoutInverse (x::T) = x == mapLayout pred (mapLayout succ x)
 -- some properties for layouts:
 
 -- 1 window should always be tiled fullscreen
-{-
 prop_tile_fullscreen rect = tile pct rect 1 1 == [rect]
+    where pct = 1/2
 
 -- multiple windows
 prop_tile_non_overlap rect windows nmaster = noOverlaps (tile pct rect nmaster windows)
@@ -679,8 +680,6 @@ noOverlaps xs  = and [ verts a `notOverlap` verts b
         =  (top1 < bottom2 || top2 < bottom1)
         || (right1 < left2 || right2 < left1)
 
--}
-
 ------------------------------------------------------------------------
 
 main :: IO ()
@@ -808,10 +807,9 @@ main = do
 
         -- renaming
 
-{-
         ,("tile 1 window fullsize", mytest prop_tile_fullscreen)
         ,("tiles never overlap",    mytest prop_tile_non_overlap)
--}
+
 
         ]
 
-- 
cgit v1.2.3