diff options
| author | Adam Vogt <vogt.adam@gmail.com> | 2014-05-07 04:49:30 +0200 |
|---|---|---|
| committer | Adam Vogt <vogt.adam@gmail.com> | 2014-05-07 04:49:30 +0200 |
| commit | 77983153f9e891f1199c8faa16dcb2a0e8bcbbb9 (patch) | |
| tree | 000f6d063c9f82a401550c58f2540836995aed6f /tests/Properties/Layout | |
| parent | f9cef5a2c4fe643f2d2230e3f027e8c9884c7cdb (diff) | |
| download | xmonad-77983153f9e891f1199c8faa16dcb2a0e8bcbbb9.tar.gz xmonad-77983153f9e891f1199c8faa16dcb2a0e8bcbbb9.tar.xz xmonad-77983153f9e891f1199c8faa16dcb2a0e8bcbbb9.zip | |
make the check for overflow cleaner
Ignore-this: c12448f9219c8a29f2707526691acfda
darcs-hash:20140507024930-1499c-52860fb59794c3f370f27158b0936f845fce6ded.gz
Diffstat (limited to 'tests/Properties/Layout')
| -rw-r--r-- | tests/Properties/Layout/Tall.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tests/Properties/Layout/Tall.hs b/tests/Properties/Layout/Tall.hs index 7464184..2f836ef 100644 --- a/tests/Properties/Layout/Tall.hs +++ b/tests/Properties/Layout/Tall.hs @@ -28,7 +28,8 @@ prop_tile_non_overlap rect windows nmaster = noOverlaps (tile pct rect nmaster w pct = 3 % 100 -- splitting horizontally yields sensible results -prop_split_hoziontal (NonNegative n) x = +prop_split_horizontal (NonNegative n) x = + (noOverflows (+) (rect_x x) (rect_width x)) ==> sum (map rect_width xs) == rect_width x && all (== rect_height x) (map rect_height xs) @@ -38,9 +39,8 @@ prop_split_hoziontal (NonNegative n) x = where xs = splitHorizontally n x --- splitting horizontally yields sensible results -prop_splitVertically (r :: Rational) x = - +-- splitting vertically yields sensible results +prop_split_vertical (r :: Rational) x = rect_x x == rect_x a && rect_x x == rect_x b && rect_width x == rect_width a && rect_width x == rect_width b |