summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--tests/Properties.hs6
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