From d01f260f24ac0477a769dd7df7bf3afa25c090b9 Mon Sep 17 00:00:00 2001
From: "Valery V. Vorotyntsev" <valery.vv@gmail.com>
Date: Fri, 19 Oct 2007 22:58:30 +0200
Subject: test_XPrompt.hs: there is no ShellPrompt.rmPath

darcs-hash:20071019205830-ae588-536b101a46c01318fa5120e055c07327f3b3937d.gz
---
 tests/test_XPrompt.hs | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'tests')

diff --git a/tests/test_XPrompt.hs b/tests/test_XPrompt.hs
index fa5207d..11283d7 100644
--- a/tests/test_XPrompt.hs
+++ b/tests/test_XPrompt.hs
@@ -26,10 +26,6 @@ deepestCheck p = check (defaultConfig { configMaxTest = 100000}) p
 prop_split (str :: [Char]) =
     forAll (elements str) $ \e -> S.split e str == S.split e str
 
--- check for exceptions
-prop_rmPath (str :: [[Char]]) =
-    S.rmPath str == S.rmPath str
-
 -- check if the first element of the new list is indeed the first part
 -- of the string.
 prop_spliInSubListsAt (x :: Int) (str :: [Char]) =
@@ -68,8 +64,6 @@ prop_newCommandIndex =
 main = do
   putStrLn "Testing ShellPrompt.split"
   deepCheck prop_split
-  putStrLn "Testing ShellPrompt.rmPath"
-  doubleCheck prop_rmPath
   putStrLn "Testing spliInSubListsAt"
   deepCheck prop_spliInSubListsAt
   putStrLn "Testing newIndex + newCommand"
-- 
cgit v1.2.3