add floating property

darcs-hash:20071006100654-cba2c-bd3552becda4ce11803c40285685230c41bcce66

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/Properties.hs b/tests/Properties.hs
index 7ef7e67..a850ffe 100644
--- a/tests/Properties.hs
+++ b/tests/Properties.hs
@@ -542,6 +542,12 @@ prop_float_reversible n (x :: T) =
         where
             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
+
 ------------------------------------------------------------------------
 
 prop_screens (x :: T) = n `elem` screens x