aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDon Stewart <dons@galois.com>2007-10-06 12:22:25 +0200
committerDon Stewart <dons@galois.com>2007-10-06 12:22:25 +0200
commit42d1fdef7249e01e7685b792e3b1f0175ea75f23 (patch)
treec679ad7a1f0061d05ca4416dba060cc0a660a82c
parent431a8c1c00bff2e3816a6acf93be87678d9a3626 (diff)
downloadxmonad-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.hs2
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
+-}
------------------------------------------------------------------------