Add 'Valid x =>' to splitExtension(s) QuickCheck property (#34)
authorThomas Miedema <thomasmiedema@gmail.com>
Fri, 31 Oct 2014 22:52:26 +0000 (23:52 +0100)
committerThomas Miedema <thomasmiedema@gmail.com>
Fri, 31 Oct 2014 22:53:54 +0000 (23:53 +0100)
System/FilePath/Internal.hs
tests/TestGen.hs

index bd02ddd..2487167 100644 (file)
@@ -202,7 +202,7 @@ getSearchPath = fmap splitSearchPath (getEnv "PATH")
 -- | Split on the extension. 'addExtension' is the inverse.
 --
 -- > uncurry (++) (splitExtension x) == x
--- > uncurry addExtension (splitExtension x) == x
+-- > Valid x => uncurry addExtension (splitExtension x) == x
 -- > splitExtension "file.txt" == ("file",".txt")
 -- > splitExtension "file" == ("file","")
 -- > splitExtension "file/file.txt" == ("file/file",".txt")
@@ -274,7 +274,7 @@ hasExtension = any isExtSeparator . takeFileName
 -- | Split on all extensions
 --
 -- > uncurry (++) (splitExtensions x) == x
--- > uncurry addExtension (splitExtensions x) == x
+-- > Valid x => uncurry addExtension (splitExtensions x) == x
 -- > splitExtensions "file.tar.gz" == ("file",".tar.gz")
 splitExtensions :: FilePath -> (FilePath, String)
 splitExtensions x = (a ++ c, d)
index 378b9f0..b2c5457 100755 (executable)
@@ -536,9 +536,9 @@ block11 = do
  putStrLn "Test 253, from line 204"
  test (\ (QFilePath x) -> (uncurry ( ++ ) ( P.splitExtension x ) == x))
  putStrLn "Test 254, from line 205"
- test (\ (QFilePath x) -> (uncurry W.addExtension ( W.splitExtension x ) == x))
+ test (\ (QFilePath x) -> ((\ x -> uncurry W.addExtension ( W.splitExtension x ) == x ) ( W.makeValid x )))
  putStrLn "Test 255, from line 205"
- test (\ (QFilePath x) -> (uncurry P.addExtension ( P.splitExtension x ) == x))
+ test (\ (QFilePath x) -> ((\ x -> uncurry P.addExtension ( P.splitExtension x ) == x ) ( P.makeValid x )))
  putStrLn "Test 256, from line 223"
  test (\ (QFilePath x) -> (W.takeExtension x == snd ( W.splitExtension x )))
  putStrLn "Test 257, from line 223"
@@ -568,9 +568,9 @@ block11 = do
  putStrLn "Test 269, from line 276"
  test (\ (QFilePath x) -> (uncurry ( ++ ) ( P.splitExtensions x ) == x))
  putStrLn "Test 270, from line 277"
- test (\ (QFilePath x) -> (uncurry W.addExtension ( W.splitExtensions x ) == x))
+ test (\ (QFilePath x) -> ((\ x -> uncurry W.addExtension ( W.splitExtensions x ) == x ) ( W.makeValid x )))
  putStrLn "Test 271, from line 277"
- test (\ (QFilePath x) -> (uncurry P.addExtension ( P.splitExtensions x ) == x))
+ test (\ (QFilePath x) -> ((\ x -> uncurry P.addExtension ( P.splitExtensions x ) == x ) ( P.makeValid x )))
  putStrLn "Test 272, from line 287"
  test (\ (QFilePath x) -> (not $ W.hasExtension ( W.dropExtensions x )))
  putStrLn "Test 273, from line 287"