{- Do not edit! Created from test/TestTemplate.hs -}
{-# LANGUAGE OverloadedStrings #-}
module TestResult (results) where

import System.Path
import Data.Char (toLower)


results :: Char -> System.Path.FilePath ar -> [(String, Bool)]
results a x =
  ("pathMap (map toLower) \"/tmp/Reports/SpreadSheets\" == \"/tmp/reports/spreadsheets\"",
    pathMap (map toLower) "/tmp/Reports/SpreadSheets" == "/tmp/reports/spreadsheets") :
  ("asPath \"/tmp\" == \"/tmp\"",
    asPath "/tmp" == "/tmp") :
  ("asPath \"file.txt\" == \"file.txt\"",
    asPath "file.txt" == "file.txt") :
  ("isAbsolute (asPath \"/tmp\" :: AbsDir) == True",
    isAbsolute (asPath "/tmp" :: AbsDir) == True) :
  ("isAbsolute (asPath \"/tmp\" :: RelDir) == False",
    isAbsolute (asPath "/tmp" :: RelDir) == False) :
  ("getPathString (asPath \"/tmp\" :: AbsDir) == \"/tmp\"",
    getPathString (asPath "/tmp" :: AbsDir) == "/tmp") :
  ("getPathString (asPath \"/tmp\" :: RelDir) == \"tmp\"",
    getPathString (asPath "/tmp" :: RelDir) == "tmp") :
  ("getPathString (asRelFile \"file.txt\") == \"file.txt\"",
    getPathString (asRelFile "file.txt") == "file.txt") :
  ("getPathString (asRelFile \"/file.txt\") == \"file.txt\"",
    getPathString (asRelFile "/file.txt") == "file.txt") :
  ("getPathString (asRelFile \"tmp\") == \"tmp\"",
    getPathString (asRelFile "tmp") == "tmp") :
  ("getPathString (asRelFile \"/tmp\") == \"tmp\"",
    getPathString (asRelFile "/tmp") == "tmp") :
  ("getPathString (asRelDir \"file.txt\") == \"file.txt\"",
    getPathString (asRelDir "file.txt") == "file.txt") :
  ("getPathString (asRelDir \"/file.txt\") == \"file.txt\"",
    getPathString (asRelDir "/file.txt") == "file.txt") :
  ("getPathString (asRelDir \"tmp\") == \"tmp\"",
    getPathString (asRelDir "tmp") == "tmp") :
  ("getPathString (asRelDir \"/tmp\") == \"tmp\"",
    getPathString (asRelDir "/tmp") == "tmp") :
  ("getPathString (asAbsFile \"file.txt\") == \"/file.txt\"",
    getPathString (asAbsFile "file.txt") == "/file.txt") :
  ("getPathString (asAbsFile \"/file.txt\") == \"/file.txt\"",
    getPathString (asAbsFile "/file.txt") == "/file.txt") :
  ("getPathString (asAbsFile \"tmp\") == \"/tmp\"",
    getPathString (asAbsFile "tmp") == "/tmp") :
  ("getPathString (asAbsFile \"/tmp\") == \"/tmp\"",
    getPathString (asAbsFile "/tmp") == "/tmp") :
  ("getPathString (asAbsDir \"file.txt\") == \"/file.txt\"",
    getPathString (asAbsDir "file.txt") == "/file.txt") :
  ("getPathString (asAbsDir \"/file.txt\") == \"/file.txt\"",
    getPathString (asAbsDir "/file.txt") == "/file.txt") :
  ("getPathString (asAbsDir \"tmp\") == \"/tmp\"",
    getPathString (asAbsDir "tmp") == "/tmp") :
  ("getPathString (asAbsDir \"/tmp\") == \"/tmp\"",
    getPathString (asAbsDir "/tmp") == "/tmp") :
  ("either id (const \"fred\") (mkPathAbsOrRel \"/tmp\") == \"/tmp\"",
    either id (const "fred") (mkPathAbsOrRel "/tmp") == "/tmp") :
  ("either id (const \"fred\") (mkPathAbsOrRel  \"tmp\") == \"fred\"",
    either id (const "fred") (mkPathAbsOrRel  "tmp") == "fred") :
  ("mkAbsPath \"/tmp\" \"foo.txt\" == \"/tmp/foo.txt\"",
    mkAbsPath "/tmp" "foo.txt" == "/tmp/foo.txt") :
  ("mkAbsPath \"/tmp\" \"/etc/foo.txt\" == \"/etc/foo.txt\"",
    mkAbsPath "/tmp" "/etc/foo.txt" == "/etc/foo.txt") :
  ("addExtension \"file.txt\" \"bib\" == \"file.txt.bib\"",
    addExtension "file.txt" "bib" == "file.txt.bib") :
  ("addExtension \"file.\" \".bib\" == \"file..bib\"",
    addExtension "file." ".bib" == "file..bib") :
  ("addExtension \"file\" \".bib\" == \"file.bib\"",
    addExtension "file" ".bib" == "file.bib") :
  ("takeFileName (addExtension \"\" \"ext\") == \".ext\"",
    takeFileName (addExtension "" "ext") == ".ext") :
  ("dropExtension x == fst (splitExtension x)",
    dropExtension x == fst (splitExtension x)) :
  ("not $ hasAnExtension (dropExtensions x)",
    not $ hasAnExtension (dropExtensions x)) :
  ("replaceExtension \"file.txt\" \".bob\" == \"file.bob\"",
    replaceExtension "file.txt" ".bob" == "file.bob") :
  ("replaceExtension \"file.txt\" \"bob\" == \"file.bob\"",
    replaceExtension "file.txt" "bob" == "file.bob") :
  ("replaceExtension \"file\" \".bob\" == \"file.bob\"",
    replaceExtension "file" ".bob" == "file.bob") :
  ("replaceExtension \"file.txt\" \"\" == \"file\"",
    replaceExtension "file.txt" "" == "file") :
  ("replaceExtension \"file.fred.bob\" \"txt\" == \"file.fred.txt\"",
    replaceExtension "file.fred.bob" "txt" == "file.fred.txt") :
  ("uncurry (<.>) (splitExtension x) == x",
    uncurry (<.>) (splitExtension x) == x) :
  ("uncurry addExtension (splitExtension x) == x",
    uncurry addExtension (splitExtension x) == x) :
  ("splitExtension \"file.txt\" == (\"file\",\".txt\")",
    splitExtension "file.txt" == ("file",".txt")) :
  ("splitExtension \"file\" == (\"file\",\"\")",
    splitExtension "file" == ("file","")) :
  ("splitExtension \"file/file.txt\" == (\"file/file\",\".txt\")",
    splitExtension "file/file.txt" == ("file/file",".txt")) :
  ("splitExtension \"file.txt/boris\" == (\"file.txt/boris\",\"\")",
    splitExtension "file.txt/boris" == ("file.txt/boris","")) :
  ("splitExtension \"file.txt/boris.ext\" == (\"file.txt/boris\",\".ext\")",
    splitExtension "file.txt/boris.ext" == ("file.txt/boris",".ext")) :
  ("splitExtension \"file/path.txt.bob.fred\" == (\"file/path.txt.bob\",\".fred\")",
    splitExtension "file/path.txt.bob.fred" == ("file/path.txt.bob",".fred")) :
  ("splitExtensions \"file.tar.gz\" == (\"file\",\".tar.gz\")",
    splitExtensions "file.tar.gz" == ("file",".tar.gz")) :
  ("takeBaseName \"/tmp/somedir/myfile.txt\" == \"myfile\"",
    takeBaseName "/tmp/somedir/myfile.txt" == "myfile") :
  ("takeBaseName \"./myfile.txt\" == \"myfile\"",
    takeBaseName "./myfile.txt" == "myfile") :
  ("takeBaseName \"myfile.txt\" == \"myfile\"",
    takeBaseName "myfile.txt" == "myfile") :
  ("takeExtension x == snd (splitExtension x)",
    takeExtension x == snd (splitExtension x)) :
  ("takeExtension (addExtension x \"ext\") == \".ext\"",
    takeExtension (addExtension x "ext") == ".ext") :
  ("takeExtension (replaceExtension x \"ext\") == \".ext\"",
    takeExtension (replaceExtension x "ext") == ".ext") :
  ("takeExtensions \"file.tar.gz\" == \".tar.gz\"",
    takeExtensions "file.tar.gz" == ".tar.gz") :
  ("takeFileName \"/tmp/somedir/myfile.txt\" == \"myfile.txt\"",
    takeFileName "/tmp/somedir/myfile.txt" == "myfile.txt") :
  ("takeFileName \"./myfile.txt\" == \"myfile.txt\"",
    takeFileName "./myfile.txt" == "myfile.txt") :
  ("takeFileName \"myfile.txt\" == \"myfile.txt\"",
    takeFileName "myfile.txt" == "myfile.txt") :
  ("equalFilePath \"/tmp/\" \"/tmp\" == True",
    equalFilePath "/tmp/" "/tmp" == True) :
  ("equalFilePath \"/tmp\"  \"tmp\"  == False",
    equalFilePath "/tmp"  "tmp"  == False) :
  ("joinPath [\"/tmp\",\"someDir\",\"file.txt\"] == \"/tmp/someDir/file.txt\"",
    joinPath ["/tmp","someDir","file.txt"] == "/tmp/someDir/file.txt") :
  ("(joinPath [\"/tmp\",\"someDir\",\"file.txt\"] :: RelFile) == \"tmp/someDir/file.txt\"",
    (joinPath ["/tmp","someDir","file.txt"] :: RelFile) == "tmp/someDir/file.txt") :
  ("normalise \"/tmp/fred/./jim/./file\" == \"/tmp/fred/jim/file\"",
    normalise "/tmp/fred/./jim/./file" == "/tmp/fred/jim/file") :
  ("splitPath (\"/tmp/someDir/myfile.txt\" :: AbsDir)  == ([\"tmp\",\"someDir\",\"myfile.txt\"],Nothing)",
    splitPath ("/tmp/someDir/myfile.txt" :: AbsDir)  == (["tmp","someDir","myfile.txt"],Nothing)) :
  ("splitPath (\"/tmp/someDir/myfile.txt\" :: AbsFile) == ([\"tmp\",\"someDir\"],Just \"myfile.txt\")",
    splitPath ("/tmp/someDir/myfile.txt" :: AbsFile) == (["tmp","someDir"],Just "myfile.txt")) :
  ("splitPath (asAbsFile \"/tmp/someDir/myfile.txt\")  == ([\"tmp\",\"someDir\"],Just \"myfile.txt\")",
    splitPath (asAbsFile "/tmp/someDir/myfile.txt")  == (["tmp","someDir"],Just "myfile.txt")) :
  ("makeRelative \"/tmp/somedir\" \"/tmp/somedir/anotherdir/file.txt\" == \"anotherdir/file.txt\"",
    makeRelative "/tmp/somedir" "/tmp/somedir/anotherdir/file.txt" == "anotherdir/file.txt") :
  ("makeAbsolute \"/tmp\" \"file.txt\"      == \"/tmp/file.txt\"",
    makeAbsolute "/tmp" "file.txt"      == "/tmp/file.txt") :
  ("makeAbsolute \"/tmp\" \"adir/file.txt\" == \"/tmp/adir/file.txt\"",
    makeAbsolute "/tmp" "adir/file.txt" == "/tmp/adir/file.txt") :
  ("genericMakeAbsolute \"/tmp\" (asRelFile \"file.txt\")       == \"/tmp/file.txt\"",
    genericMakeAbsolute "/tmp" (asRelFile "file.txt")       == "/tmp/file.txt") :
  ("genericMakeAbsolute \"/tmp\" (asRelFile \"adir/file.txt\")  == \"/tmp/adir/file.txt\"",
    genericMakeAbsolute "/tmp" (asRelFile "adir/file.txt")  == "/tmp/adir/file.txt") :
  ("genericMakeAbsolute \"/tmp\" (asAbsFile \"adir/file.txt\")  == \"/adir/file.txt\"",
    genericMakeAbsolute "/tmp" (asAbsFile "adir/file.txt")  == "/adir/file.txt") :
  ("genericMakeAbsolute \"/tmp\" (asAbsFile \"/adir/file.txt\") == \"/adir/file.txt\"",
    genericMakeAbsolute "/tmp" (asAbsFile "/adir/file.txt") == "/adir/file.txt") :
  ("isAbsolute (asAbsFile \"fred\")  == True",
    isAbsolute (asAbsFile "fred")  == True) :
  ("isAbsolute (asRelFile \"fred\")  == False",
    isAbsolute (asRelFile "fred")  == False) :
  ("isAbsolute (asAbsFile \"/fred\") == True",
    isAbsolute (asAbsFile "/fred") == True) :
  ("isAbsolute (asRelFile \"/fred\") == False",
    isAbsolute (asRelFile "/fred") == False) :
  ("null (takeExtension x) == not (hasAnExtension x)",
    null (takeExtension x) == not (hasAnExtension x)) :
  ("hasExtension \".hs\" \"MyCode.hs\" == True",
    hasExtension ".hs" "MyCode.hs" == True) :
  ("hasExtension \".hs\" \"MyCode.hs.bak\" == False",
    hasExtension ".hs" "MyCode.hs.bak" == False) :
  ("hasExtension \".hs\" \"MyCode.bak.hs\" == True",
    hasExtension ".hs" "MyCode.bak.hs" == True) :
  ("extSeparator == '.'",
    extSeparator == '.') :
  ("isPathSeparator pathSeparator",
    isPathSeparator pathSeparator) :
  ("pathSeparator `elem` pathSeparators",
    pathSeparator `elem` pathSeparators) :
  ("isExtSeparator a == (a == extSeparator)",
    isExtSeparator a == (a == extSeparator)) :
  ("isPathSeparator a == (a `elem` pathSeparators)",
    isPathSeparator a == (a `elem` pathSeparators)) :
  ("isSearchPathSeparator a == (a == searchPathSeparator)",
    isSearchPathSeparator a == (a == searchPathSeparator)) :
  ("genericAddExtension \"/\" \"x\" == \"/.x\"",
    genericAddExtension "/" "x" == "/.x") :
  []