diff options
| author | Don Stewart <dons@galois.com> | 2007-10-06 12:22:25 +0200 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2007-10-06 12:22:25 +0200 |
| commit | 42d1fdef7249e01e7685b792e3b1f0175ea75f23 (patch) | |
| tree | c679ad7a1f0061d05ca4416dba060cc0a660a82c | |
| parent | 431a8c1c00bff2e3816a6acf93be87678d9a3626 (diff) | |
| download | xmonad-42d1fdef7249e01e7685b792e3b1f0175ea75f23.tar.gz xmonad-42d1fdef7249e01e7685b792e3b1f0175ea75f23.tar.xz xmonad-42d1fdef7249e01e7685b792e3b1f0175ea75f23.zip | |
comment out type error'd property
darcs-hash:20071006102225-cba2c-50bba511cd0c7de03f86b98547ca7114b1592375.gz
| -rw-r--r-- | tests/Properties.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index a850ffe..7a05ecd 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -543,10 +543,12 @@ prop_float_reversible n (x :: T) = geom = RationalRect 100 100 100 100 -- check rectanges were set +{- prop_float_sets_geometry n (x :: T) = n `member` x ==> let y = float n geom x in M.lookup y (floating x) == Just geom where geom = RationalRect 100 100 100 100 +-} ------------------------------------------------------------------------ |