diff options
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 |