Add ==> combinator and use it in the tests
authorNeil Mitchell <unknown>
Sun, 13 Jan 2008 21:22:41 +0000 (21:22 +0000)
committerNeil Mitchell <unknown>
Sun, 13 Jan 2008 21:22:41 +0000 (21:22 +0000)
System/FilePath/Internal.hs
test/AutoTest.hs

index e0a7ca5..c67e53a 100644 (file)
@@ -466,7 +466,7 @@ hasTrailingPathSeparator x = isPathSeparator (last x)
 -- | Add a trailing file path separator if one is not already present.
 --
 -- > hasTrailingPathSeparator (addTrailingPathSeparator x)
--- > if hasTrailingPathSeparator x then addTrailingPathSeparator x == x else True
+-- > hasTrailingPathSeparator x ==> addTrailingPathSeparator x == x
 -- > Posix:    addTrailingPathSeparator "test/rest" == "test/rest/"
 addTrailingPathSeparator :: FilePath -> FilePath
 addTrailingPathSeparator x = if hasTrailingPathSeparator x then x else x ++ [pathSeparator]
@@ -590,8 +590,8 @@ joinPath x = foldr combine "" x
 --   first this has a much better chance of working.
 --   Note that this doesn't follow symlinks or DOSNAM~1s.
 --
--- >          if x == y then equalFilePath x y else True
--- >          if normalise x == normalise y then equalFilePath x y else True
+-- >          x == y ==> equalFilePath x y
+-- >          normalise x == normalise y ==> equalFilePath x y
 -- > Posix:   equalFilePath "foo" "foo/"
 -- > Posix:   not (equalFilePath "foo" "/foo")
 -- > Posix:   not (equalFilePath "foo" "FOO")
@@ -722,7 +722,7 @@ isValid path =
 -- | Take a FilePath and make it valid; does not change already valid FilePaths.
 --
 -- > isValid (makeValid x)
--- > if isValid x then makeValid x == x else True
+-- > isValid x ==> makeValid x == x
 -- > makeValid "" == "_"
 -- > Windows: makeValid "c:\\test:of_test" == "c:\\test_of_test"
 -- > Windows: makeValid "test*" == "test_"
index 2caeb51..171e1c8 100644 (file)
@@ -1,12 +1,15 @@
 
 module AutoTest(module AutoTest, module Test.QuickCheck) where
 
-import Test.QuickCheck hiding (check)
+import Test.QuickCheck hiding (check,(==>))
 import Data.Char
 import System.Random
 import Data.List
 import Control.Monad
 
+infixr 0 ==>
+a ==> b = not a || b
+
 
 constTest :: Bool -> IO ()
 constTest True = return ()