diff options
| author | Don Stewart <dons@galois.com> | 2007-09-30 09:50:18 +0200 |
|---|---|---|
| committer | Don Stewart <dons@galois.com> | 2007-09-30 09:50:18 +0200 |
| commit | b4943becc20e67cf3b0854ed57ae40879679ca17 (patch) | |
| tree | 6b0fc579efb1be57821f76f932c534d0393a9fd3 /tests | |
| parent | f24927184e93bb7edd28682612d1b7a51f285439 (diff) | |
| download | xmonad-b4943becc20e67cf3b0854ed57ae40879679ca17.tar.gz xmonad-b4943becc20e67cf3b0854ed57ae40879679ca17.tar.xz xmonad-b4943becc20e67cf3b0854ed57ae40879679ca17.zip | |
deeper test for differentiate. back to 100% coverage
darcs-hash:20070930075018-cba2c-48c2b170e452ef6db4957c1088ef9ab4d42a7505.gz
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/Properties.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/Properties.hs b/tests/Properties.hs index 447dae8..2bc5443 100644 --- a/tests/Properties.hs +++ b/tests/Properties.hs @@ -547,7 +547,7 @@ prop_screens (x :: T) = n `elem` screens x prop_differentiate xs = if null xs then differentiate xs == Nothing - else focus (fromJust (differentiate xs)) == head xs + else (differentiate xs) == Just (Stack (head xs) [] (tail xs)) where _ = xs :: [Int] -- looking up the tag of the current workspace should always produce a tag. |