diff options
| author | Adam Vogt <vogt.adam@gmail.com> | 2010-04-19 03:49:46 +0200 |
|---|---|---|
| committer | Adam Vogt <vogt.adam@gmail.com> | 2010-04-19 03:49:46 +0200 |
| commit | 1f2f6239a5d942d2cd0f06aeec2d96ab05980600 (patch) | |
| tree | 5b789a736dc3a938f4bdb598b8ed0bd591878d2c /tests/test_XPrompt.hs | |
| parent | 21033ad1ff3948c39dab6fca2e003acb6f575cc2 (diff) | |
| download | XMonadContrib-1f2f6239a5d942d2cd0f06aeec2d96ab05980600.tar.gz XMonadContrib-1f2f6239a5d942d2cd0f06aeec2d96ab05980600.tar.xz XMonadContrib-1f2f6239a5d942d2cd0f06aeec2d96ab05980600.zip | |
Rearrange tests. See test/genMain.hs for instructions.
Ignore-this: 1745e6f1052e84e40153b5b1c0a6e15a
darcs-hash:20100419014946-1499c-4705ec3d27ad26df038a7d72e978e5a137d712b5.gz
Diffstat (limited to '')
| -rw-r--r-- | tests/XPrompt.hs (renamed from tests/test_XPrompt.hs) | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/test_XPrompt.hs b/tests/XPrompt.hs index a4c6236..9c8ca8c 100644 --- a/tests/test_XPrompt.hs +++ b/tests/XPrompt.hs @@ -1,9 +1,10 @@ -{-# OPTIONS -fglasgow-exts #-} +{-# LANGUAGE ScopedTypeVariables #-} ------------------------------------- -- -- Tests for XPrompt and ShellPrompt -- ------------------------------------- +module XPrompt where import Data.Char import Test.QuickCheck @@ -12,11 +13,14 @@ import Data.List import XMonad.Prompt import qualified XMonad.Prompt.Shell as S +import Properties +{- instance Arbitrary Char where arbitrary = choose ('\32', '\255') coarbitrary c = variant (ord c `rem` 4) +-} doubleCheck p = check (defaultConfig { configMaxTest = 1000}) p deepCheck p = check (defaultConfig { configMaxTest = 10000}) p @@ -40,6 +44,7 @@ prop_spliInSubListsAt (x :: Int) (str :: [Char]) = prop_skipGetLastWord (str :: [Char]) = skipLastWord str ++ getLastWord str == str || skipLastWord str == getLastWord str + -- newIndex and newCommand get only non empy lists elemGen :: Gen ([String],String) elemGen = do |