From 337234ce6fc067eb8de296bcf978173e1b99374b Mon Sep 17 00:00:00 2001 From: Don Stewart Date: Sat, 6 Oct 2007 12:06:54 +0200 Subject: add floating property darcs-hash:20071006100654-cba2c-bd3552becda4ce11803c40285685230c41bcce66 --- tests/Properties.hs | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'tests') 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 -- cgit v1.2.3