aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSpencer Janssen <sjanssen@cse.unl.edu>2007-05-08 22:49:21 +0200
committerSpencer Janssen <sjanssen@cse.unl.edu>2007-05-08 22:49:21 +0200
commit875e33c95af3aa62d51611fceb37ddfc90633768 (patch)
treead6f0a2a09b2cdbc213417b298da492a8fe91596
parente93863a0898b4f83ed06b792e3383e2f5ca843bd (diff)
downloadxmonad-875e33c95af3aa62d51611fceb37ddfc90633768.tar.gz
xmonad-875e33c95af3aa62d51611fceb37ddfc90633768.tar.xz
xmonad-875e33c95af3aa62d51611fceb37ddfc90633768.zip
Disable delete.push until focus issues are decided
darcs-hash:20070508204921-a5988-7397764877c6d1a4acf1c004a1486231961d67d5.gz
-rw-r--r--tests/Properties.hs6
1 files changed, 5 insertions, 1 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs
index 6397b5e..d3a60ec 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -153,8 +153,12 @@ type T = StackSet Int Int Char
prop_delete_uniq i x = not (member i x) ==> delete i x == x
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
where _ = x :: T
+-}
prop_delete2 i x =
delete i x == delete i (delete i x)
@@ -361,7 +365,7 @@ main = do
,("delete/not.member", mytest prop_delete_uniq)
,("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)