pathtype-0.6: test/TestResult.hs

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

import qualified System.Path.Posix as Posix
import qualified System.Path.Windows as Windows
import System.Path ((</>), (<.>))
import Data.Char (toLower)


results :: (Posix.AbsRelClass ar) => Char -> Posix.FilePath ar -> [(String, Bool)]
results a x =
  {-# LINE 255 "src/System/Path/Internal.hs" #-}
  ("Posix.pathMap (map toLower) \"/tmp/Reports/SpreadSheets\" == Posix.asAbsDir \"/tmp/reports/spreadsheets\"",
      Posix.pathMap (map toLower) "/tmp/Reports/SpreadSheets" == Posix.asAbsDir "/tmp/reports/spreadsheets") :
  {-# LINE 322 "src/System/Path/Internal.hs" #-}
  ("show (Posix.rootDir </> \"bla\" </> Posix.asRelFile \"blub\") == \"rootDir </> \\\"bla\\\" </> \\\"blub\\\"\"",
      show (Posix.rootDir </> "bla" </> Posix.asRelFile "blub") == "rootDir </> \"bla\" </> \"blub\"") :
  {-# LINE 323 "src/System/Path/Internal.hs" #-}
  ("show (Just (Posix.rootDir </> \"bla\" </> Posix.asRelFile \"blub\")) == \"Just (rootDir </> \\\"bla\\\" </> \\\"blub\\\")\"",
      show (Just (Posix.rootDir </> "bla" </> Posix.asRelFile "blub")) == "Just (rootDir </> \"bla\" </> \"blub\")") :
  {-# LINE 324 "src/System/Path/Internal.hs" #-}
  ("show (Posix.currentDir </> \"bla\" </> Posix.asRelFile \"blub\") == \"currentDir </> \\\"bla\\\" </> \\\"blub\\\"\"",
      show (Posix.currentDir </> "bla" </> Posix.asRelFile "blub") == "currentDir </> \"bla\" </> \"blub\"") :
  {-# LINE 325 "src/System/Path/Internal.hs" #-}
  ("show (Just (Posix.currentDir </> \"bla\" </> Posix.asRelFile \"blub\")) == \"Just (currentDir </> \\\"bla\\\" </> \\\"blub\\\")\"",
      show (Just (Posix.currentDir </> "bla" </> Posix.asRelFile "blub")) == "Just (currentDir </> \"bla\" </> \"blub\")") :
  {-# LINE 326 "src/System/Path/Internal.hs" #-}
  ("show (Windows.asAbsDir \"c:\" Windows.</> \"bla\" Windows.</> Windows.asRelFile \"blub\") == \"asAbsDir \\\"c:\\\" </> \\\"bla\\\" </> \\\"blub\\\"\"",
      show (Windows.asAbsDir "c:" Windows.</> "bla" Windows.</> Windows.asRelFile "blub") == "asAbsDir \"c:\" </> \"bla\" </> \"blub\"") :
  {-# LINE 327 "src/System/Path/Internal.hs" #-}
  ("show (Just (Windows.asAbsDir \"c:\\\\\" Windows.</> \"bla\" Windows.</> Windows.asRelFile \"blub\")) == \"Just (asAbsDir \\\"c:\\\" </> \\\"bla\\\" </> \\\"blub\\\")\"",
      show (Just (Windows.asAbsDir "c:\\" Windows.</> "bla" Windows.</> Windows.asRelFile "blub")) == "Just (asAbsDir \"c:\" </> \"bla\" </> \"blub\")") :
  {-# LINE 348 "src/System/Path/Internal.hs" #-}
  ("let path = Posix.rootDir </> \"bla\" </> Posix.asRelFile \"blub\" in read (show path) == path",
      let path = Posix.rootDir </> "bla" </> Posix.asRelFile "blub" in read (show path) == path) :
  {-# LINE 349 "src/System/Path/Internal.hs" #-}
  ("let path = Just (Posix.rootDir </> \"bla\" </> Posix.asRelFile \"blub\") in read (show path) == path",
      let path = Just (Posix.rootDir </> "bla" </> Posix.asRelFile "blub") in read (show path) == path) :
  {-# LINE 350 "src/System/Path/Internal.hs" #-}
  ("let path = Posix.currentDir </> \"bla\" </> Posix.asRelFile \"blub\" in read (show path) == path",
      let path = Posix.currentDir </> "bla" </> Posix.asRelFile "blub" in read (show path) == path) :
  {-# LINE 351 "src/System/Path/Internal.hs" #-}
  ("let path = Just (Posix.currentDir </> \"bla\" </> Posix.asRelFile \"blub\") in read (show path) == path",
      let path = Just (Posix.currentDir </> "bla" </> Posix.asRelFile "blub") in read (show path) == path) :
  {-# LINE 352 "src/System/Path/Internal.hs" #-}
  ("let path = Windows.rootDir Windows.</> \"bla\" Windows.</> Windows.asRelFile \"blub\" in read (show path) == path",
      let path = Windows.rootDir Windows.</> "bla" Windows.</> Windows.asRelFile "blub" in read (show path) == path) :
  {-# LINE 353 "src/System/Path/Internal.hs" #-}
  ("let path = Just (Windows.rootDir Windows.</> \"bla\" Windows.</> Windows.asRelFile \"blub\") in read (show path) == path",
      let path = Just (Windows.rootDir Windows.</> "bla" Windows.</> Windows.asRelFile "blub") in read (show path) == path) :
  {-# LINE 444 "src/System/Path/Internal.hs" #-}
  ("Posix.asPath \"/tmp\" == Posix.asAbsDir \"/tmp\"",
      Posix.asPath "/tmp" == Posix.asAbsDir "/tmp") :
  {-# LINE 445 "src/System/Path/Internal.hs" #-}
  ("Posix.asPath \"file.txt\" == Posix.asRelFile \"file.txt\"",
      Posix.asPath "file.txt" == Posix.asRelFile "file.txt") :
  {-# LINE 446 "src/System/Path/Internal.hs" #-}
  ("Posix.isAbsolute (Posix.asAbsDir \"/tmp\")",
      Posix.isAbsolute (Posix.asAbsDir "/tmp")) :
  {-# LINE 447 "src/System/Path/Internal.hs" #-}
  ("Posix.isRelative (Posix.asRelDir \"/tmp\")",
      Posix.isRelative (Posix.asRelDir "/tmp")) :
  {-# LINE 448 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asPath \"/tmp\" :: Posix.AbsDir) == \"/tmp\"",
      Posix.getPathString (Posix.asPath "/tmp" :: Posix.AbsDir) == "/tmp") :
  {-# LINE 449 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asPath \"/tmp\" :: Posix.RelDir) == \"tmp\"",
      Posix.getPathString (Posix.asPath "/tmp" :: Posix.RelDir) == "tmp") :
  {-# LINE 450 "src/System/Path/Internal.hs" #-}
  ("Windows.getPathString (Windows.asPath \"\\\\tmp\" :: Windows.AbsDir) == \"\\\\tmp\"",
      Windows.getPathString (Windows.asPath "\\tmp" :: Windows.AbsDir) == "\\tmp") :
  {-# LINE 451 "src/System/Path/Internal.hs" #-}
  ("Windows.getPathString (Windows.asPath \"a:\\\\tmp\" :: Windows.AbsDir) == \"a:\\\\tmp\"",
      Windows.getPathString (Windows.asPath "a:\\tmp" :: Windows.AbsDir) == "a:\\tmp") :
  {-# LINE 452 "src/System/Path/Internal.hs" #-}
  ("Windows.getPathString (Windows.asPath \"tmp\" :: Windows.RelDir) == \"tmp\"",
      Windows.getPathString (Windows.asPath "tmp" :: Windows.RelDir) == "tmp") :
  {-# LINE 465 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelFile \"file.txt\") == \"file.txt\"",
      Posix.getPathString (Posix.asRelFile "file.txt") == "file.txt") :
  {-# LINE 466 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelFile \"/file.txt\") == \"file.txt\"",
      Posix.getPathString (Posix.asRelFile "/file.txt") == "file.txt") :
  {-# LINE 467 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelFile \"tmp\") == \"tmp\"",
      Posix.getPathString (Posix.asRelFile "tmp") == "tmp") :
  {-# LINE 468 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelFile \"/tmp\") == \"tmp\"",
      Posix.getPathString (Posix.asRelFile "/tmp") == "tmp") :
  {-# LINE 474 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelDir \".\") == \".\"",
      Posix.getPathString (Posix.asRelDir ".") == ".") :
  {-# LINE 475 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelDir \"file.txt\") == \"file.txt\"",
      Posix.getPathString (Posix.asRelDir "file.txt") == "file.txt") :
  {-# LINE 476 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelDir \"/file.txt\") == \"file.txt\"",
      Posix.getPathString (Posix.asRelDir "/file.txt") == "file.txt") :
  {-# LINE 477 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelDir \"tmp\") == \"tmp\"",
      Posix.getPathString (Posix.asRelDir "tmp") == "tmp") :
  {-# LINE 478 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelDir \"/tmp\") == \"tmp\"",
      Posix.getPathString (Posix.asRelDir "/tmp") == "tmp") :
  {-# LINE 484 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsFile \"file.txt\") == \"/file.txt\"",
      Posix.getPathString (Posix.asAbsFile "file.txt") == "/file.txt") :
  {-# LINE 485 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsFile \"/file.txt\") == \"/file.txt\"",
      Posix.getPathString (Posix.asAbsFile "/file.txt") == "/file.txt") :
  {-# LINE 486 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsFile \"tmp\") == \"/tmp\"",
      Posix.getPathString (Posix.asAbsFile "tmp") == "/tmp") :
  {-# LINE 487 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsFile \"/tmp\") == \"/tmp\"",
      Posix.getPathString (Posix.asAbsFile "/tmp") == "/tmp") :
  {-# LINE 493 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsDir \"file.txt\") == \"/file.txt\"",
      Posix.getPathString (Posix.asAbsDir "file.txt") == "/file.txt") :
  {-# LINE 494 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsDir \"/file.txt\") == \"/file.txt\"",
      Posix.getPathString (Posix.asAbsDir "/file.txt") == "/file.txt") :
  {-# LINE 495 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsDir \"tmp\") == \"/tmp\"",
      Posix.getPathString (Posix.asAbsDir "tmp") == "/tmp") :
  {-# LINE 496 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsDir \"/tmp\") == \"/tmp\"",
      Posix.getPathString (Posix.asAbsDir "/tmp") == "/tmp") :
  {-# LINE 527 "src/System/Path/Internal.hs" #-}
  ("Posix.mkPathAbsOrRel \"/tmp\" == Left (Posix.asAbsDir \"/tmp\")",
      Posix.mkPathAbsOrRel "/tmp" == Left (Posix.asAbsDir "/tmp")) :
  {-# LINE 528 "src/System/Path/Internal.hs" #-}
  ("Posix.mkPathAbsOrRel  \"tmp\" == Right (Posix.asRelDir \"tmp\")",
      Posix.mkPathAbsOrRel  "tmp" == Right (Posix.asRelDir "tmp")) :
  {-# LINE 529 "src/System/Path/Internal.hs" #-}
  ("Windows.mkPathAbsOrRel \"\\\\tmp\" == Left (Windows.asAbsDir \"\\\\tmp\")",
      Windows.mkPathAbsOrRel "\\tmp" == Left (Windows.asAbsDir "\\tmp")) :
  {-# LINE 530 "src/System/Path/Internal.hs" #-}
  ("Windows.mkPathAbsOrRel \"d:\\\\tmp\" == Left (Windows.asAbsDir \"d:\\\\tmp\")",
      Windows.mkPathAbsOrRel "d:\\tmp" == Left (Windows.asAbsDir "d:\\tmp")) :
  {-# LINE 531 "src/System/Path/Internal.hs" #-}
  ("Windows.mkPathAbsOrRel \"tmp\" == Right (Windows.asRelDir \"tmp\")",
      Windows.mkPathAbsOrRel "tmp" == Right (Windows.asRelDir "tmp")) :
  {-# LINE 556 "src/System/Path/Internal.hs" #-}
  ("Posix.mkAbsPath \"/tmp\" \"foo.txt\" == Posix.asAbsFile \"/tmp/foo.txt\"",
      Posix.mkAbsPath "/tmp" "foo.txt" == Posix.asAbsFile "/tmp/foo.txt") :
  {-# LINE 557 "src/System/Path/Internal.hs" #-}
  ("Posix.mkAbsPath \"/tmp\" \"/etc/foo.txt\" == Posix.asAbsFile \"/etc/foo.txt\"",
      Posix.mkAbsPath "/tmp" "/etc/foo.txt" == Posix.asAbsFile "/etc/foo.txt") :
  {-# LINE 649 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsDir \"/tmp\" </> Posix.asRelFile \"file.txt\") == \"/tmp/file.txt\"",
      Posix.getPathString (Posix.asAbsDir "/tmp" </> Posix.asRelFile "file.txt") == "/tmp/file.txt") :
  {-# LINE 650 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asAbsDir \"/tmp\" </> Posix.asRelDir \"dir\" </> Posix.asRelFile \"file.txt\") == \"/tmp/dir/file.txt\"",
      Posix.getPathString (Posix.asAbsDir "/tmp" </> Posix.asRelDir "dir" </> Posix.asRelFile "file.txt") == "/tmp/dir/file.txt") :
  {-# LINE 651 "src/System/Path/Internal.hs" #-}
  ("Posix.getPathString (Posix.asRelDir \"dir\" </> Posix.asRelFile \"file.txt\") == \"dir/file.txt\"",
      Posix.getPathString (Posix.asRelDir "dir" </> Posix.asRelFile "file.txt") == "dir/file.txt") :
  {-# LINE 652 "src/System/Path/Internal.hs" #-}
  ("Windows.getPathString (Windows.asAbsDir \"\\\\tmp\" Windows.</> Windows.asRelFile \"file.txt\") == \"\\\\tmp\\\\file.txt\"",
      Windows.getPathString (Windows.asAbsDir "\\tmp" Windows.</> Windows.asRelFile "file.txt") == "\\tmp\\file.txt") :
  {-# LINE 653 "src/System/Path/Internal.hs" #-}
  ("Windows.getPathString (Windows.asAbsDir \"c:\\\\tmp\" Windows.</> Windows.asRelFile \"file.txt\") == \"c:\\\\tmp\\\\file.txt\"",
      Windows.getPathString (Windows.asAbsDir "c:\\tmp" Windows.</> Windows.asRelFile "file.txt") == "c:\\tmp\\file.txt") :
  {-# LINE 654 "src/System/Path/Internal.hs" #-}
  ("Windows.getPathString (Windows.asAbsDir \"c:\" Windows.</> Windows.asRelDir \"tmp\" Windows.</> Windows.asRelFile \"file.txt\") == \"c:\\\\tmp\\\\file.txt\"",
      Windows.getPathString (Windows.asAbsDir "c:" Windows.</> Windows.asRelDir "tmp" Windows.</> Windows.asRelFile "file.txt") == "c:\\tmp\\file.txt") :
  {-# LINE 655 "src/System/Path/Internal.hs" #-}
  ("Windows.getPathString (Windows.asRelDir \"dir\" Windows.</> Windows.asRelFile \"file.txt\") == \"dir\\\\file.txt\"",
      Windows.getPathString (Windows.asRelDir "dir" Windows.</> Windows.asRelFile "file.txt") == "dir\\file.txt") :
  {-# LINE 673 "src/System/Path/Internal.hs" #-}
  ("Posix.addExtension (Posix.asRelFile \"file.txt\") \"bib\" == \"file.txt.bib\"",
      Posix.addExtension (Posix.asRelFile "file.txt") "bib" == "file.txt.bib") :
  {-# LINE 674 "src/System/Path/Internal.hs" #-}
  ("Posix.addExtension (Posix.asRelFile \"file.\") \".bib\" == \"file..bib\"",
      Posix.addExtension (Posix.asRelFile "file.") ".bib" == "file..bib") :
  {-# LINE 675 "src/System/Path/Internal.hs" #-}
  ("Posix.addExtension (Posix.asRelFile \"file\") \".bib\" == \"file.bib\"",
      Posix.addExtension (Posix.asRelFile "file") ".bib" == "file.bib") :
  {-# LINE 676 "src/System/Path/Internal.hs" #-}
  ("Posix.addExtension (Posix.asRelFile \"\") \"bib\" == \".bib\"",
      Posix.addExtension (Posix.asRelFile "") "bib" == ".bib") :
  {-# LINE 677 "src/System/Path/Internal.hs" #-}
  ("Posix.addExtension (Posix.asRelFile \"\") \".bib\" == \".bib\"",
      Posix.addExtension (Posix.asRelFile "") ".bib" == ".bib") :
  {-# LINE 678 "src/System/Path/Internal.hs" #-}
  ("Posix.takeFileName (Posix.addExtension (Posix.asRelFile \"\") \"ext\") == \".ext\"",
      Posix.takeFileName (Posix.addExtension (Posix.asRelFile "") "ext") == ".ext") :
  {-# LINE 690 "src/System/Path/Internal.hs" #-}
  ("Posix.dropExtension x == fst (Posix.splitExtension x)",
      Posix.dropExtension x == fst (Posix.splitExtension x)) :
  {-# LINE 696 "src/System/Path/Internal.hs" #-}
  ("not $ Posix.hasAnExtension (Posix.dropExtensions x)",
      not $ Posix.hasAnExtension (Posix.dropExtensions x)) :
  {-# LINE 707 "src/System/Path/Internal.hs" #-}
  ("Posix.replaceExtension (Posix.asRelFile \"file.txt\") \".bob\" == \"file.bob\"",
      Posix.replaceExtension (Posix.asRelFile "file.txt") ".bob" == "file.bob") :
  {-# LINE 708 "src/System/Path/Internal.hs" #-}
  ("Posix.replaceExtension (Posix.asRelFile \"file.txt\") \"bob\" == \"file.bob\"",
      Posix.replaceExtension (Posix.asRelFile "file.txt") "bob" == "file.bob") :
  {-# LINE 709 "src/System/Path/Internal.hs" #-}
  ("Posix.replaceExtension (Posix.asRelFile \"file\") \".bob\" == \"file.bob\"",
      Posix.replaceExtension (Posix.asRelFile "file") ".bob" == "file.bob") :
  {-# LINE 710 "src/System/Path/Internal.hs" #-}
  ("Posix.replaceExtension (Posix.asRelFile \"file.txt\") \"\" == \"file\"",
      Posix.replaceExtension (Posix.asRelFile "file.txt") "" == "file") :
  {-# LINE 711 "src/System/Path/Internal.hs" #-}
  ("Posix.replaceExtension (Posix.asRelFile \"file.fred.bob\") \"txt\" == \"file.fred.txt\"",
      Posix.replaceExtension (Posix.asRelFile "file.fred.bob") "txt" == "file.fred.txt") :
  {-# LINE 729 "src/System/Path/Internal.hs" #-}
  ("uncurry (<.>) (Posix.splitExtension x) == x",
      uncurry (<.>) (Posix.splitExtension x) == x) :
  {-# LINE 730 "src/System/Path/Internal.hs" #-}
  ("uncurry Posix.addExtension (Posix.splitExtension x) == x",
      uncurry Posix.addExtension (Posix.splitExtension x) == x) :
  {-# LINE 731 "src/System/Path/Internal.hs" #-}
  ("Posix.splitExtension (Posix.asRelFile \"file.txt\") == (\"file\",\".txt\")",
      Posix.splitExtension (Posix.asRelFile "file.txt") == ("file",".txt")) :
  {-# LINE 732 "src/System/Path/Internal.hs" #-}
  ("Posix.splitExtension (Posix.asRelFile \"file\") == (\"file\",\"\")",
      Posix.splitExtension (Posix.asRelFile "file") == ("file","")) :
  {-# LINE 733 "src/System/Path/Internal.hs" #-}
  ("Posix.splitExtension (Posix.asRelFile \"file/file.txt\") == (\"file/file\",\".txt\")",
      Posix.splitExtension (Posix.asRelFile "file/file.txt") == ("file/file",".txt")) :
  {-# LINE 734 "src/System/Path/Internal.hs" #-}
  ("Posix.splitExtension (Posix.asRelFile \"file.txt/boris\") == (\"file.txt/boris\",\"\")",
      Posix.splitExtension (Posix.asRelFile "file.txt/boris") == ("file.txt/boris","")) :
  {-# LINE 735 "src/System/Path/Internal.hs" #-}
  ("Posix.splitExtension (Posix.asRelFile \"file.txt/boris.ext\") == (\"file.txt/boris\",\".ext\")",
      Posix.splitExtension (Posix.asRelFile "file.txt/boris.ext") == ("file.txt/boris",".ext")) :
  {-# LINE 736 "src/System/Path/Internal.hs" #-}
  ("Posix.splitExtension (Posix.asRelFile \"file/path.txt.bob.fred\") == (\"file/path.txt.bob\",\".fred\")",
      Posix.splitExtension (Posix.asRelFile "file/path.txt.bob.fred") == ("file/path.txt.bob",".fred")) :
  {-# LINE 743 "src/System/Path/Internal.hs" #-}
  ("Posix.splitExtensions (Posix.asRelFile \"file.tar.gz\") == (\"file\",\".tar.gz\")",
      Posix.splitExtensions (Posix.asRelFile "file.tar.gz") == ("file",".tar.gz")) :
  {-# LINE 760 "src/System/Path/Internal.hs" #-}
  ("Posix.takeBaseName (Posix.asAbsFile \"/tmp/somedir/myfile.txt\") == \"myfile\"",
      Posix.takeBaseName (Posix.asAbsFile "/tmp/somedir/myfile.txt") == "myfile") :
  {-# LINE 761 "src/System/Path/Internal.hs" #-}
  ("Posix.takeBaseName (Posix.asRelFile \"./myfile.txt\") == \"myfile\"",
      Posix.takeBaseName (Posix.asRelFile "./myfile.txt") == "myfile") :
  {-# LINE 762 "src/System/Path/Internal.hs" #-}
  ("Posix.takeBaseName (Posix.asRelFile \"myfile.txt\") == \"myfile\"",
      Posix.takeBaseName (Posix.asRelFile "myfile.txt") == "myfile") :
  {-# LINE 771 "src/System/Path/Internal.hs" #-}
  ("Posix.takeExtension x == snd (Posix.splitExtension x)",
      Posix.takeExtension x == snd (Posix.splitExtension x)) :
  {-# LINE 772 "src/System/Path/Internal.hs" #-}
  ("Posix.takeExtension (Posix.addExtension x \"ext\") == \".ext\"",
      Posix.takeExtension (Posix.addExtension x "ext") == ".ext") :
  {-# LINE 773 "src/System/Path/Internal.hs" #-}
  ("Posix.takeExtension (Posix.replaceExtension x \"ext\") == \".ext\"",
      Posix.takeExtension (Posix.replaceExtension x "ext") == ".ext") :
  {-# LINE 779 "src/System/Path/Internal.hs" #-}
  ("Posix.takeExtensions (Posix.asRelFile \"file.tar.gz\") == \".tar.gz\"",
      Posix.takeExtensions (Posix.asRelFile "file.tar.gz") == ".tar.gz") :
  {-# LINE 785 "src/System/Path/Internal.hs" #-}
  ("Posix.takeFileName (Posix.asAbsFile \"/tmp/somedir/myfile.txt\") == \"myfile.txt\"",
      Posix.takeFileName (Posix.asAbsFile "/tmp/somedir/myfile.txt") == "myfile.txt") :
  {-# LINE 786 "src/System/Path/Internal.hs" #-}
  ("Posix.takeFileName (Posix.asRelFile \"./myfile.txt\") == \"myfile.txt\"",
      Posix.takeFileName (Posix.asRelFile "./myfile.txt") == "myfile.txt") :
  {-# LINE 787 "src/System/Path/Internal.hs" #-}
  ("Posix.takeFileName (Posix.asRelFile \"myfile.txt\") == \"myfile.txt\"",
      Posix.takeFileName (Posix.asRelFile "myfile.txt") == "myfile.txt") :
  {-# LINE 800 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"/tmp/\" \"/tmp\"",
            Posix.equalFilePath "/tmp/" "/tmp") :
  {-# LINE 801 "src/System/Path/Internal.hs" #-}
  ("not $ Posix.equalFilePath \"/tmp\" \"tmp\"",
      not $ Posix.equalFilePath "/tmp" "tmp") :
  {-# LINE 802 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"file\" \"File\"",
            Windows.equalFilePath "file" "File") :
  {-# LINE 803 "src/System/Path/Internal.hs" #-}
  ("not $ Windows.equalFilePath \"file\" \"dir\"",
      not $ Windows.equalFilePath "file" "dir") :
  {-# LINE 817 "src/System/Path/Internal.hs" #-}
  ("Posix.joinPath [\"tmp\",\"someDir\",\"dir\"] == Posix.asRelDir \"tmp/someDir/dir\"",
      Posix.joinPath ["tmp","someDir","dir"] == Posix.asRelDir "tmp/someDir/dir") :
  {-# LINE 818 "src/System/Path/Internal.hs" #-}
  ("Posix.joinPath [\"tmp\",\"someDir\",\"file.txt\"] == Posix.asRelFile \"tmp/someDir/file.txt\"",
      Posix.joinPath ["tmp","someDir","file.txt"] == Posix.asRelFile "tmp/someDir/file.txt") :
  {-# LINE 824 "src/System/Path/Internal.hs" #-}
  ("Posix.normalise \"/tmp/fred/./jim/./file\" == Posix.asAbsFile \"/tmp/fred/jim/file\"",
      Posix.normalise "/tmp/fred/./jim/./file" == Posix.asAbsFile "/tmp/fred/jim/file") :
  {-# LINE 831 "src/System/Path/Internal.hs" #-}
  ("Posix.splitPath (Posix.asAbsDir \"/tmp/someDir/mydir.dir\") == (True, [\"tmp\",\"someDir\",\"mydir.dir\"], Nothing)",
      Posix.splitPath (Posix.asAbsDir "/tmp/someDir/mydir.dir") == (True, ["tmp","someDir","mydir.dir"], Nothing)) :
  {-# LINE 832 "src/System/Path/Internal.hs" #-}
  ("Posix.splitPath (Posix.asAbsFile \"/tmp/someDir/myfile.txt\") == (True, [\"tmp\",\"someDir\"], Just \"myfile.txt\")",
      Posix.splitPath (Posix.asAbsFile "/tmp/someDir/myfile.txt") == (True, ["tmp","someDir"], Just "myfile.txt")) :
  {-# LINE 851 "src/System/Path/Internal.hs" #-}
  ("Posix.makeRelative \"/tmp/somedir\" \"/tmp/somedir/anotherdir/file.txt\" == Posix.asRelFile \"anotherdir/file.txt\"",
      Posix.makeRelative "/tmp/somedir" "/tmp/somedir/anotherdir/file.txt" == Posix.asRelFile "anotherdir/file.txt") :
  {-# LINE 852 "src/System/Path/Internal.hs" #-}
  ("Posix.makeRelative \"/tmp/somedir\" \"/tmp/somedir/anotherdir/dir\" == Posix.asRelDir \"anotherdir/dir\"",
      Posix.makeRelative "/tmp/somedir" "/tmp/somedir/anotherdir/dir" == Posix.asRelDir "anotherdir/dir") :
  {-# LINE 853 "src/System/Path/Internal.hs" #-}
  ("Windows.makeRelative \"c:\\\\tmp\\\\somedir\" \"c:\\\\Tmp\\\\SomeDir\\\\AnotherDir\\\\File.txt\" == Windows.asRelFile \"AnotherDir\\\\File.txt\"",
      Windows.makeRelative "c:\\tmp\\somedir" "c:\\Tmp\\SomeDir\\AnotherDir\\File.txt" == Windows.asRelFile "AnotherDir\\File.txt") :
  {-# LINE 854 "src/System/Path/Internal.hs" #-}
  ("Windows.makeRelative \"c:\\\\tmp\\\\somedir\" \"c:\\\\tmp\\\\somedir\\\\anotherdir\\\\dir\" == Windows.asRelDir \"anotherdir\\\\dir\"",
      Windows.makeRelative "c:\\tmp\\somedir" "c:\\tmp\\somedir\\anotherdir\\dir" == Windows.asRelDir "anotherdir\\dir") :
  {-# LINE 867 "src/System/Path/Internal.hs" #-}
  ("Posix.makeAbsolute \"/tmp\" \"file.txt\"      == Posix.asAbsFile \"/tmp/file.txt\"",
      Posix.makeAbsolute "/tmp" "file.txt"      == Posix.asAbsFile "/tmp/file.txt") :
  {-# LINE 868 "src/System/Path/Internal.hs" #-}
  ("Posix.makeAbsolute \"/tmp\" \"adir/file.txt\" == Posix.asAbsFile \"/tmp/adir/file.txt\"",
      Posix.makeAbsolute "/tmp" "adir/file.txt" == Posix.asAbsFile "/tmp/adir/file.txt") :
  {-# LINE 869 "src/System/Path/Internal.hs" #-}
  ("Posix.makeAbsolute \"/tmp\" \"adir/dir\"      == Posix.asAbsDir \"/tmp/adir/dir\"",
      Posix.makeAbsolute "/tmp" "adir/dir"      == Posix.asAbsDir "/tmp/adir/dir") :
  {-# LINE 881 "src/System/Path/Internal.hs" #-}
  ("Posix.genericMakeAbsolute \"/tmp\" (Posix.asRelFile \"file.txt\")       == \"/tmp/file.txt\"",
      Posix.genericMakeAbsolute "/tmp" (Posix.asRelFile "file.txt")       == "/tmp/file.txt") :
  {-# LINE 882 "src/System/Path/Internal.hs" #-}
  ("Posix.genericMakeAbsolute \"/tmp\" (Posix.asRelFile \"adir/file.txt\")  == \"/tmp/adir/file.txt\"",
      Posix.genericMakeAbsolute "/tmp" (Posix.asRelFile "adir/file.txt")  == "/tmp/adir/file.txt") :
  {-# LINE 883 "src/System/Path/Internal.hs" #-}
  ("Posix.genericMakeAbsolute \"/tmp\" (Posix.asAbsFile \"adir/file.txt\")  == \"/adir/file.txt\"",
      Posix.genericMakeAbsolute "/tmp" (Posix.asAbsFile "adir/file.txt")  == "/adir/file.txt") :
  {-# LINE 884 "src/System/Path/Internal.hs" #-}
  ("Posix.genericMakeAbsolute \"/tmp\" (Posix.asAbsFile \"/adir/file.txt\") == \"/adir/file.txt\"",
      Posix.genericMakeAbsolute "/tmp" (Posix.asAbsFile "/adir/file.txt") == "/adir/file.txt") :
  {-# LINE 929 "src/System/Path/Internal.hs" #-}
  ("Posix.isAbsolute (Posix.asAbsFile \"fred\")",
      Posix.isAbsolute (Posix.asAbsFile "fred")) :
  {-# LINE 930 "src/System/Path/Internal.hs" #-}
  ("Posix.isAbsolute (Posix.asAbsFile \"/fred\")",
      Posix.isAbsolute (Posix.asAbsFile "/fred")) :
  {-# LINE 931 "src/System/Path/Internal.hs" #-}
  ("Windows.isAbsolute (Windows.asAbsFile \"\\\\fred\")",
      Windows.isAbsolute (Windows.asAbsFile "\\fred")) :
  {-# LINE 932 "src/System/Path/Internal.hs" #-}
  ("Windows.isAbsolute (Windows.asAbsFile \"c:\\\\fred\")",
      Windows.isAbsolute (Windows.asAbsFile "c:\\fred")) :
  {-# LINE 948 "src/System/Path/Internal.hs" #-}
  ("Posix.isRelative (Posix.asRelFile \"fred\")",
      Posix.isRelative (Posix.asRelFile "fred")) :
  {-# LINE 949 "src/System/Path/Internal.hs" #-}
  ("Posix.isRelative (Posix.asRelFile \"/fred\")",
      Posix.isRelative (Posix.asRelFile "/fred")) :
  {-# LINE 950 "src/System/Path/Internal.hs" #-}
  ("Windows.isRelative (Windows.asRelFile \"fred\")",
      Windows.isRelative (Windows.asRelFile "fred")) :
  {-# LINE 964 "src/System/Path/Internal.hs" #-}
  ("null (Posix.takeExtension x) == not (Posix.hasAnExtension x)",
      null (Posix.takeExtension x) == not (Posix.hasAnExtension x)) :
  {-# LINE 970 "src/System/Path/Internal.hs" #-}
  ("Posix.hasExtension \".hs\" (Posix.asRelFile \"MyCode.hs\")",
      Posix.hasExtension ".hs" (Posix.asRelFile "MyCode.hs")) :
  {-# LINE 971 "src/System/Path/Internal.hs" #-}
  ("Posix.hasExtension \".hs\" (Posix.asRelFile \"MyCode.bak.hs\")",
      Posix.hasExtension ".hs" (Posix.asRelFile "MyCode.bak.hs")) :
  {-# LINE 972 "src/System/Path/Internal.hs" #-}
  ("not $ Posix.hasExtension \".hs\" (Posix.asRelFile \"MyCode.hs.bak\")",
      not $ Posix.hasExtension ".hs" (Posix.asRelFile "MyCode.hs.bak")) :
  {-# LINE 990 "src/System/Path/Internal.hs" #-}
  ("Posix.extSeparator == '.'",
      Posix.extSeparator == '.') :
  {-# LINE 1001 "src/System/Path/Internal.hs" #-}
  ("Posix.isPathSeparator Posix.pathSeparator",
      Posix.isPathSeparator Posix.pathSeparator) :
  {-# LINE 1008 "src/System/Path/Internal.hs" #-}
  ("Posix.pathSeparator `elem` Posix.pathSeparators",
      Posix.pathSeparator `elem` Posix.pathSeparators) :
  {-# LINE 1019 "src/System/Path/Internal.hs" #-}
  ("Posix.isExtSeparator a == (a == Posix.extSeparator)",
      Posix.isExtSeparator a == (a == Posix.extSeparator)) :
  {-# LINE 1026 "src/System/Path/Internal.hs" #-}
  ("Posix.isPathSeparator a == (a `elem` Posix.pathSeparators)",
      Posix.isPathSeparator a == (a `elem` Posix.pathSeparators)) :
  {-# LINE 1032 "src/System/Path/Internal.hs" #-}
  ("Posix.isSearchPathSeparator a == (a == Posix.searchPathSeparator)",
      Posix.isSearchPathSeparator a == (a == Posix.searchPathSeparator)) :
  {-# LINE 1048 "src/System/Path/Internal.hs" #-}
  ("Posix.genericAddExtension \"/\" \"x\" == Posix.asAbsDir \"/.x\"",
      Posix.genericAddExtension "/" "x" == Posix.asAbsDir "/.x") :
  {-# LINE 1049 "src/System/Path/Internal.hs" #-}
  ("Posix.genericAddExtension \"/a\" \"x\" == Posix.asAbsDir \"/a.x\"",
      Posix.genericAddExtension "/a" "x" == Posix.asAbsDir "/a.x") :
  {-# LINE 1050 "src/System/Path/Internal.hs" #-}
  ("Posix.genericAddExtension \"\" \"x\" == Posix.asRelFile \".x\"",
      Posix.genericAddExtension "" "x" == Posix.asRelFile ".x") :
  {-# LINE 1051 "src/System/Path/Internal.hs" #-}
  ("Posix.genericAddExtension \"\" \"\" == Posix.asRelFile \"\"",
      Posix.genericAddExtension "" "" == Posix.asRelFile "") :
  []