From 8f95e8963d48edb7c7fd8e0065226c39cff068b0 Mon Sep 17 00:00:00 2001 From: Adam Vogt Date: Wed, 14 Apr 2010 22:46:12 +0200 Subject: tests/test_XPrompt can build now. Ignore-this: ded6711134658fe371f19a909037c9cb darcs-hash:20100414204612-1499c-c56256e7e61dcba729ff5ded1d7b9a8984eb47fa.gz --- tests/test_XPrompt.hs | 15 ++++++++------- 1 file changed, 8 insertions(+), 7 deletions(-) (limited to 'tests') diff --git a/tests/test_XPrompt.hs b/tests/test_XPrompt.hs index f82c036..a4c6236 100644 --- a/tests/test_XPrompt.hs +++ b/tests/test_XPrompt.hs @@ -10,8 +10,8 @@ import Test.QuickCheck import Data.List -import XMonad.XPrompt -import qualified XMonad.ShellPrompt as S +import XMonad.Prompt +import qualified XMonad.Prompt.Shell as S instance Arbitrary Char where arbitrary = choose ('\32', '\255') @@ -50,26 +50,27 @@ elemGen = do e <- elements l return (l,e) +{- newIndex and newCommand have since been renamed or are no longer used + -- newIndex calculates the index of the next completion in the -- completion list, so the index must be within the range of the -- copletions list prop_newIndex_range = forAll elemGen $ \(l,c) -> newIndex c l >= 0 && newIndex c l < length l +-} -- this is actually the definition of newCommand... -- just to check something. +{- prop_newCommandIndex = forAll elemGen $ \(l,c) -> (skipLastWord c ++ (l !! (newIndex c l))) == newCommand c l +-} main = do putStrLn "Testing ShellPrompt.split" deepCheck prop_split putStrLn "Testing spliInSubListsAt" deepCheck prop_spliInSubListsAt - putStrLn "Testing newIndex + newCommand" - deepCheck prop_newCommandIndex putStrLn "Testing skip + get lastWord" deepCheck prop_skipGetLastWord - putStrLn "Testing range of XPrompt.newIndex" - deepCheck prop_newIndex_range - + -- cgit v1.2.3