Always generate test, and always use quickCheck even for constant values
authorNeil Mitchell <ndmitchell@gmail.com>
Wed, 29 Oct 2014 09:22:44 +0000 (09:22 +0000)
committerNeil Mitchell <ndmitchell@gmail.com>
Wed, 29 Oct 2014 09:22:44 +0000 (09:22 +0000)
Generate.hs
tests/TestGen.hs
tests/TestUtil.hs

index e228cbf..274e1ca 100755 (executable)
@@ -110,8 +110,8 @@ genTests xs = rejoinTests $ concatMap f $ zip [1..] (one++many)
 
 -- the result must be a line of the type "IO ()"
 genTest :: Test -> String
-genTest (Expr x) = "constTest (" ++ x ++ ")"
-genTest (Test free x) = "quickSafe (\\" ++ concatMap ((' ':) . f) free ++ " -> (" ++ x ++ "))"
+genTest (Expr x) = "test (" ++ x ++ ")"
+genTest (Test free x) = "test (\\" ++ concatMap ((' ':) . f) free ++ " -> (" ++ x ++ "))"
     where
         f [a] | a >= 'x' = "(QFilePath " ++ [a] ++ ")"
         f x = x
index 15a6877..378b9f0 100755 (executable)
@@ -20,689 +20,689 @@ tests = do
  block14
 block1 = do
  putStrLn "Test 1, from line 120"
constTest (W.pathSeparator == '\\')
test (W.pathSeparator == '\\')
  putStrLn "Test 2, from line 121"
constTest (P.pathSeparator == '/')
test (P.pathSeparator == '/')
  putStrLn "Test 3, from line 122"
constTest (W.isPathSeparator W.pathSeparator)
test (W.isPathSeparator W.pathSeparator)
  putStrLn "Test 4, from line 122"
constTest (P.isPathSeparator P.pathSeparator)
test (P.isPathSeparator P.pathSeparator)
  putStrLn "Test 5, from line 128"
constTest (W.pathSeparators == [ '\\' , '/' ])
test (W.pathSeparators == [ '\\' , '/' ])
  putStrLn "Test 6, from line 129"
constTest (P.pathSeparators == [ '/' ])
test (P.pathSeparators == [ '/' ])
  putStrLn "Test 7, from line 130"
constTest (W.pathSeparator ` elem ` W.pathSeparators)
test (W.pathSeparator ` elem ` W.pathSeparators)
  putStrLn "Test 8, from line 130"
constTest (P.pathSeparator ` elem ` P.pathSeparators)
test (P.pathSeparator ` elem ` P.pathSeparators)
  putStrLn "Test 9, from line 144"
constTest (W.searchPathSeparator == ';')
test (W.searchPathSeparator == ';')
  putStrLn "Test 10, from line 145"
constTest (P.searchPathSeparator == ':')
test (P.searchPathSeparator == ':')
  putStrLn "Test 11, from line 158"
constTest (W.extSeparator == '.')
test (W.extSeparator == '.')
  putStrLn "Test 12, from line 158"
constTest (P.extSeparator == '.')
test (P.extSeparator == '.')
  putStrLn "Test 13, from line 179"
constTest (P.splitSearchPath "File1:File2:File3" == [ "File1" , "File2" , "File3" ])
test (P.splitSearchPath "File1:File2:File3" == [ "File1" , "File2" , "File3" ])
  putStrLn "Test 14, from line 180"
constTest (P.splitSearchPath "File1::File2:File3" == [ "File1" , "." , "File2" , "File3" ])
test (P.splitSearchPath "File1::File2:File3" == [ "File1" , "." , "File2" , "File3" ])
  putStrLn "Test 15, from line 181"
constTest (W.splitSearchPath "File1;File2;File3" == [ "File1" , "File2" , "File3" ])
test (W.splitSearchPath "File1;File2;File3" == [ "File1" , "File2" , "File3" ])
  putStrLn "Test 16, from line 182"
constTest (W.splitSearchPath "File1;;File2;File3" == [ "File1" , "File2" , "File3" ])
test (W.splitSearchPath "File1;;File2;File3" == [ "File1" , "File2" , "File3" ])
  putStrLn "Test 17, from line 206"
constTest (W.splitExtension "file.txt" == ( "file" , ".txt" ))
test (W.splitExtension "file.txt" == ( "file" , ".txt" ))
  putStrLn "Test 18, from line 206"
constTest (P.splitExtension "file.txt" == ( "file" , ".txt" ))
test (P.splitExtension "file.txt" == ( "file" , ".txt" ))
  putStrLn "Test 19, from line 207"
constTest (W.splitExtension "file" == ( "file" , "" ))
test (W.splitExtension "file" == ( "file" , "" ))
  putStrLn "Test 20, from line 207"
constTest (P.splitExtension "file" == ( "file" , "" ))
test (P.splitExtension "file" == ( "file" , "" ))
  putStrLn "Test 21, from line 208"
constTest (W.splitExtension "file/file.txt" == ( "file/file" , ".txt" ))
test (W.splitExtension "file/file.txt" == ( "file/file" , ".txt" ))
  putStrLn "Test 22, from line 208"
constTest (P.splitExtension "file/file.txt" == ( "file/file" , ".txt" ))
test (P.splitExtension "file/file.txt" == ( "file/file" , ".txt" ))
  putStrLn "Test 23, from line 209"
constTest (W.splitExtension "file.txt/boris" == ( "file.txt/boris" , "" ))
test (W.splitExtension "file.txt/boris" == ( "file.txt/boris" , "" ))
  putStrLn "Test 24, from line 209"
constTest (P.splitExtension "file.txt/boris" == ( "file.txt/boris" , "" ))
test (P.splitExtension "file.txt/boris" == ( "file.txt/boris" , "" ))
  putStrLn "Test 25, from line 210"
constTest (W.splitExtension "file.txt/boris.ext" == ( "file.txt/boris" , ".ext" ))
test (W.splitExtension "file.txt/boris.ext" == ( "file.txt/boris" , ".ext" ))
 block2 = do
  putStrLn "Test 26, from line 210"
constTest (P.splitExtension "file.txt/boris.ext" == ( "file.txt/boris" , ".ext" ))
test (P.splitExtension "file.txt/boris.ext" == ( "file.txt/boris" , ".ext" ))
  putStrLn "Test 27, from line 211"
constTest (W.splitExtension "file/path.txt.bob.fred" == ( "file/path.txt.bob" , ".fred" ))
test (W.splitExtension "file/path.txt.bob.fred" == ( "file/path.txt.bob" , ".fred" ))
  putStrLn "Test 28, from line 211"
constTest (P.splitExtension "file/path.txt.bob.fred" == ( "file/path.txt.bob" , ".fred" ))
test (P.splitExtension "file/path.txt.bob.fred" == ( "file/path.txt.bob" , ".fred" ))
  putStrLn "Test 29, from line 212"
constTest (W.splitExtension "file/path.txt/" == ( "file/path.txt/" , "" ))
test (W.splitExtension "file/path.txt/" == ( "file/path.txt/" , "" ))
  putStrLn "Test 30, from line 212"
constTest (P.splitExtension "file/path.txt/" == ( "file/path.txt/" , "" ))
test (P.splitExtension "file/path.txt/" == ( "file/path.txt/" , "" ))
  putStrLn "Test 31, from line 231"
constTest (W.replaceExtension "file.txt" ".bob" == "file.bob")
test (W.replaceExtension "file.txt" ".bob" == "file.bob")
  putStrLn "Test 32, from line 231"
constTest (P.replaceExtension "file.txt" ".bob" == "file.bob")
test (P.replaceExtension "file.txt" ".bob" == "file.bob")
  putStrLn "Test 33, from line 232"
constTest (W.replaceExtension "file.txt" "bob" == "file.bob")
test (W.replaceExtension "file.txt" "bob" == "file.bob")
  putStrLn "Test 34, from line 232"
constTest (P.replaceExtension "file.txt" "bob" == "file.bob")
test (P.replaceExtension "file.txt" "bob" == "file.bob")
  putStrLn "Test 35, from line 233"
constTest (W.replaceExtension "file" ".bob" == "file.bob")
test (W.replaceExtension "file" ".bob" == "file.bob")
  putStrLn "Test 36, from line 233"
constTest (P.replaceExtension "file" ".bob" == "file.bob")
test (P.replaceExtension "file" ".bob" == "file.bob")
  putStrLn "Test 37, from line 234"
constTest (W.replaceExtension "file.txt" "" == "file")
test (W.replaceExtension "file.txt" "" == "file")
  putStrLn "Test 38, from line 234"
constTest (P.replaceExtension "file.txt" "" == "file")
test (P.replaceExtension "file.txt" "" == "file")
  putStrLn "Test 39, from line 235"
constTest (W.replaceExtension "file.fred.bob" "txt" == "file.fred.txt")
test (W.replaceExtension "file.fred.bob" "txt" == "file.fred.txt")
  putStrLn "Test 40, from line 235"
constTest (P.replaceExtension "file.fred.bob" "txt" == "file.fred.txt")
test (P.replaceExtension "file.fred.bob" "txt" == "file.fred.txt")
  putStrLn "Test 41, from line 252"
constTest (W.addExtension "file.txt" "bib" == "file.txt.bib")
test (W.addExtension "file.txt" "bib" == "file.txt.bib")
  putStrLn "Test 42, from line 252"
constTest (P.addExtension "file.txt" "bib" == "file.txt.bib")
test (P.addExtension "file.txt" "bib" == "file.txt.bib")
  putStrLn "Test 43, from line 253"
constTest (W.addExtension "file." ".bib" == "file..bib")
test (W.addExtension "file." ".bib" == "file..bib")
  putStrLn "Test 44, from line 253"
constTest (P.addExtension "file." ".bib" == "file..bib")
test (P.addExtension "file." ".bib" == "file..bib")
  putStrLn "Test 45, from line 254"
constTest (W.addExtension "file" ".bib" == "file.bib")
test (W.addExtension "file" ".bib" == "file.bib")
  putStrLn "Test 46, from line 254"
constTest (P.addExtension "file" ".bib" == "file.bib")
test (P.addExtension "file" ".bib" == "file.bib")
  putStrLn "Test 47, from line 255"
constTest (W.addExtension "/" "x" == "/.x")
test (W.addExtension "/" "x" == "/.x")
  putStrLn "Test 48, from line 255"
constTest (P.addExtension "/" "x" == "/.x")
test (P.addExtension "/" "x" == "/.x")
  putStrLn "Test 49, from line 257"
constTest (W.addExtension "\\\\share" ".txt" == "\\\\share\\.txt")
test (W.addExtension "\\\\share" ".txt" == "\\\\share\\.txt")
  putStrLn "Test 50, from line 278"
constTest (W.splitExtensions "file.tar.gz" == ( "file" , ".tar.gz" ))
test (W.splitExtensions "file.tar.gz" == ( "file" , ".tar.gz" ))
 block3 = do
  putStrLn "Test 51, from line 278"
constTest (P.splitExtensions "file.tar.gz" == ( "file" , ".tar.gz" ))
test (P.splitExtensions "file.tar.gz" == ( "file" , ".tar.gz" ))
  putStrLn "Test 52, from line 293"
constTest (W.takeExtensions "file.tar.gz" == ".tar.gz")
test (W.takeExtensions "file.tar.gz" == ".tar.gz")
  putStrLn "Test 53, from line 293"
constTest (P.takeExtensions "file.tar.gz" == ".tar.gz")
test (P.takeExtensions "file.tar.gz" == ".tar.gz")
  putStrLn "Test 54, from line 312"
constTest (W.splitDrive "file" == ( "" , "file" ))
test (W.splitDrive "file" == ( "" , "file" ))
  putStrLn "Test 55, from line 313"
constTest (W.splitDrive "c:/file" == ( "c:/" , "file" ))
test (W.splitDrive "c:/file" == ( "c:/" , "file" ))
  putStrLn "Test 56, from line 314"
constTest (W.splitDrive "c:\\file" == ( "c:\\" , "file" ))
test (W.splitDrive "c:\\file" == ( "c:\\" , "file" ))
  putStrLn "Test 57, from line 315"
constTest (W.splitDrive "\\\\shared\\test" == ( "\\\\shared\\" , "test" ))
test (W.splitDrive "\\\\shared\\test" == ( "\\\\shared\\" , "test" ))
  putStrLn "Test 58, from line 316"
constTest (W.splitDrive "\\\\shared" == ( "\\\\shared" , "" ))
test (W.splitDrive "\\\\shared" == ( "\\\\shared" , "" ))
  putStrLn "Test 59, from line 317"
constTest (W.splitDrive "\\\\?\\UNC\\shared\\file" == ( "\\\\?\\UNC\\shared\\" , "file" ))
test (W.splitDrive "\\\\?\\UNC\\shared\\file" == ( "\\\\?\\UNC\\shared\\" , "file" ))
  putStrLn "Test 60, from line 318"
constTest (W.splitDrive "\\\\?\\UNCshared\\file" == ( "\\\\?\\" , "UNCshared\\file" ))
test (W.splitDrive "\\\\?\\UNCshared\\file" == ( "\\\\?\\" , "UNCshared\\file" ))
  putStrLn "Test 61, from line 319"
constTest (W.splitDrive "\\\\?\\d:\\file" == ( "\\\\?\\d:\\" , "file" ))
test (W.splitDrive "\\\\?\\d:\\file" == ( "\\\\?\\d:\\" , "file" ))
  putStrLn "Test 62, from line 320"
constTest (W.splitDrive "/d" == ( "" , "/d" ))
test (W.splitDrive "/d" == ( "" , "/d" ))
  putStrLn "Test 63, from line 321"
constTest (P.splitDrive "/test" == ( "/" , "test" ))
test (P.splitDrive "/test" == ( "/" , "test" ))
  putStrLn "Test 64, from line 322"
constTest (P.splitDrive "//test" == ( "//" , "test" ))
test (P.splitDrive "//test" == ( "//" , "test" ))
  putStrLn "Test 65, from line 323"
constTest (P.splitDrive "test/file" == ( "" , "test/file" ))
test (P.splitDrive "test/file" == ( "" , "test/file" ))
  putStrLn "Test 66, from line 324"
constTest (P.splitDrive "file" == ( "" , "file" ))
test (P.splitDrive "file" == ( "" , "file" ))
  putStrLn "Test 67, from line 381"
constTest (W.joinDrive "C:" "foo" == "C:foo")
test (W.joinDrive "C:" "foo" == "C:foo")
  putStrLn "Test 68, from line 382"
constTest (W.joinDrive "C:\\" "bar" == "C:\\bar")
test (W.joinDrive "C:\\" "bar" == "C:\\bar")
  putStrLn "Test 69, from line 383"
constTest (W.joinDrive "\\\\share" "foo" == "\\\\share\\foo")
test (W.joinDrive "\\\\share" "foo" == "\\\\share\\foo")
  putStrLn "Test 70, from line 384"
constTest (W.joinDrive "/:" "foo" == "/:\\foo")
test (W.joinDrive "/:" "foo" == "/:\\foo")
  putStrLn "Test 71, from line 403"
constTest (P.hasDrive "/foo" == True)
test (P.hasDrive "/foo" == True)
  putStrLn "Test 72, from line 404"
constTest (W.hasDrive "C:\\foo" == True)
test (W.hasDrive "C:\\foo" == True)
  putStrLn "Test 73, from line 405"
constTest (W.hasDrive "C:foo" == True)
test (W.hasDrive "C:foo" == True)
  putStrLn "Test 74, from line 406"
constTest (W.hasDrive "foo" == False)
test (W.hasDrive "foo" == False)
  putStrLn "Test 75, from line 406"
constTest (P.hasDrive "foo" == False)
test (P.hasDrive "foo" == False)
 block4 = do
  putStrLn "Test 76, from line 407"
constTest (W.hasDrive "" == False)
test (W.hasDrive "" == False)
  putStrLn "Test 77, from line 407"
constTest (P.hasDrive "" == False)
test (P.hasDrive "" == False)
  putStrLn "Test 78, from line 414"
constTest (P.isDrive "/" == True)
test (P.isDrive "/" == True)
  putStrLn "Test 79, from line 415"
constTest (P.isDrive "/foo" == False)
test (P.isDrive "/foo" == False)
  putStrLn "Test 80, from line 416"
constTest (W.isDrive "C:\\" == True)
test (W.isDrive "C:\\" == True)
  putStrLn "Test 81, from line 417"
constTest (W.isDrive "C:\\foo" == False)
test (W.isDrive "C:\\foo" == False)
  putStrLn "Test 82, from line 418"
constTest (W.isDrive "" == False)
test (W.isDrive "" == False)
  putStrLn "Test 83, from line 418"
constTest (P.isDrive "" == False)
test (P.isDrive "" == False)
  putStrLn "Test 84, from line 430"
constTest (W.splitFileName "file/bob.txt" == ( "file/" , "bob.txt" ))
test (W.splitFileName "file/bob.txt" == ( "file/" , "bob.txt" ))
  putStrLn "Test 85, from line 430"
constTest (P.splitFileName "file/bob.txt" == ( "file/" , "bob.txt" ))
test (P.splitFileName "file/bob.txt" == ( "file/" , "bob.txt" ))
  putStrLn "Test 86, from line 431"
constTest (W.splitFileName "file/" == ( "file/" , "" ))
test (W.splitFileName "file/" == ( "file/" , "" ))
  putStrLn "Test 87, from line 431"
constTest (P.splitFileName "file/" == ( "file/" , "" ))
test (P.splitFileName "file/" == ( "file/" , "" ))
  putStrLn "Test 88, from line 432"
constTest (W.splitFileName "bob" == ( "./" , "bob" ))
test (W.splitFileName "bob" == ( "./" , "bob" ))
  putStrLn "Test 89, from line 432"
constTest (P.splitFileName "bob" == ( "./" , "bob" ))
test (P.splitFileName "bob" == ( "./" , "bob" ))
  putStrLn "Test 90, from line 433"
constTest (P.splitFileName "/" == ( "/" , "" ))
test (P.splitFileName "/" == ( "/" , "" ))
  putStrLn "Test 91, from line 434"
constTest (W.splitFileName "c:" == ( "c:" , "" ))
test (W.splitFileName "c:" == ( "c:" , "" ))
  putStrLn "Test 92, from line 467"
constTest (W.takeFileName "test/" == "")
test (W.takeFileName "test/" == "")
  putStrLn "Test 93, from line 467"
constTest (P.takeFileName "test/" == "")
test (P.takeFileName "test/" == "")
  putStrLn "Test 94, from line 478"
constTest (W.takeBaseName "file/test.txt" == "test")
test (W.takeBaseName "file/test.txt" == "test")
  putStrLn "Test 95, from line 478"
constTest (P.takeBaseName "file/test.txt" == "test")
test (P.takeBaseName "file/test.txt" == "test")
  putStrLn "Test 96, from line 479"
constTest (W.takeBaseName "dave.ext" == "dave")
test (W.takeBaseName "dave.ext" == "dave")
  putStrLn "Test 97, from line 479"
constTest (P.takeBaseName "dave.ext" == "dave")
test (P.takeBaseName "dave.ext" == "dave")
  putStrLn "Test 98, from line 480"
constTest (W.takeBaseName "" == "")
test (W.takeBaseName "" == "")
  putStrLn "Test 99, from line 480"
constTest (P.takeBaseName "" == "")
test (P.takeBaseName "" == "")
  putStrLn "Test 100, from line 481"
constTest (W.takeBaseName "test" == "test")
test (W.takeBaseName "test" == "test")
 block5 = do
  putStrLn "Test 101, from line 481"
constTest (P.takeBaseName "test" == "test")
test (P.takeBaseName "test" == "test")
  putStrLn "Test 102, from line 483"
constTest (W.takeBaseName "file/file.tar.gz" == "file.tar")
test (W.takeBaseName "file/file.tar.gz" == "file.tar")
  putStrLn "Test 103, from line 483"
constTest (P.takeBaseName "file/file.tar.gz" == "file.tar")
test (P.takeBaseName "file/file.tar.gz" == "file.tar")
  putStrLn "Test 104, from line 489"
constTest (W.replaceBaseName "file/test.txt" "bob" == "file/bob.txt")
test (W.replaceBaseName "file/test.txt" "bob" == "file/bob.txt")
  putStrLn "Test 105, from line 489"
constTest (P.replaceBaseName "file/test.txt" "bob" == "file/bob.txt")
test (P.replaceBaseName "file/test.txt" "bob" == "file/bob.txt")
  putStrLn "Test 106, from line 490"
constTest (W.replaceBaseName "fred" "bill" == "bill")
test (W.replaceBaseName "fred" "bill" == "bill")
  putStrLn "Test 107, from line 490"
constTest (P.replaceBaseName "fred" "bill" == "bill")
test (P.replaceBaseName "fred" "bill" == "bill")
  putStrLn "Test 108, from line 491"
constTest (W.replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar")
test (W.replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar")
  putStrLn "Test 109, from line 491"
constTest (P.replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar")
test (P.replaceBaseName "/dave/fred/bob.gz.tar" "new" == "/dave/fred/new.tar")
  putStrLn "Test 110, from line 501"
constTest (W.hasTrailingPathSeparator "test" == False)
test (W.hasTrailingPathSeparator "test" == False)
  putStrLn "Test 111, from line 501"
constTest (P.hasTrailingPathSeparator "test" == False)
test (P.hasTrailingPathSeparator "test" == False)
  putStrLn "Test 112, from line 502"
constTest (W.hasTrailingPathSeparator "test/" == True)
test (W.hasTrailingPathSeparator "test/" == True)
  putStrLn "Test 113, from line 502"
constTest (P.hasTrailingPathSeparator "test/" == True)
test (P.hasTrailingPathSeparator "test/" == True)
  putStrLn "Test 114, from line 517"
constTest (P.addTrailingPathSeparator "test/rest" == "test/rest/")
test (P.addTrailingPathSeparator "test/rest" == "test/rest/")
  putStrLn "Test 115, from line 524"
constTest (W.dropTrailingPathSeparator "file/test/" == "file/test")
test (W.dropTrailingPathSeparator "file/test/" == "file/test")
  putStrLn "Test 116, from line 524"
constTest (P.dropTrailingPathSeparator "file/test/" == "file/test")
test (P.dropTrailingPathSeparator "file/test/" == "file/test")
  putStrLn "Test 117, from line 525"
constTest (W.dropTrailingPathSeparator "/" == "/")
test (W.dropTrailingPathSeparator "/" == "/")
  putStrLn "Test 118, from line 525"
constTest (P.dropTrailingPathSeparator "/" == "/")
test (P.dropTrailingPathSeparator "/" == "/")
  putStrLn "Test 119, from line 526"
constTest (W.dropTrailingPathSeparator "\\" == "\\")
test (W.dropTrailingPathSeparator "\\" == "\\")
  putStrLn "Test 120, from line 539"
constTest (W.takeDirectory "foo" == ".")
test (W.takeDirectory "foo" == ".")
  putStrLn "Test 121, from line 539"
constTest (P.takeDirectory "foo" == ".")
test (P.takeDirectory "foo" == ".")
  putStrLn "Test 122, from line 540"
constTest (W.takeDirectory "/" == "/")
test (W.takeDirectory "/" == "/")
  putStrLn "Test 123, from line 540"
constTest (P.takeDirectory "/" == "/")
test (P.takeDirectory "/" == "/")
  putStrLn "Test 124, from line 541"
constTest (W.takeDirectory "/foo" == "/")
test (W.takeDirectory "/foo" == "/")
  putStrLn "Test 125, from line 541"
constTest (P.takeDirectory "/foo" == "/")
test (P.takeDirectory "/foo" == "/")
 block6 = do
  putStrLn "Test 126, from line 542"
constTest (W.takeDirectory "/foo/bar/baz" == "/foo/bar")
test (W.takeDirectory "/foo/bar/baz" == "/foo/bar")
  putStrLn "Test 127, from line 542"
constTest (P.takeDirectory "/foo/bar/baz" == "/foo/bar")
test (P.takeDirectory "/foo/bar/baz" == "/foo/bar")
  putStrLn "Test 128, from line 543"
constTest (W.takeDirectory "/foo/bar/baz/" == "/foo/bar/baz")
test (W.takeDirectory "/foo/bar/baz/" == "/foo/bar/baz")
  putStrLn "Test 129, from line 543"
constTest (P.takeDirectory "/foo/bar/baz/" == "/foo/bar/baz")
test (P.takeDirectory "/foo/bar/baz/" == "/foo/bar/baz")
  putStrLn "Test 130, from line 544"
constTest (W.takeDirectory "foo/bar/baz" == "foo/bar")
test (W.takeDirectory "foo/bar/baz" == "foo/bar")
  putStrLn "Test 131, from line 544"
constTest (P.takeDirectory "foo/bar/baz" == "foo/bar")
test (P.takeDirectory "foo/bar/baz" == "foo/bar")
  putStrLn "Test 132, from line 545"
constTest (W.takeDirectory "foo\\bar" == "foo")
test (W.takeDirectory "foo\\bar" == "foo")
  putStrLn "Test 133, from line 546"
constTest (W.takeDirectory "foo\\bar\\\\" == "foo\\bar")
test (W.takeDirectory "foo\\bar\\\\" == "foo\\bar")
  putStrLn "Test 134, from line 547"
constTest (W.takeDirectory "C:\\" == "C:\\")
test (W.takeDirectory "C:\\" == "C:\\")
  putStrLn "Test 135, from line 564"
constTest (P.combine "/" "test" == "/test")
test (P.combine "/" "test" == "/test")
  putStrLn "Test 136, from line 565"
constTest (P.combine "home" "bob" == "home/bob")
test (P.combine "home" "bob" == "home/bob")
  putStrLn "Test 137, from line 566"
constTest (P.combine "x:" "foo" == "x:/foo")
test (P.combine "x:" "foo" == "x:/foo")
  putStrLn "Test 138, from line 567"
constTest (W.combine "C:\\foo" "bar" == "C:\\foo\\bar")
test (W.combine "C:\\foo" "bar" == "C:\\foo\\bar")
  putStrLn "Test 139, from line 568"
constTest (W.combine "home" "bob" == "home\\bob")
test (W.combine "home" "bob" == "home\\bob")
  putStrLn "Test 140, from line 571"
constTest (P.combine "home" "/bob" == "/bob")
test (P.combine "home" "/bob" == "/bob")
  putStrLn "Test 141, from line 572"
constTest (W.combine "home" "C:\\bob" == "C:\\bob")
test (W.combine "home" "C:\\bob" == "C:\\bob")
  putStrLn "Test 142, from line 580"
constTest (W.combine "home" "/bob" == "/bob")
test (W.combine "home" "/bob" == "/bob")
  putStrLn "Test 143, from line 581"
constTest (W.combine "home" "\\bob" == "\\bob")
test (W.combine "home" "\\bob" == "\\bob")
  putStrLn "Test 144, from line 582"
constTest (W.combine "C:\\home" "\\bob" == "\\bob")
test (W.combine "C:\\home" "\\bob" == "\\bob")
  putStrLn "Test 145, from line 589"
constTest (W.combine "D:\\foo" "C:bar" == "C:bar")
test (W.combine "D:\\foo" "C:bar" == "C:bar")
  putStrLn "Test 146, from line 590"
constTest (W.combine "C:\\foo" "C:bar" == "C:bar")
test (W.combine "C:\\foo" "C:bar" == "C:bar")
  putStrLn "Test 147, from line 613"
constTest (W.splitPath "test//item/" == [ "test//" , "item/" ])
test (W.splitPath "test//item/" == [ "test//" , "item/" ])
  putStrLn "Test 148, from line 613"
constTest (P.splitPath "test//item/" == [ "test//" , "item/" ])
test (P.splitPath "test//item/" == [ "test//" , "item/" ])
  putStrLn "Test 149, from line 614"
constTest (W.splitPath "test/item/file" == [ "test/" , "item/" , "file" ])
test (W.splitPath "test/item/file" == [ "test/" , "item/" , "file" ])
  putStrLn "Test 150, from line 614"
constTest (P.splitPath "test/item/file" == [ "test/" , "item/" , "file" ])
test (P.splitPath "test/item/file" == [ "test/" , "item/" , "file" ])
 block7 = do
  putStrLn "Test 151, from line 615"
constTest (W.splitPath "" == [ ])
test (W.splitPath "" == [ ])
  putStrLn "Test 152, from line 615"
constTest (P.splitPath "" == [ ])
test (P.splitPath "" == [ ])
  putStrLn "Test 153, from line 616"
constTest (W.splitPath "c:\\test\\path" == [ "c:\\" , "test\\" , "path" ])
test (W.splitPath "c:\\test\\path" == [ "c:\\" , "test\\" , "path" ])
  putStrLn "Test 154, from line 617"
constTest (P.splitPath "/file/test" == [ "/" , "file/" , "test" ])
test (P.splitPath "/file/test" == [ "/" , "file/" , "test" ])
  putStrLn "Test 155, from line 631"
constTest (W.splitDirectories "test/file" == [ "test" , "file" ])
test (W.splitDirectories "test/file" == [ "test" , "file" ])
  putStrLn "Test 156, from line 631"
constTest (P.splitDirectories "test/file" == [ "test" , "file" ])
test (P.splitDirectories "test/file" == [ "test" , "file" ])
  putStrLn "Test 157, from line 632"
constTest (W.splitDirectories "/test/file" == [ "/" , "test" , "file" ])
test (W.splitDirectories "/test/file" == [ "/" , "test" , "file" ])
  putStrLn "Test 158, from line 632"
constTest (P.splitDirectories "/test/file" == [ "/" , "test" , "file" ])
test (P.splitDirectories "/test/file" == [ "/" , "test" , "file" ])
  putStrLn "Test 159, from line 633"
constTest (W.splitDirectories "C:\\test\\file" == [ "C:\\" , "test" , "file" ])
test (W.splitDirectories "C:\\test\\file" == [ "C:\\" , "test" , "file" ])
  putStrLn "Test 160, from line 635"
constTest (W.splitDirectories "" == [ ])
test (W.splitDirectories "" == [ ])
  putStrLn "Test 161, from line 635"
constTest (P.splitDirectories "" == [ ])
test (P.splitDirectories "" == [ ])
  putStrLn "Test 162, from line 636"
constTest (W.splitDirectories "C:\\test\\\\\\file" == [ "C:\\" , "test" , "file" ])
test (W.splitDirectories "C:\\test\\\\\\file" == [ "C:\\" , "test" , "file" ])
  putStrLn "Test 163, from line 637"
constTest (W.splitDirectories "/test///file" == [ "/" , "test" , "file" ])
test (W.splitDirectories "/test///file" == [ "/" , "test" , "file" ])
  putStrLn "Test 164, from line 637"
constTest (P.splitDirectories "/test///file" == [ "/" , "test" , "file" ])
test (P.splitDirectories "/test///file" == [ "/" , "test" , "file" ])
  putStrLn "Test 165, from line 645"
constTest (W.joinPath [ ] == "")
test (W.joinPath [ ] == "")
  putStrLn "Test 166, from line 645"
constTest (P.joinPath [ ] == "")
test (P.joinPath [ ] == "")
  putStrLn "Test 167, from line 646"
constTest (P.joinPath [ "test" , "file" , "path" ] == "test/file/path")
test (P.joinPath [ "test" , "file" , "path" ] == "test/file/path")
  putStrLn "Test 168, from line 667"
constTest (W.equalFilePath "foo" "foo/")
test (W.equalFilePath "foo" "foo/")
  putStrLn "Test 169, from line 667"
constTest (P.equalFilePath "foo" "foo/")
test (P.equalFilePath "foo" "foo/")
  putStrLn "Test 170, from line 668"
constTest (not ( W.equalFilePath "foo" "/foo" ))
test (not ( W.equalFilePath "foo" "/foo" ))
  putStrLn "Test 171, from line 668"
constTest (not ( P.equalFilePath "foo" "/foo" ))
test (not ( P.equalFilePath "foo" "/foo" ))
  putStrLn "Test 172, from line 669"
constTest (not ( P.equalFilePath "foo" "FOO" ))
test (not ( P.equalFilePath "foo" "FOO" ))
  putStrLn "Test 173, from line 670"
constTest (W.equalFilePath "foo" "FOO")
test (W.equalFilePath "foo" "FOO")
  putStrLn "Test 174, from line 671"
constTest (not ( W.equalFilePath "C:" "C:/" ))
test (not ( W.equalFilePath "C:" "C:/" ))
  putStrLn "Test 175, from line 686"
constTest (W.makeRelative "C:\\Home" "c:\\home\\bob" == "bob")
test (W.makeRelative "C:\\Home" "c:\\home\\bob" == "bob")
 block8 = do
  putStrLn "Test 176, from line 687"
constTest (W.makeRelative "C:\\Home" "c:/home/bob" == "bob")
test (W.makeRelative "C:\\Home" "c:/home/bob" == "bob")
  putStrLn "Test 177, from line 688"
constTest (W.makeRelative "C:\\Home" "D:\\Home\\Bob" == "D:\\Home\\Bob")
test (W.makeRelative "C:\\Home" "D:\\Home\\Bob" == "D:\\Home\\Bob")
  putStrLn "Test 178, from line 689"
constTest (W.makeRelative "C:\\Home" "C:Home\\Bob" == "C:Home\\Bob")
test (W.makeRelative "C:\\Home" "C:Home\\Bob" == "C:Home\\Bob")
  putStrLn "Test 179, from line 690"
constTest (W.makeRelative "/Home" "/home/bob" == "bob")
test (W.makeRelative "/Home" "/home/bob" == "bob")
  putStrLn "Test 180, from line 691"
constTest (W.makeRelative "/" "//" == "//")
test (W.makeRelative "/" "//" == "//")
  putStrLn "Test 181, from line 692"
constTest (P.makeRelative "/Home" "/home/bob" == "/home/bob")
test (P.makeRelative "/Home" "/home/bob" == "/home/bob")
  putStrLn "Test 182, from line 693"
constTest (P.makeRelative "/home/" "/home/bob/foo/bar" == "bob/foo/bar")
test (P.makeRelative "/home/" "/home/bob/foo/bar" == "bob/foo/bar")
  putStrLn "Test 183, from line 694"
constTest (P.makeRelative "/fred" "bob" == "bob")
test (P.makeRelative "/fred" "bob" == "bob")
  putStrLn "Test 184, from line 695"
constTest (P.makeRelative "/file/test" "/file/test/fred" == "fred")
test (P.makeRelative "/file/test" "/file/test/fred" == "fred")
  putStrLn "Test 185, from line 696"
constTest (P.makeRelative "/file/test" "/file/test/fred/" == "fred/")
test (P.makeRelative "/file/test" "/file/test/fred/" == "fred/")
  putStrLn "Test 186, from line 697"
constTest (P.makeRelative "some/path" "some/path/a/b/c" == "a/b/c")
test (P.makeRelative "some/path" "some/path/a/b/c" == "a/b/c")
  putStrLn "Test 187, from line 727"
constTest (P.normalise "/file/\\test////" == "/file/\\test/")
test (P.normalise "/file/\\test////" == "/file/\\test/")
  putStrLn "Test 188, from line 728"
constTest (P.normalise "/file/./test" == "/file/test")
test (P.normalise "/file/./test" == "/file/test")
  putStrLn "Test 189, from line 729"
constTest (P.normalise "/test/file/../bob/fred/" == "/test/file/../bob/fred/")
test (P.normalise "/test/file/../bob/fred/" == "/test/file/../bob/fred/")
  putStrLn "Test 190, from line 730"
constTest (P.normalise "../bob/fred/" == "../bob/fred/")
test (P.normalise "../bob/fred/" == "../bob/fred/")
  putStrLn "Test 191, from line 731"
constTest (P.normalise "./bob/fred/" == "bob/fred/")
test (P.normalise "./bob/fred/" == "bob/fred/")
  putStrLn "Test 192, from line 732"
constTest (W.normalise "c:\\file/bob\\" == "C:\\file\\bob\\")
test (W.normalise "c:\\file/bob\\" == "C:\\file\\bob\\")
  putStrLn "Test 193, from line 733"
constTest (W.normalise "c:\\" == "C:\\")
test (W.normalise "c:\\" == "C:\\")
  putStrLn "Test 194, from line 734"
constTest (W.normalise "C:.\\" == "C:")
test (W.normalise "C:.\\" == "C:")
  putStrLn "Test 195, from line 735"
constTest (W.normalise "\\\\server\\test" == "\\\\server\\test")
test (W.normalise "\\\\server\\test" == "\\\\server\\test")
  putStrLn "Test 196, from line 736"
constTest (W.normalise "//server/test" == "\\\\server\\test")
test (W.normalise "//server/test" == "\\\\server\\test")
  putStrLn "Test 197, from line 737"
constTest (W.normalise "c:/file" == "C:\\file")
test (W.normalise "c:/file" == "C:\\file")
  putStrLn "Test 198, from line 738"
constTest (W.normalise "/file" == "\\file")
test (W.normalise "/file" == "\\file")
  putStrLn "Test 199, from line 739"
constTest (W.normalise "\\" == "\\")
test (W.normalise "\\" == "\\")
  putStrLn "Test 200, from line 740"
constTest (W.normalise "/./" == "\\")
test (W.normalise "/./" == "\\")
 block9 = do
  putStrLn "Test 201, from line 741"
constTest (W.normalise "." == ".")
test (W.normalise "." == ".")
  putStrLn "Test 202, from line 741"
constTest (P.normalise "." == ".")
test (P.normalise "." == ".")
  putStrLn "Test 203, from line 742"
constTest (P.normalise "./" == "./")
test (P.normalise "./" == "./")
  putStrLn "Test 204, from line 743"
constTest (P.normalise "./." == "./")
test (P.normalise "./." == "./")
  putStrLn "Test 205, from line 744"
constTest (P.normalise "/./" == "/")
test (P.normalise "/./" == "/")
  putStrLn "Test 206, from line 745"
constTest (P.normalise "/" == "/")
test (P.normalise "/" == "/")
  putStrLn "Test 207, from line 746"
constTest (P.normalise "bob/fred/." == "bob/fred/")
test (P.normalise "bob/fred/." == "bob/fred/")
  putStrLn "Test 208, from line 747"
constTest (P.normalise "//home" == "/home")
test (P.normalise "//home" == "/home")
  putStrLn "Test 209, from line 792"
constTest (W.isValid "" == False)
test (W.isValid "" == False)
  putStrLn "Test 210, from line 792"
constTest (P.isValid "" == False)
test (P.isValid "" == False)
  putStrLn "Test 211, from line 793"
constTest (P.isValid "/random_ path:*" == True)
test (P.isValid "/random_ path:*" == True)
  putStrLn "Test 212, from line 795"
constTest (W.isValid "c:\\test" == True)
test (W.isValid "c:\\test" == True)
  putStrLn "Test 213, from line 796"
constTest (W.isValid "c:\\test:of_test" == False)
test (W.isValid "c:\\test:of_test" == False)
  putStrLn "Test 214, from line 797"
constTest (W.isValid "test*" == False)
test (W.isValid "test*" == False)
  putStrLn "Test 215, from line 798"
constTest (W.isValid "c:\\test\\nul" == False)
test (W.isValid "c:\\test\\nul" == False)
  putStrLn "Test 216, from line 799"
constTest (W.isValid "c:\\test\\prn.txt" == False)
test (W.isValid "c:\\test\\prn.txt" == False)
  putStrLn "Test 217, from line 800"
constTest (W.isValid "c:\\nul\\file" == False)
test (W.isValid "c:\\nul\\file" == False)
  putStrLn "Test 218, from line 801"
constTest (W.isValid "\\\\" == False)
test (W.isValid "\\\\" == False)
  putStrLn "Test 219, from line 802"
constTest (W.isValid "\\\\\\foo" == False)
test (W.isValid "\\\\\\foo" == False)
  putStrLn "Test 220, from line 803"
constTest (W.isValid "\\\\?\\D:file" == False)
test (W.isValid "\\\\?\\D:file" == False)
  putStrLn "Test 221, from line 821"
constTest (W.makeValid "" == "_")
test (W.makeValid "" == "_")
  putStrLn "Test 222, from line 821"
constTest (P.makeValid "" == "_")
test (P.makeValid "" == "_")
  putStrLn "Test 223, from line 822"
constTest (W.makeValid "c:\\already\\/valid" == "c:\\already\\/valid")
test (W.makeValid "c:\\already\\/valid" == "c:\\already\\/valid")
  putStrLn "Test 224, from line 823"
constTest (W.makeValid "c:\\test:of_test" == "c:\\test_of_test")
test (W.makeValid "c:\\test:of_test" == "c:\\test_of_test")
  putStrLn "Test 225, from line 824"
constTest (W.makeValid "test*" == "test_")
test (W.makeValid "test*" == "test_")
 block10 = do
  putStrLn "Test 226, from line 825"
constTest (W.makeValid "c:\\test\\nul" == "c:\\test\\nul_")
test (W.makeValid "c:\\test\\nul" == "c:\\test\\nul_")
  putStrLn "Test 227, from line 826"
constTest (W.makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt")
test (W.makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt")
  putStrLn "Test 228, from line 827"
constTest (W.makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt")
test (W.makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt")
  putStrLn "Test 229, from line 828"
constTest (W.makeValid "c:\\nul\\file" == "c:\\nul_\\file")
test (W.makeValid "c:\\nul\\file" == "c:\\nul_\\file")
  putStrLn "Test 230, from line 829"
constTest (W.makeValid "\\\\\\foo" == "\\\\drive")
test (W.makeValid "\\\\\\foo" == "\\\\drive")
  putStrLn "Test 231, from line 830"
constTest (W.makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file")
test (W.makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file")
  putStrLn "Test 232, from line 855"
constTest (W.isRelative "path\\test" == True)
test (W.isRelative "path\\test" == True)
  putStrLn "Test 233, from line 856"
constTest (W.isRelative "c:\\test" == False)
test (W.isRelative "c:\\test" == False)
  putStrLn "Test 234, from line 857"
constTest (W.isRelative "c:test" == True)
test (W.isRelative "c:test" == True)
  putStrLn "Test 235, from line 858"
constTest (W.isRelative "c:\\" == False)
test (W.isRelative "c:\\" == False)
  putStrLn "Test 236, from line 859"
constTest (W.isRelative "c:/" == False)
test (W.isRelative "c:/" == False)
  putStrLn "Test 237, from line 860"
constTest (W.isRelative "c:" == True)
test (W.isRelative "c:" == True)
  putStrLn "Test 238, from line 861"
constTest (W.isRelative "\\\\foo" == False)
test (W.isRelative "\\\\foo" == False)
  putStrLn "Test 239, from line 862"
constTest (W.isRelative "\\\\?\\foo" == False)
test (W.isRelative "\\\\?\\foo" == False)
  putStrLn "Test 240, from line 863"
constTest (W.isRelative "\\\\?\\UNC\\foo" == False)
test (W.isRelative "\\\\?\\UNC\\foo" == False)
  putStrLn "Test 241, from line 864"
constTest (W.isRelative "/foo" == True)
test (W.isRelative "/foo" == True)
  putStrLn "Test 242, from line 865"
constTest (W.isRelative "\\foo" == True)
test (W.isRelative "\\foo" == True)
  putStrLn "Test 243, from line 866"
constTest (P.isRelative "test/path" == True)
test (P.isRelative "test/path" == True)
  putStrLn "Test 244, from line 867"
constTest (P.isRelative "/test" == False)
test (P.isRelative "/test" == False)
  putStrLn "Test 245, from line 868"
constTest (P.isRelative "/" == False)
test (P.isRelative "/" == False)
  putStrLn "Test 246, from line 137"
quickSafe (\ a -> (W.isPathSeparator a == ( a ` elem ` W.pathSeparators )))
test (\ a -> (W.isPathSeparator a == ( a ` elem ` W.pathSeparators )))
  putStrLn "Test 247, from line 137"
quickSafe (\ a -> (P.isPathSeparator a == ( a ` elem ` P.pathSeparators )))
test (\ a -> (P.isPathSeparator a == ( a ` elem ` P.pathSeparators )))
  putStrLn "Test 248, from line 151"
quickSafe (\ a -> (W.isSearchPathSeparator a == ( a == W.searchPathSeparator )))
test (\ a -> (W.isSearchPathSeparator a == ( a == W.searchPathSeparator )))
  putStrLn "Test 249, from line 151"
quickSafe (\ a -> (P.isSearchPathSeparator a == ( a == P.searchPathSeparator )))
test (\ a -> (P.isSearchPathSeparator a == ( a == P.searchPathSeparator )))
  putStrLn "Test 250, from line 164"
quickSafe (\ a -> (W.isExtSeparator a == ( a == W.extSeparator )))
test (\ a -> (W.isExtSeparator a == ( a == W.extSeparator )))
 block11 = do
  putStrLn "Test 251, from line 164"
quickSafe (\ a -> (P.isExtSeparator a == ( a == P.extSeparator )))
test (\ a -> (P.isExtSeparator a == ( a == P.extSeparator )))
  putStrLn "Test 252, from line 204"
quickSafe (\ (QFilePath x) -> (uncurry ( ++ ) ( W.splitExtension x ) == x))
test (\ (QFilePath x) -> (uncurry ( ++ ) ( W.splitExtension x ) == x))
  putStrLn "Test 253, from line 204"
quickSafe (\ (QFilePath x) -> (uncurry ( ++ ) ( P.splitExtension x ) == x))
test (\ (QFilePath x) -> (uncurry ( ++ ) ( P.splitExtension x ) == x))
  putStrLn "Test 254, from line 205"
quickSafe (\ (QFilePath x) -> (uncurry W.addExtension ( W.splitExtension x ) == x))
test (\ (QFilePath x) -> (uncurry W.addExtension ( W.splitExtension x ) == x))
  putStrLn "Test 255, from line 205"
quickSafe (\ (QFilePath x) -> (uncurry P.addExtension ( P.splitExtension x ) == x))
test (\ (QFilePath x) -> (uncurry P.addExtension ( P.splitExtension x ) == x))
  putStrLn "Test 256, from line 223"
quickSafe (\ (QFilePath x) -> (W.takeExtension x == snd ( W.splitExtension x )))
test (\ (QFilePath x) -> (W.takeExtension x == snd ( W.splitExtension x )))
  putStrLn "Test 257, from line 223"
quickSafe (\ (QFilePath x) -> (P.takeExtension x == snd ( P.splitExtension x )))
test (\ (QFilePath x) -> (P.takeExtension x == snd ( P.splitExtension x )))
  putStrLn "Test 258, from line 224"
quickSafe (\ (QFilePath x) -> ((\ x -> W.takeExtension ( W.addExtension x "ext" ) == ".ext" ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.takeExtension ( W.addExtension x "ext" ) == ".ext" ) ( W.makeValid x )))
  putStrLn "Test 259, from line 224"
quickSafe (\ (QFilePath x) -> ((\ x -> P.takeExtension ( P.addExtension x "ext" ) == ".ext" ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.takeExtension ( P.addExtension x "ext" ) == ".ext" ) ( P.makeValid x )))
  putStrLn "Test 260, from line 225"
quickSafe (\ (QFilePath x) -> ((\ x -> W.takeExtension ( W.replaceExtension x "ext" ) == ".ext" ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.takeExtension ( W.replaceExtension x "ext" ) == ".ext" ) ( W.makeValid x )))
  putStrLn "Test 261, from line 225"
quickSafe (\ (QFilePath x) -> ((\ x -> P.takeExtension ( P.replaceExtension x "ext" ) == ".ext" ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.takeExtension ( P.replaceExtension x "ext" ) == ".ext" ) ( P.makeValid x )))
  putStrLn "Test 262, from line 245"
quickSafe (\ (QFilePath x) -> (W.dropExtension x == fst ( W.splitExtension x )))
test (\ (QFilePath x) -> (W.dropExtension x == fst ( W.splitExtension x )))
  putStrLn "Test 263, from line 245"
quickSafe (\ (QFilePath x) -> (P.dropExtension x == fst ( P.splitExtension x )))
test (\ (QFilePath x) -> (P.dropExtension x == fst ( P.splitExtension x )))
  putStrLn "Test 264, from line 256"
quickSafe (\ (QFilePath x) -> ((\ x -> W.takeFileName ( W.addExtension ( W.addTrailingPathSeparator x ) "ext" ) == ".ext" ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.takeFileName ( W.addExtension ( W.addTrailingPathSeparator x ) "ext" ) == ".ext" ) ( W.makeValid x )))
  putStrLn "Test 265, from line 256"
quickSafe (\ (QFilePath x) -> ((\ x -> P.takeFileName ( P.addExtension ( P.addTrailingPathSeparator x ) "ext" ) == ".ext" ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.takeFileName ( P.addExtension ( P.addTrailingPathSeparator x ) "ext" ) == ".ext" ) ( P.makeValid x )))
  putStrLn "Test 266, from line 269"
quickSafe (\ (QFilePath x) -> (null ( W.takeExtension x ) == not ( W.hasExtension x )))
test (\ (QFilePath x) -> (null ( W.takeExtension x ) == not ( W.hasExtension x )))
  putStrLn "Test 267, from line 269"
quickSafe (\ (QFilePath x) -> (null ( P.takeExtension x ) == not ( P.hasExtension x )))
test (\ (QFilePath x) -> (null ( P.takeExtension x ) == not ( P.hasExtension x )))
  putStrLn "Test 268, from line 276"
quickSafe (\ (QFilePath x) -> (uncurry ( ++ ) ( W.splitExtensions x ) == x))
test (\ (QFilePath x) -> (uncurry ( ++ ) ( W.splitExtensions x ) == x))
  putStrLn "Test 269, from line 276"
quickSafe (\ (QFilePath x) -> (uncurry ( ++ ) ( P.splitExtensions x ) == x))
test (\ (QFilePath x) -> (uncurry ( ++ ) ( P.splitExtensions x ) == x))
  putStrLn "Test 270, from line 277"
quickSafe (\ (QFilePath x) -> (uncurry W.addExtension ( W.splitExtensions x ) == x))
test (\ (QFilePath x) -> (uncurry W.addExtension ( W.splitExtensions x ) == x))
  putStrLn "Test 271, from line 277"
quickSafe (\ (QFilePath x) -> (uncurry P.addExtension ( P.splitExtensions x ) == x))
test (\ (QFilePath x) -> (uncurry P.addExtension ( P.splitExtensions x ) == x))
  putStrLn "Test 272, from line 287"
quickSafe (\ (QFilePath x) -> (not $ W.hasExtension ( W.dropExtensions x )))
test (\ (QFilePath x) -> (not $ W.hasExtension ( W.dropExtensions x )))
  putStrLn "Test 273, from line 287"
quickSafe (\ (QFilePath x) -> (not $ P.hasExtension ( P.dropExtensions x )))
test (\ (QFilePath x) -> (not $ P.hasExtension ( P.dropExtensions x )))
  putStrLn "Test 274, from line 311"
quickSafe (\ (QFilePath x) -> (uncurry ( ++ ) ( W.splitDrive x ) == x))
test (\ (QFilePath x) -> (uncurry ( ++ ) ( W.splitDrive x ) == x))
  putStrLn "Test 275, from line 311"
quickSafe (\ (QFilePath x) -> (uncurry ( ++ ) ( P.splitDrive x ) == x))
test (\ (QFilePath x) -> (uncurry ( ++ ) ( P.splitDrive x ) == x))
 block12 = do
  putStrLn "Test 276, from line 380"
quickSafe (\ (QFilePath x) -> ((\ x -> uncurry W.joinDrive ( W.splitDrive x ) == x ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> uncurry W.joinDrive ( W.splitDrive x ) == x ) ( W.makeValid x )))
  putStrLn "Test 277, from line 380"
quickSafe (\ (QFilePath x) -> ((\ x -> uncurry P.joinDrive ( P.splitDrive x ) == x ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> uncurry P.joinDrive ( P.splitDrive x ) == x ) ( P.makeValid x )))
  putStrLn "Test 278, from line 390"
quickSafe (\ (QFilePath x) -> (W.takeDrive x == fst ( W.splitDrive x )))
test (\ (QFilePath x) -> (W.takeDrive x == fst ( W.splitDrive x )))
  putStrLn "Test 279, from line 390"
quickSafe (\ (QFilePath x) -> (P.takeDrive x == fst ( P.splitDrive x )))
test (\ (QFilePath x) -> (P.takeDrive x == fst ( P.splitDrive x )))
  putStrLn "Test 280, from line 396"
quickSafe (\ (QFilePath x) -> (W.dropDrive x == snd ( W.splitDrive x )))
test (\ (QFilePath x) -> (W.dropDrive x == snd ( W.splitDrive x )))
  putStrLn "Test 281, from line 396"
quickSafe (\ (QFilePath x) -> (P.dropDrive x == snd ( P.splitDrive x )))
test (\ (QFilePath x) -> (P.dropDrive x == snd ( P.splitDrive x )))
  putStrLn "Test 282, from line 402"
quickSafe (\ (QFilePath x) -> (not ( W.hasDrive x ) == null ( W.takeDrive x )))
test (\ (QFilePath x) -> (not ( W.hasDrive x ) == null ( W.takeDrive x )))
  putStrLn "Test 283, from line 402"
quickSafe (\ (QFilePath x) -> (not ( P.hasDrive x ) == null ( P.takeDrive x )))
test (\ (QFilePath x) -> (not ( P.hasDrive x ) == null ( P.takeDrive x )))
  putStrLn "Test 284, from line 428"
quickSafe (\ (QFilePath x) -> ((\ x -> uncurry ( W.</> ) ( W.splitFileName x ) == x || fst ( W.splitFileName x ) == "./" ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> uncurry ( W.</> ) ( W.splitFileName x ) == x || fst ( W.splitFileName x ) == "./" ) ( W.makeValid x )))
  putStrLn "Test 285, from line 428"
quickSafe (\ (QFilePath x) -> ((\ x -> uncurry ( P.</> ) ( P.splitFileName x ) == x || fst ( P.splitFileName x ) == "./" ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> uncurry ( P.</> ) ( P.splitFileName x ) == x || fst ( P.splitFileName x ) == "./" ) ( P.makeValid x )))
  putStrLn "Test 286, from line 429"
quickSafe (\ (QFilePath x) -> ((\ x -> W.isValid ( fst ( W.splitFileName x ) ) ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.isValid ( fst ( W.splitFileName x ) ) ) ( W.makeValid x )))
  putStrLn "Test 287, from line 429"
quickSafe (\ (QFilePath x) -> ((\ x -> P.isValid ( fst ( P.splitFileName x ) ) ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.isValid ( fst ( P.splitFileName x ) ) ) ( P.makeValid x )))
  putStrLn "Test 288, from line 454"
quickSafe (\ (QFilePath x) -> ((\ x -> W.replaceFileName x ( W.takeFileName x ) == x ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.replaceFileName x ( W.takeFileName x ) == x ) ( W.makeValid x )))
  putStrLn "Test 289, from line 454"
quickSafe (\ (QFilePath x) -> ((\ x -> P.replaceFileName x ( P.takeFileName x ) == x ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.replaceFileName x ( P.takeFileName x ) == x ) ( P.makeValid x )))
  putStrLn "Test 290, from line 460"
quickSafe (\ (QFilePath x) -> (W.dropFileName x == fst ( W.splitFileName x )))
test (\ (QFilePath x) -> (W.dropFileName x == fst ( W.splitFileName x )))
  putStrLn "Test 291, from line 460"
quickSafe (\ (QFilePath x) -> (P.dropFileName x == fst ( P.splitFileName x )))
test (\ (QFilePath x) -> (P.dropFileName x == fst ( P.splitFileName x )))
  putStrLn "Test 292, from line 468"
quickSafe (\ (QFilePath x) -> (W.takeFileName x ` isSuffixOf ` x))
test (\ (QFilePath x) -> (W.takeFileName x ` isSuffixOf ` x))
  putStrLn "Test 293, from line 468"
quickSafe (\ (QFilePath x) -> (P.takeFileName x ` isSuffixOf ` x))
test (\ (QFilePath x) -> (P.takeFileName x ` isSuffixOf ` x))
  putStrLn "Test 294, from line 469"
quickSafe (\ (QFilePath x) -> (W.takeFileName x == snd ( W.splitFileName x )))
test (\ (QFilePath x) -> (W.takeFileName x == snd ( W.splitFileName x )))
  putStrLn "Test 295, from line 469"
quickSafe (\ (QFilePath x) -> (P.takeFileName x == snd ( P.splitFileName x )))
test (\ (QFilePath x) -> (P.takeFileName x == snd ( P.splitFileName x )))
  putStrLn "Test 296, from line 470"
quickSafe (\ (QFilePath x) -> ((\ x -> W.takeFileName ( W.replaceFileName x "fred" ) == "fred" ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.takeFileName ( W.replaceFileName x "fred" ) == "fred" ) ( W.makeValid x )))
  putStrLn "Test 297, from line 470"
quickSafe (\ (QFilePath x) -> ((\ x -> P.takeFileName ( P.replaceFileName x "fred" ) == "fred" ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.takeFileName ( P.replaceFileName x "fred" ) == "fred" ) ( P.makeValid x )))
  putStrLn "Test 298, from line 471"
quickSafe (\ (QFilePath x) -> ((\ x -> W.takeFileName ( x W.</> "fred" ) == "fred" ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.takeFileName ( x W.</> "fred" ) == "fred" ) ( W.makeValid x )))
  putStrLn "Test 299, from line 471"
quickSafe (\ (QFilePath x) -> ((\ x -> P.takeFileName ( x P.</> "fred" ) == "fred" ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.takeFileName ( x P.</> "fred" ) == "fred" ) ( P.makeValid x )))
  putStrLn "Test 300, from line 472"
quickSafe (\ (QFilePath x) -> ((\ x -> W.isRelative ( W.takeFileName x ) ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.isRelative ( W.takeFileName x ) ) ( W.makeValid x )))
 block13 = do
  putStrLn "Test 301, from line 472"
quickSafe (\ (QFilePath x) -> ((\ x -> P.isRelative ( P.takeFileName x ) ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.isRelative ( P.takeFileName x ) ) ( P.makeValid x )))
  putStrLn "Test 302, from line 482"
quickSafe (\ (QFilePath x) -> (W.takeBaseName ( W.addTrailingPathSeparator x ) == ""))
test (\ (QFilePath x) -> (W.takeBaseName ( W.addTrailingPathSeparator x ) == ""))
  putStrLn "Test 303, from line 482"
quickSafe (\ (QFilePath x) -> (P.takeBaseName ( P.addTrailingPathSeparator x ) == ""))
test (\ (QFilePath x) -> (P.takeBaseName ( P.addTrailingPathSeparator x ) == ""))
  putStrLn "Test 304, from line 492"
quickSafe (\ (QFilePath x) -> ((\ x -> W.replaceBaseName x ( W.takeBaseName x ) == x ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.replaceBaseName x ( W.takeBaseName x ) == x ) ( W.makeValid x )))
  putStrLn "Test 305, from line 492"
quickSafe (\ (QFilePath x) -> ((\ x -> P.replaceBaseName x ( P.takeBaseName x ) == x ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.replaceBaseName x ( P.takeBaseName x ) == x ) ( P.makeValid x )))
  putStrLn "Test 306, from line 515"
quickSafe (\ (QFilePath x) -> (W.hasTrailingPathSeparator ( W.addTrailingPathSeparator x )))
test (\ (QFilePath x) -> (W.hasTrailingPathSeparator ( W.addTrailingPathSeparator x )))
  putStrLn "Test 307, from line 515"
quickSafe (\ (QFilePath x) -> (P.hasTrailingPathSeparator ( P.addTrailingPathSeparator x )))
test (\ (QFilePath x) -> (P.hasTrailingPathSeparator ( P.addTrailingPathSeparator x )))
  putStrLn "Test 308, from line 516"
quickSafe (\ (QFilePath x) -> (W.hasTrailingPathSeparator x ==> W.addTrailingPathSeparator x == x))
test (\ (QFilePath x) -> (W.hasTrailingPathSeparator x ==> W.addTrailingPathSeparator x == x))
  putStrLn "Test 309, from line 516"
quickSafe (\ (QFilePath x) -> (P.hasTrailingPathSeparator x ==> P.addTrailingPathSeparator x == x))
test (\ (QFilePath x) -> (P.hasTrailingPathSeparator x ==> P.addTrailingPathSeparator x == x))
  putStrLn "Test 310, from line 527"
quickSafe (\ (QFilePath x) -> (not ( P.hasTrailingPathSeparator ( P.dropTrailingPathSeparator x ) ) || P.isDrive x))
test (\ (QFilePath x) -> (not ( P.hasTrailingPathSeparator ( P.dropTrailingPathSeparator x ) ) || P.isDrive x))
  putStrLn "Test 311, from line 538"
quickSafe (\ (QFilePath x) -> (W.takeDirectory x ` isPrefixOf ` x || W.takeDirectory x == "."))
test (\ (QFilePath x) -> (W.takeDirectory x ` isPrefixOf ` x || W.takeDirectory x == "."))
  putStrLn "Test 312, from line 538"
quickSafe (\ (QFilePath x) -> (P.takeDirectory x ` isPrefixOf ` x || P.takeDirectory x == "."))
test (\ (QFilePath x) -> (P.takeDirectory x ` isPrefixOf ` x || P.takeDirectory x == "."))
  putStrLn "Test 313, from line 553"
quickSafe (\ (QFilePath x) -> ((\ x -> W.replaceDirectory x ( W.takeDirectory x ) ` W.equalFilePath ` x ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.replaceDirectory x ( W.takeDirectory x ) ` W.equalFilePath ` x ) ( W.makeValid x )))
  putStrLn "Test 314, from line 553"
quickSafe (\ (QFilePath x) -> ((\ x -> P.replaceDirectory x ( P.takeDirectory x ) ` P.equalFilePath ` x ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.replaceDirectory x ( P.takeDirectory x ) ` P.equalFilePath ` x ) ( P.makeValid x )))
  putStrLn "Test 315, from line 561"
quickSafe (\ (QFilePath x) -> ((\ x -> W.combine ( W.takeDirectory x ) ( W.takeFileName x ) ` W.equalFilePath ` x ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.combine ( W.takeDirectory x ) ( W.takeFileName x ) ` W.equalFilePath ` x ) ( W.makeValid x )))
  putStrLn "Test 316, from line 561"
quickSafe (\ (QFilePath x) -> ((\ x -> P.combine ( P.takeDirectory x ) ( P.takeFileName x ) ` P.equalFilePath ` x ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.combine ( P.takeDirectory x ) ( P.takeFileName x ) ` P.equalFilePath ` x ) ( P.makeValid x )))
  putStrLn "Test 317, from line 612"
quickSafe (\ (QFilePath x) -> (concat ( W.splitPath x ) == x))
test (\ (QFilePath x) -> (concat ( W.splitPath x ) == x))
  putStrLn "Test 318, from line 612"
quickSafe (\ (QFilePath x) -> (concat ( P.splitPath x ) == x))
test (\ (QFilePath x) -> (concat ( P.splitPath x ) == x))
  putStrLn "Test 319, from line 634"
quickSafe (\ (QFilePath x) -> ((\ x -> W.joinPath ( W.splitDirectories x ) ` W.equalFilePath ` x ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.joinPath ( W.splitDirectories x ) ` W.equalFilePath ` x ) ( W.makeValid x )))
  putStrLn "Test 320, from line 634"
quickSafe (\ (QFilePath x) -> ((\ x -> P.joinPath ( P.splitDirectories x ) ` P.equalFilePath ` x ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.joinPath ( P.splitDirectories x ) ` P.equalFilePath ` x ) ( P.makeValid x )))
  putStrLn "Test 321, from line 644"
quickSafe (\ (QFilePath x) -> ((\ x -> W.joinPath ( W.splitPath x ) == x ) ( W.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> W.joinPath ( W.splitPath x ) == x ) ( W.makeValid x )))
  putStrLn "Test 322, from line 644"
quickSafe (\ (QFilePath x) -> ((\ x -> P.joinPath ( P.splitPath x ) == x ) ( P.makeValid x )))
test (\ (QFilePath x) -> ((\ x -> P.joinPath ( P.splitPath x ) == x ) ( P.makeValid x )))
  putStrLn "Test 323, from line 665"
quickSafe (\ (QFilePath x) (QFilePath y) -> (x == y ==> W.equalFilePath x y))
test (\ (QFilePath x) (QFilePath y) -> (x == y ==> W.equalFilePath x y))
  putStrLn "Test 324, from line 665"
quickSafe (\ (QFilePath x) (QFilePath y) -> (x == y ==> P.equalFilePath x y))
test (\ (QFilePath x) (QFilePath y) -> (x == y ==> P.equalFilePath x y))
  putStrLn "Test 325, from line 666"
quickSafe (\ (QFilePath x) (QFilePath y) -> (W.normalise x == W.normalise y ==> W.equalFilePath x y))
test (\ (QFilePath x) (QFilePath y) -> (W.normalise x == W.normalise y ==> W.equalFilePath x y))
 block14 = do
  putStrLn "Test 326, from line 666"
quickSafe (\ (QFilePath x) (QFilePath y) -> (P.normalise x == P.normalise y ==> P.equalFilePath x y))
test (\ (QFilePath x) (QFilePath y) -> (P.normalise x == P.normalise y ==> P.equalFilePath x y))
  putStrLn "Test 327, from line 684"
quickSafe (\ (QFilePath x) (QFilePath y) -> ((\ y -> (\ x -> W.equalFilePath x y || ( W.isRelative x && W.makeRelative y x == x ) || W.equalFilePath ( y W.</> W.makeRelative y x ) x ) ( W.makeValid x ) ) ( W.makeValid y )))
test (\ (QFilePath x) (QFilePath y) -> ((\ y -> (\ x -> W.equalFilePath x y || ( W.isRelative x && W.makeRelative y x == x ) || W.equalFilePath ( y W.</> W.makeRelative y x ) x ) ( W.makeValid x ) ) ( W.makeValid y )))
  putStrLn "Test 328, from line 684"
quickSafe (\ (QFilePath x) (QFilePath y) -> ((\ y -> (\ x -> P.equalFilePath x y || ( P.isRelative x && P.makeRelative y x == x ) || P.equalFilePath ( y P.</> P.makeRelative y x ) x ) ( P.makeValid x ) ) ( P.makeValid y )))
test (\ (QFilePath x) (QFilePath y) -> ((\ y -> (\ x -> P.equalFilePath x y || ( P.isRelative x && P.makeRelative y x == x ) || P.equalFilePath ( y P.</> P.makeRelative y x ) x ) ( P.makeValid x ) ) ( P.makeValid y )))
  putStrLn "Test 329, from line 685"
quickSafe (\ (QFilePath x) -> (W.makeRelative x x == "."))
test (\ (QFilePath x) -> (W.makeRelative x x == "."))
  putStrLn "Test 330, from line 685"
quickSafe (\ (QFilePath x) -> (P.makeRelative x x == "."))
test (\ (QFilePath x) -> (P.makeRelative x x == "."))
  putStrLn "Test 331, from line 794"
quickSafe (\ (QFilePath x) -> (P.isValid x == not ( null x )))
test (\ (QFilePath x) -> (P.isValid x == not ( null x )))
  putStrLn "Test 332, from line 819"
quickSafe (\ (QFilePath x) -> (W.isValid ( W.makeValid x )))
test (\ (QFilePath x) -> (W.isValid ( W.makeValid x )))
  putStrLn "Test 333, from line 819"
quickSafe (\ (QFilePath x) -> (P.isValid ( P.makeValid x )))
test (\ (QFilePath x) -> (P.isValid ( P.makeValid x )))
  putStrLn "Test 334, from line 820"
quickSafe (\ (QFilePath x) -> (W.isValid x ==> W.makeValid x == x))
test (\ (QFilePath x) -> (W.isValid x ==> W.makeValid x == x))
  putStrLn "Test 335, from line 820"
quickSafe (\ (QFilePath x) -> (P.isValid x ==> P.makeValid x == x))
test (\ (QFilePath x) -> (P.isValid x ==> P.makeValid x == x))
  putStrLn "Test 336, from line 891"
quickSafe (\ (QFilePath x) -> (W.isAbsolute x == not ( W.isRelative x )))
test (\ (QFilePath x) -> (W.isAbsolute x == not ( W.isRelative x )))
  putStrLn "Test 337, from line 891"
quickSafe (\ (QFilePath x) -> (P.isAbsolute x == not ( P.isRelative x )))
test (\ (QFilePath x) -> (P.isAbsolute x == not ( P.isRelative x )))
index acd91ec..83f2d48 100644 (file)
@@ -12,12 +12,6 @@ infixr 0 ==>
 a ==> b = not a || b
 
 
-constTest :: Bool -> IO ()
-constTest True = return ()
-constTest False = error "Failed on constTest"
-
-
-
 newtype QFilePath = QFilePath FilePath
                     deriving Show
 
@@ -32,8 +26,8 @@ instance Arbitrary QChar where
 
 
 
-quickSafe :: Testable a => a -> IO ()
-quickSafe prop = do
+test :: Testable a => a -> IO ()
+test prop = do
     res <- quickCheckWithResult stdArgs{chatty=False, maxSuccess=10000} prop
     case res of
         Success{} -> return ()