diff options
author | Don Stewart <dons@galois.com> | 2007-09-28 01:19:28 +0200 |
---|---|---|
committer | Don Stewart <dons@galois.com> | 2007-09-28 01:19:28 +0200 |
commit | b3eeaf92837efb054cc9a4514044341c1918bcb6 (patch) | |
tree | ec9fc774262b69877fb3499a5c5f0976f57afdbc /tests/Properties.hs | |
parent | 6560b95d7b7b072eb0a35e1b0266732a0464997a (diff) | |
download | xmonad-b3eeaf92837efb054cc9a4514044341c1918bcb6.tar.gz xmonad-b3eeaf92837efb054cc9a4514044341c1918bcb6.tar.xz xmonad-b3eeaf92837efb054cc9a4514044341c1918bcb6.zip |
add prop for 'differentiate'
darcs-hash:20070927231928-cba2c-84668ba6dab69541e063eaabf57724c13a28a916.gz
Diffstat (limited to 'tests/Properties.hs')
-rw-r--r-- | tests/Properties.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index aa698bc..0f4b733 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -538,6 +538,10 @@ prop_screens (x :: T) = n `elem` screens x where n = current x +prop_differentiate xs = + if null xs then differentiate xs == Nothing + else focus (fromJust (differentiate xs)) == head xs + where _ = xs :: [Int] ------------------------------------------------------------------------ -- some properties for layouts: @@ -669,6 +673,7 @@ main = do ,("floating is reversible" , mytest prop_float_reversible) ,("screens includes current", mytest prop_screens) + ,("differentiate works", mytest prop_differentiate) {- ,("tile 1 window fullsize", mytest prop_tile_fullscreen) |