diff options
| author | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-05-08 22:49:21 +0200 |
|---|---|---|
| committer | Spencer Janssen <sjanssen@cse.unl.edu> | 2007-05-08 22:49:21 +0200 |
| commit | 55cf1a9f20ff734a7d65be0a2165c71179a320aa (patch) | |
| tree | ad6f0a2a09b2cdbc213417b298da492a8fe91596 | |
| parent | 55cb5ce03c2c5294d1ca4cff12efa2d7c211ea53 (diff) | |
| download | metatile-55cf1a9f20ff734a7d65be0a2165c71179a320aa.tar metatile-55cf1a9f20ff734a7d65be0a2165c71179a320aa.zip | |
Disable delete.push until focus issues are decided
darcs-hash:20070508204921-a5988-7397764877c6d1a4acf1c004a1486231961d67d5
| -rw-r--r-- | tests/Properties.hs | 6 |
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) |