twin/xmonad
1
0
Fork 0
mirror of https://github.com/xmonad/xmonad.git synced 2025-07-31 20:21:52 -07:00
Code Issues Packages Projects Releases Wiki Activity

Disable delete.push until focus issues are decided

Browse Source
This commit is contained in:
Spencer Janssen
2007-05-08 20:49:21 +00:00
parent c5c958dc2c
commit f5b0df6a73
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tests/Properties.hs
View File

@@ -153,8 +153,12 @@ type T = StackSet Int Int Char
prop_delete_uniq i x = not (member i x) ==> delete i x == x prop_delete_uniq i x = not (member i x) ==> delete i x == x
where _ = x :: T where _ = x :: T
{-
TODO: enable this property when we have a better story about focus.
prop_delete_push i x = not (member i x) ==> delete i (push i x) == x prop_delete_push i x = not (member i x) ==> delete i (push i x) == x
where _ = x :: T where _ = x :: T
-}
prop_delete2 i x = prop_delete2 i x =
delete i x == delete i (delete i x) delete i x == delete i (delete i x)
@@ -361,7 +365,7 @@ main = do
,("delete/not.member", mytest prop_delete_uniq) ,("delete/not.member", mytest prop_delete_uniq)
,("delete idempotent", mytest prop_delete2) ,("delete idempotent", mytest prop_delete2)
,("delete.push identity" , mytest prop_delete_push) -- disabled, for now ,("delete.push identity" , mytest prop_delete_push)
,("focus", mytest prop_focus1) ,("focus", mytest prop_focus1)