pathtype-0.8: test/TestResult.hs

{- Do not edit! Created from test/TestTemplate.hs -}
{-# OPTIONS_GHC -fno-warn-warnings-deprecations #-}
module TestResult (results) where

import qualified System.Path.PartClass as Class
import qualified System.Path.Generic as Path
import qualified System.Path.Posix as Posix
import qualified System.Path.Windows as Windows
import System.Path.Generic ((</>), (<.>), relFile, relDir, absFile, absDir)
import Data.Char (toLower)


results :: (Class.AbsRel ar) => Char -> Posix.FilePath ar -> [(String, Bool)]
results a x =
  {-# LINE 258 "src/System/Path/Internal.hs" #-}
  ("Path.pathMap (map toLower) (absDir \"/tmp/Reports/SpreadSheets\") == Posix.absDir \"/tmp/reports/spreadsheets\"",
      Path.pathMap (map toLower) (absDir "/tmp/Reports/SpreadSheets") == Posix.absDir "/tmp/reports/spreadsheets") :
  {-# LINE 331 "src/System/Path/Internal.hs" #-}
  ("show (Posix.rootDir </> relDir \"bla\" </> relFile \"blub\") == \"rootDir </> relPath \\\"bla\\\" </> relPath \\\"blub\\\"\"",
      show (Posix.rootDir </> relDir "bla" </> relFile "blub") == "rootDir </> relPath \"bla\" </> relPath \"blub\"") :
  {-# LINE 332 "src/System/Path/Internal.hs" #-}
  ("show (Just (Posix.rootDir </> relDir \"bla\" </> relFile \"blub\")) == \"Just (rootDir </> relPath \\\"bla\\\" </> relPath \\\"blub\\\")\"",
      show (Just (Posix.rootDir </> relDir "bla" </> relFile "blub")) == "Just (rootDir </> relPath \"bla\" </> relPath \"blub\")") :
  {-# LINE 333 "src/System/Path/Internal.hs" #-}
  ("show (Posix.currentDir </> relDir \"bla\" </> relFile \"blub\") == \"currentDir </> relPath \\\"bla\\\" </> relPath \\\"blub\\\"\"",
      show (Posix.currentDir </> relDir "bla" </> relFile "blub") == "currentDir </> relPath \"bla\" </> relPath \"blub\"") :
  {-# LINE 334 "src/System/Path/Internal.hs" #-}
  ("show (Just (Posix.currentDir </> relDir \"bla\" </> relFile \"blub\")) == \"Just (currentDir </> relPath \\\"bla\\\" </> relPath \\\"blub\\\")\"",
      show (Just (Posix.currentDir </> relDir "bla" </> relFile "blub")) == "Just (currentDir </> relPath \"bla\" </> relPath \"blub\")") :
  {-# LINE 335 "src/System/Path/Internal.hs" #-}
  ("show (Windows.absDir \"c:\" </> relDir \"bla\" </> relFile \"blub\") == \"absDir \\\"c:\\\" </> relPath \\\"bla\\\" </> relPath \\\"blub\\\"\"",
      show (Windows.absDir "c:" </> relDir "bla" </> relFile "blub") == "absDir \"c:\" </> relPath \"bla\" </> relPath \"blub\"") :
  {-# LINE 336 "src/System/Path/Internal.hs" #-}
  ("show (Just (Windows.absDir \"c:\\\\\" </> relDir \"bla\" </> relFile \"blub\")) == \"Just (absDir \\\"c:\\\\\\\\\\\" </> relPath \\\"bla\\\" </> relPath \\\"blub\\\")\"",
      show (Just (Windows.absDir "c:\\" </> relDir "bla" </> relFile "blub")) == "Just (absDir \"c:\\\\\" </> relPath \"bla\" </> relPath \"blub\")") :
  {-# LINE 368 "src/System/Path/Internal.hs" #-}
  ("read \"rootDir\" == Posix.rootDir",
      read "rootDir" == Posix.rootDir) :
  {-# LINE 369 "src/System/Path/Internal.hs" #-}
  ("read \"rootDir\" == Windows.rootDir",
      read "rootDir" == Windows.rootDir) :
  {-# LINE 370 "src/System/Path/Internal.hs" #-}
  ("read \"currentDir\" == Posix.currentDir",
      read "currentDir" == Posix.currentDir) :
  {-# LINE 371 "src/System/Path/Internal.hs" #-}
  ("read \"currentDir\" == Windows.currentDir",
      read "currentDir" == Windows.currentDir) :
  {-# LINE 372 "src/System/Path/Internal.hs" #-}
  ("let path = Posix.rootDir </> relDir \"bla\" </> relFile \"blub\" in read (show path) == path",
      let path = Posix.rootDir </> relDir "bla" </> relFile "blub" in read (show path) == path) :
  {-# LINE 373 "src/System/Path/Internal.hs" #-}
  ("let path = Just (Posix.rootDir </> relDir \"bla\" </> relFile \"blub\") in read (show path) == path",
      let path = Just (Posix.rootDir </> relDir "bla" </> relFile "blub") in read (show path) == path) :
  {-# LINE 374 "src/System/Path/Internal.hs" #-}
  ("let path = Posix.currentDir </> relDir \"bla\" </> relFile \"blub\" in read (show path) == path",
      let path = Posix.currentDir </> relDir "bla" </> relFile "blub" in read (show path) == path) :
  {-# LINE 375 "src/System/Path/Internal.hs" #-}
  ("let path = Just (Posix.currentDir </> relDir \"bla\" </> relFile \"blub\") in read (show path) == path",
      let path = Just (Posix.currentDir </> relDir "bla" </> relFile "blub") in read (show path) == path) :
  {-# LINE 376 "src/System/Path/Internal.hs" #-}
  ("let path = Windows.rootDir </> relDir \"bla\" </> relFile \"blub\" in read (show path) == path",
      let path = Windows.rootDir </> relDir "bla" </> relFile "blub" in read (show path) == path) :
  {-# LINE 377 "src/System/Path/Internal.hs" #-}
  ("let path = Just (Windows.rootDir </> relDir \"bla\" </> relFile \"blub\") in read (show path) == path",
      let path = Just (Windows.rootDir </> relDir "bla" </> relFile "blub") in read (show path) == path) :
  {-# LINE 378 "src/System/Path/Internal.hs" #-}
  ("let path = Windows.absDir \"c:\" </> relDir \"bla\" </> relFile \"blub\" in read (show path) == path",
      let path = Windows.absDir "c:" </> relDir "bla" </> relFile "blub" in read (show path) == path) :
  {-# LINE 475 "src/System/Path/Internal.hs" #-}
  ("Posix.toString Path.rootDir == \"/\"",
      Posix.toString Path.rootDir == "/") :
  {-# LINE 476 "src/System/Path/Internal.hs" #-}
  ("Windows.toString Path.rootDir == \"\\\\\"",
      Windows.toString Path.rootDir == "\\") :
  {-# LINE 486 "src/System/Path/Internal.hs" #-}
  ("Posix.toString Path.currentDir == \".\"",
      Posix.toString Path.currentDir == ".") :
  {-# LINE 487 "src/System/Path/Internal.hs" #-}
  ("Windows.toString Path.currentDir == \".\"",
      Windows.toString Path.currentDir == ".") :
  {-# LINE 529 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/\" :: Maybe Posix.AbsDir) == Just \"/\"",
      fmap Posix.toString (Posix.maybePath "/" :: Maybe Posix.AbsDir) == Just "/") :
  {-# LINE 530 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/\" :: Maybe Posix.AbsFile) == Nothing",
      fmap Posix.toString (Posix.maybePath "/" :: Maybe Posix.AbsFile) == Nothing) :
  {-# LINE 531 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/\" :: Maybe Posix.RelDir) == Nothing",
      fmap Posix.toString (Posix.maybePath "/" :: Maybe Posix.RelDir) == Nothing) :
  {-# LINE 532 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/\" :: Maybe Posix.RelFile) == Nothing",
      fmap Posix.toString (Posix.maybePath "/" :: Maybe Posix.RelFile) == Nothing) :
  {-# LINE 533 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp\" :: Maybe Posix.AbsDir) == Just \"/tmp\"",
      fmap Posix.toString (Posix.maybePath "/tmp" :: Maybe Posix.AbsDir) == Just "/tmp") :
  {-# LINE 534 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp\" :: Maybe Posix.AbsFile) == Just \"/tmp\"",
      fmap Posix.toString (Posix.maybePath "/tmp" :: Maybe Posix.AbsFile) == Just "/tmp") :
  {-# LINE 535 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp\" :: Maybe Posix.RelDir) == Nothing",
      fmap Posix.toString (Posix.maybePath "/tmp" :: Maybe Posix.RelDir) == Nothing) :
  {-# LINE 536 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp\" :: Maybe Posix.RelFile) == Nothing",
      fmap Posix.toString (Posix.maybePath "/tmp" :: Maybe Posix.RelFile) == Nothing) :
  {-# LINE 537 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp/\" :: Maybe Posix.AbsDir) == Just \"/tmp\"",
      fmap Posix.toString (Posix.maybePath "/tmp/" :: Maybe Posix.AbsDir) == Just "/tmp") :
  {-# LINE 538 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp/\" :: Maybe Posix.AbsFile) == Nothing",
      fmap Posix.toString (Posix.maybePath "/tmp/" :: Maybe Posix.AbsFile) == Nothing) :
  {-# LINE 539 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp/\" :: Maybe Posix.RelDir) == Nothing",
      fmap Posix.toString (Posix.maybePath "/tmp/" :: Maybe Posix.RelDir) == Nothing) :
  {-# LINE 540 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp/\" :: Maybe Posix.RelFile) == Nothing",
      fmap Posix.toString (Posix.maybePath "/tmp/" :: Maybe Posix.RelFile) == Nothing) :
  {-# LINE 541 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp\" :: Maybe Posix.AbsRelFileDir) == Just \"/tmp\"",
      fmap Posix.toString (Posix.maybePath "/tmp" :: Maybe Posix.AbsRelFileDir) == Just "/tmp") :
  {-# LINE 542 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp/\" :: Maybe Posix.AbsRelFileDir) == Just \"/tmp\"",
      fmap Posix.toString (Posix.maybePath "/tmp/" :: Maybe Posix.AbsRelFileDir) == Just "/tmp") :
  {-# LINE 543 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"file.txt\" :: Maybe Posix.RelFile) == Just \"file.txt\"",
      fmap Posix.toString (Posix.maybePath "file.txt" :: Maybe Posix.RelFile) == Just "file.txt") :
  {-# LINE 544 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"file.txt\" :: Maybe Posix.AbsFile) == Nothing",
      fmap Posix.toString (Posix.maybePath "file.txt" :: Maybe Posix.AbsFile) == Nothing) :
  {-# LINE 545 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"\\\\tmp\" :: Maybe Windows.AbsDir) == Just \"\\\\tmp\"",
      fmap Windows.toString (Windows.maybePath "\\tmp" :: Maybe Windows.AbsDir) == Just "\\tmp") :
  {-# LINE 546 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"a:\\\\tmp\" :: Maybe Windows.AbsDir) == Just \"a:\\\\tmp\"",
      fmap Windows.toString (Windows.maybePath "a:\\tmp" :: Maybe Windows.AbsDir) == Just "a:\\tmp") :
  {-# LINE 547 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"a:tmp\" :: Maybe Windows.AbsDir) == Just \"a:tmp\"",
      fmap Windows.toString (Windows.maybePath "a:tmp" :: Maybe Windows.AbsDir) == Just "a:tmp") :
  {-# LINE 548 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"a:\\\\\" :: Maybe Windows.AbsDir) == Just \"a:\\\\\"",
      fmap Windows.toString (Windows.maybePath "a:\\" :: Maybe Windows.AbsDir) == Just "a:\\") :
  {-# LINE 549 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"a:\" :: Maybe Windows.AbsDir) == Just \"a:\"",
      fmap Windows.toString (Windows.maybePath "a:" :: Maybe Windows.AbsDir) == Just "a:") :
  {-# LINE 550 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"tmp\" :: Maybe Windows.RelDir) == Just \"tmp\"",
      fmap Windows.toString (Windows.maybePath "tmp" :: Maybe Windows.RelDir) == Just "tmp") :
  {-# LINE 551 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"\\\\tmp\" :: Maybe Windows.RelDir) == Nothing",
      fmap Windows.toString (Windows.maybePath "\\tmp" :: Maybe Windows.RelDir) == Nothing) :
  {-# LINE 552 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"a:\\\\tmp\" :: Maybe Windows.RelDir) == Nothing",
      fmap Windows.toString (Windows.maybePath "a:\\tmp" :: Maybe Windows.RelDir) == Nothing) :
  {-# LINE 553 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"a:tmp\" :: Maybe Windows.RelDir) == Nothing",
      fmap Windows.toString (Windows.maybePath "a:tmp" :: Maybe Windows.RelDir) == Nothing) :
  {-# LINE 554 "src/System/Path/Internal.hs" #-}
  ("fmap Windows.toString (Windows.maybePath \"tmp\" :: Maybe Windows.AbsDir) == Nothing",
      fmap Windows.toString (Windows.maybePath "tmp" :: Maybe Windows.AbsDir) == Nothing) :
  {-# LINE 606 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relFile \"file.txt\") == \"file.txt\"",
      Posix.toString (Posix.relFile "file.txt") == "file.txt") :
  {-# LINE 607 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relFile \"tmp\") == \"tmp\"",
      Posix.toString (Posix.relFile "tmp") == "tmp") :
  {-# LINE 613 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relDir \".\") == \".\"",
      Posix.toString (Posix.relDir ".") == ".") :
  {-# LINE 614 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relDir \"file.txt\") == \"file.txt\"",
      Posix.toString (Posix.relDir "file.txt") == "file.txt") :
  {-# LINE 615 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relDir \"tmp\") == \"tmp\"",
      Posix.toString (Posix.relDir "tmp") == "tmp") :
  {-# LINE 621 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absFile \"/file.txt\") == \"/file.txt\"",
      Posix.toString (Posix.absFile "/file.txt") == "/file.txt") :
  {-# LINE 622 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absFile \"/tmp\") == \"/tmp\"",
      Posix.toString (Posix.absFile "/tmp") == "/tmp") :
  {-# LINE 628 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absDir \"/file.txt\") == \"/file.txt\"",
      Posix.toString (Posix.absDir "/file.txt") == "/file.txt") :
  {-# LINE 629 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absDir \"/tmp\") == \"/tmp\"",
      Posix.toString (Posix.absDir "/tmp") == "/tmp") :
  {-# LINE 724 "src/System/Path/Internal.hs" #-}
  ("Posix.asPath \"/tmp\" == Posix.absDir \"/tmp\"",
      Posix.asPath "/tmp" == Posix.absDir "/tmp") :
  {-# LINE 725 "src/System/Path/Internal.hs" #-}
  ("Posix.asPath \"file.txt\" == Posix.relFile \"file.txt\"",
      Posix.asPath "file.txt" == Posix.relFile "file.txt") :
  {-# LINE 726 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Posix.asAbsDir \"/tmp\")",
      Path.isAbsolute (Posix.asAbsDir "/tmp")) :
  {-# LINE 727 "src/System/Path/Internal.hs" #-}
  ("Path.isRelative (Posix.asRelDir \"/tmp\")",
      Path.isRelative (Posix.asRelDir "/tmp")) :
  {-# LINE 728 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asPath \"/tmp\" :: Posix.AbsDir) == \"/tmp\"",
      Posix.toString (Posix.asPath "/tmp" :: Posix.AbsDir) == "/tmp") :
  {-# LINE 729 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asPath \"/tmp\" :: Posix.RelDir) == \"tmp\"",
      Posix.toString (Posix.asPath "/tmp" :: Posix.RelDir) == "tmp") :
  {-# LINE 730 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.asPath \"\\\\tmp\" :: Windows.AbsDir) == \"\\\\tmp\"",
      Windows.toString (Windows.asPath "\\tmp" :: Windows.AbsDir) == "\\tmp") :
  {-# LINE 731 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.asPath \"a:\\\\tmp\" :: Windows.AbsDir) == \"a:\\\\tmp\"",
      Windows.toString (Windows.asPath "a:\\tmp" :: Windows.AbsDir) == "a:\\tmp") :
  {-# LINE 732 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.asPath \"a:tmp\" :: Windows.AbsDir) == \"a:tmp\"",
      Windows.toString (Windows.asPath "a:tmp" :: Windows.AbsDir) == "a:tmp") :
  {-# LINE 733 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.asPath \"tmp\" :: Windows.RelDir) == \"tmp\"",
      Windows.toString (Windows.asPath "tmp" :: Windows.RelDir) == "tmp") :
  {-# LINE 741 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelFile \"file.txt\") == \"file.txt\"",
      Posix.toString (Posix.asRelFile "file.txt") == "file.txt") :
  {-# LINE 742 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelFile \"/file.txt\") == \"file.txt\"",
      Posix.toString (Posix.asRelFile "/file.txt") == "file.txt") :
  {-# LINE 743 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelFile \"tmp\") == \"tmp\"",
      Posix.toString (Posix.asRelFile "tmp") == "tmp") :
  {-# LINE 744 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelFile \"/tmp\") == \"tmp\"",
      Posix.toString (Posix.asRelFile "/tmp") == "tmp") :
  {-# LINE 750 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \".\") == \".\"",
      Posix.toString (Posix.asRelDir ".") == ".") :
  {-# LINE 751 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \"file.txt\") == \"file.txt\"",
      Posix.toString (Posix.asRelDir "file.txt") == "file.txt") :
  {-# LINE 752 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \"/file.txt\") == \"file.txt\"",
      Posix.toString (Posix.asRelDir "/file.txt") == "file.txt") :
  {-# LINE 753 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \"tmp\") == \"tmp\"",
      Posix.toString (Posix.asRelDir "tmp") == "tmp") :
  {-# LINE 754 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \"/tmp\") == \"tmp\"",
      Posix.toString (Posix.asRelDir "/tmp") == "tmp") :
  {-# LINE 760 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asAbsFile \"/file.txt\") == \"/file.txt\"",
      Posix.toString (Posix.asAbsFile "/file.txt") == "/file.txt") :
  {-# LINE 761 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asAbsFile \"/tmp\") == \"/tmp\"",
      Posix.toString (Posix.asAbsFile "/tmp") == "/tmp") :
  {-# LINE 767 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asAbsDir \"/file.txt\") == \"/file.txt\"",
      Posix.toString (Posix.asAbsDir "/file.txt") == "/file.txt") :
  {-# LINE 768 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asAbsDir \"/tmp\") == \"/tmp\"",
      Posix.toString (Posix.asAbsDir "/tmp") == "/tmp") :
  {-# LINE 807 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"/tmp\" == Left (Posix.absDir \"/tmp\")",
      Path.mkPathAbsOrRel "/tmp" == Left (Posix.absDir "/tmp")) :
  {-# LINE 808 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel  \"tmp\" == Right (Posix.relDir \"tmp\")",
      Path.mkPathAbsOrRel  "tmp" == Right (Posix.relDir "tmp")) :
  {-# LINE 809 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"\\\\tmp\" == Left (Windows.absDir \"\\\\tmp\")",
      Path.mkPathAbsOrRel "\\tmp" == Left (Windows.absDir "\\tmp")) :
  {-# LINE 810 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"d:\\\\tmp\" == Left (Windows.absDir \"d:\\\\tmp\")",
      Path.mkPathAbsOrRel "d:\\tmp" == Left (Windows.absDir "d:\\tmp")) :
  {-# LINE 811 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"d:tmp\" == Left (Windows.absDir \"d:tmp\")",
      Path.mkPathAbsOrRel "d:tmp" == Left (Windows.absDir "d:tmp")) :
  {-# LINE 812 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"tmp\" == Right (Windows.relDir \"tmp\")",
      Path.mkPathAbsOrRel "tmp" == Right (Windows.relDir "tmp")) :
  {-# LINE 841 "src/System/Path/Internal.hs" #-}
  ("Path.mkAbsPath (absDir \"/tmp\") \"foo.txt\" == Posix.absFile \"/tmp/foo.txt\"",
      Path.mkAbsPath (absDir "/tmp") "foo.txt" == Posix.absFile "/tmp/foo.txt") :
  {-# LINE 842 "src/System/Path/Internal.hs" #-}
  ("Path.mkAbsPath (absDir \"/tmp\") \"/etc/foo.txt\" == Posix.absFile \"/etc/foo.txt\"",
      Path.mkAbsPath (absDir "/tmp") "/etc/foo.txt" == Posix.absFile "/etc/foo.txt") :
  {-# LINE 975 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absDir \"/tmp\" </> Posix.relFile \"file.txt\") == \"/tmp/file.txt\"",
      Posix.toString (Posix.absDir "/tmp" </> Posix.relFile "file.txt") == "/tmp/file.txt") :
  {-# LINE 976 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absDir \"/tmp\" </> Posix.relDir \"dir\" </> Posix.relFile \"file.txt\") == \"/tmp/dir/file.txt\"",
      Posix.toString (Posix.absDir "/tmp" </> Posix.relDir "dir" </> Posix.relFile "file.txt") == "/tmp/dir/file.txt") :
  {-# LINE 977 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relDir \"dir\" </> Posix.relFile \"file.txt\") == \"dir/file.txt\"",
      Posix.toString (Posix.relDir "dir" </> Posix.relFile "file.txt") == "dir/file.txt") :
  {-# LINE 978 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.absDir \"\\\\tmp\" </> Windows.relFile \"file.txt\") == \"\\\\tmp\\\\file.txt\"",
      Windows.toString (Windows.absDir "\\tmp" </> Windows.relFile "file.txt") == "\\tmp\\file.txt") :
  {-# LINE 979 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.absDir \"c:\\\\tmp\" </> Windows.relFile \"file.txt\") == \"c:\\\\tmp\\\\file.txt\"",
      Windows.toString (Windows.absDir "c:\\tmp" </> Windows.relFile "file.txt") == "c:\\tmp\\file.txt") :
  {-# LINE 980 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.absDir \"c:tmp\" </> Windows.relFile \"file.txt\") == \"c:tmp\\\\file.txt\"",
      Windows.toString (Windows.absDir "c:tmp" </> Windows.relFile "file.txt") == "c:tmp\\file.txt") :
  {-# LINE 981 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.absDir \"c:\\\\\" </> Windows.relDir \"tmp\" </> Windows.relFile \"file.txt\") == \"c:\\\\tmp\\\\file.txt\"",
      Windows.toString (Windows.absDir "c:\\" </> Windows.relDir "tmp" </> Windows.relFile "file.txt") == "c:\\tmp\\file.txt") :
  {-# LINE 982 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.absDir \"c:\" </> Windows.relDir \"tmp\" </> Windows.relFile \"file.txt\") == \"c:tmp\\\\file.txt\"",
      Windows.toString (Windows.absDir "c:" </> Windows.relDir "tmp" </> Windows.relFile "file.txt") == "c:tmp\\file.txt") :
  {-# LINE 983 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.relDir \"dir\" </> Windows.relFile \"file.txt\") == \"dir\\\\file.txt\"",
      Windows.toString (Windows.relDir "dir" </> Windows.relFile "file.txt") == "dir\\file.txt") :
  {-# LINE 1010 "src/System/Path/Internal.hs" #-}
  ("Path.addExtension (relFile \"file.txt\") \"bib\" == Posix.relFile \"file.txt.bib\"",
      Path.addExtension (relFile "file.txt") "bib" == Posix.relFile "file.txt.bib") :
  {-# LINE 1011 "src/System/Path/Internal.hs" #-}
  ("Path.addExtension (relFile \"file.\") \".bib\" == Posix.relFile \"file..bib\"",
      Path.addExtension (relFile "file.") ".bib" == Posix.relFile "file..bib") :
  {-# LINE 1012 "src/System/Path/Internal.hs" #-}
  ("Path.addExtension (relFile \"file\") \".bib\" == Posix.relFile \"file.bib\"",
      Path.addExtension (relFile "file") ".bib" == Posix.relFile "file.bib") :
  {-# LINE 1013 "src/System/Path/Internal.hs" #-}
  ("Path.addExtension Path.emptyFile \"bib\" == Posix.relFile \".bib\"",
      Path.addExtension Path.emptyFile "bib" == Posix.relFile ".bib") :
  {-# LINE 1014 "src/System/Path/Internal.hs" #-}
  ("Path.addExtension Path.emptyFile \".bib\" == Posix.relFile \".bib\"",
      Path.addExtension Path.emptyFile ".bib" == Posix.relFile ".bib") :
  {-# LINE 1015 "src/System/Path/Internal.hs" #-}
  ("Path.takeFileName (Path.addExtension Path.emptyFile \"ext\") == Posix.relFile \".ext\"",
      Path.takeFileName (Path.addExtension Path.emptyFile "ext") == Posix.relFile ".ext") :
  {-# LINE 1030 "src/System/Path/Internal.hs" #-}
  ("Path.dropExtension x == fst (Path.splitExtension x)",
      Path.dropExtension x == fst (Path.splitExtension x)) :
  {-# LINE 1036 "src/System/Path/Internal.hs" #-}
  ("not $ Path.hasAnExtension (Path.dropExtensions x)",
      not $ Path.hasAnExtension (Path.dropExtensions x)) :
  {-# LINE 1047 "src/System/Path/Internal.hs" #-}
  ("Path.replaceExtension (relFile \"file.txt\") \".bob\" == Posix.relFile \"file.bob\"",
      Path.replaceExtension (relFile "file.txt") ".bob" == Posix.relFile "file.bob") :
  {-# LINE 1048 "src/System/Path/Internal.hs" #-}
  ("Path.replaceExtension (relFile \"file.txt\") \"bob\" == Posix.relFile \"file.bob\"",
      Path.replaceExtension (relFile "file.txt") "bob" == Posix.relFile "file.bob") :
  {-# LINE 1049 "src/System/Path/Internal.hs" #-}
  ("Path.replaceExtension (relFile \"file\") \".bob\" == Posix.relFile \"file.bob\"",
      Path.replaceExtension (relFile "file") ".bob" == Posix.relFile "file.bob") :
  {-# LINE 1050 "src/System/Path/Internal.hs" #-}
  ("Path.replaceExtension (relFile \"file.txt\") \"\" == Posix.relFile \"file\"",
      Path.replaceExtension (relFile "file.txt") "" == Posix.relFile "file") :
  {-# LINE 1051 "src/System/Path/Internal.hs" #-}
  ("Path.replaceExtension (relFile \"file.fred.bob\") \"txt\" == Posix.relFile \"file.fred.txt\"",
      Path.replaceExtension (relFile "file.fred.bob") "txt" == Posix.relFile "file.fred.txt") :
  {-# LINE 1068 "src/System/Path/Internal.hs" #-}
  ("uncurry (<.>) (Path.splitExtension x) == x",
      uncurry (<.>) (Path.splitExtension x) == x) :
  {-# LINE 1069 "src/System/Path/Internal.hs" #-}
  ("uncurry Path.addExtension (Path.splitExtension x) == x",
      uncurry Path.addExtension (Path.splitExtension x) == x) :
  {-# LINE 1070 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \"file.txt\") == (Posix.relFile \"file\",\".txt\")",
      Path.splitExtension (relFile "file.txt") == (Posix.relFile "file",".txt")) :
  {-# LINE 1071 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \".bashrc\") == (Posix.emptyFile, \".bashrc\")",
      Path.splitExtension (relFile ".bashrc") == (Posix.emptyFile, ".bashrc")) :
  {-# LINE 1072 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \"file\") == (Posix.relFile \"file\",\"\")",
      Path.splitExtension (relFile "file") == (Posix.relFile "file","")) :
  {-# LINE 1073 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \"file/file.txt\") == (Posix.relFile \"file/file\",\".txt\")",
      Path.splitExtension (relFile "file/file.txt") == (Posix.relFile "file/file",".txt")) :
  {-# LINE 1074 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \"file.txt/boris\") == (Posix.relFile \"file.txt/boris\",\"\")",
      Path.splitExtension (relFile "file.txt/boris") == (Posix.relFile "file.txt/boris","")) :
  {-# LINE 1075 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \"file.txt/boris.ext\") == (Posix.relFile \"file.txt/boris\",\".ext\")",
      Path.splitExtension (relFile "file.txt/boris.ext") == (Posix.relFile "file.txt/boris",".ext")) :
  {-# LINE 1076 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \"file/path.txt.bob.fred\") == (Posix.relFile \"file/path.txt.bob\",\".fred\")",
      Path.splitExtension (relFile "file/path.txt.bob.fred") == (Posix.relFile "file/path.txt.bob",".fred")) :
  {-# LINE 1082 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtensions (relFile \"file.tar.gz\") == (Posix.relFile \"file\",\".tar.gz\")",
      Path.splitExtensions (relFile "file.tar.gz") == (Posix.relFile "file",".tar.gz")) :
  {-# LINE 1106 "src/System/Path/Internal.hs" #-}
  ("Path.takeBaseName (absFile \"/tmp/somedir/myfile.txt\") == Posix.relFile \"myfile\"",
      Path.takeBaseName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile") :
  {-# LINE 1107 "src/System/Path/Internal.hs" #-}
  ("Path.takeBaseName (relFile \"./myfile.txt\") == Posix.relFile \"myfile\"",
      Path.takeBaseName (relFile "./myfile.txt") == Posix.relFile "myfile") :
  {-# LINE 1108 "src/System/Path/Internal.hs" #-}
  ("Path.takeBaseName (relFile \"myfile.txt\") == Posix.relFile \"myfile\"",
      Path.takeBaseName (relFile "myfile.txt") == Posix.relFile "myfile") :
  {-# LINE 1115 "src/System/Path/Internal.hs" #-}
  ("Path.takeSuperDirectory (Posix.absDir \"/tmp/somedir\") == Just (absDir \"/tmp\")",
      Path.takeSuperDirectory (Posix.absDir "/tmp/somedir") == Just (absDir "/tmp")) :
  {-# LINE 1116 "src/System/Path/Internal.hs" #-}
  ("Path.takeSuperDirectory (Posix.absDir \"/tmp/\") == Just (absDir \"/\")",
      Path.takeSuperDirectory (Posix.absDir "/tmp/") == Just (absDir "/")) :
  {-# LINE 1117 "src/System/Path/Internal.hs" #-}
  ("Path.takeSuperDirectory (Posix.absDir \"/\") == Nothing",
      Path.takeSuperDirectory (Posix.absDir "/") == Nothing) :
  {-# LINE 1118 "src/System/Path/Internal.hs" #-}
  ("Path.takeSuperDirectory (Posix.relDir \"tmp/somedir\") == Just (relDir \"tmp\")",
      Path.takeSuperDirectory (Posix.relDir "tmp/somedir") == Just (relDir "tmp")) :
  {-# LINE 1119 "src/System/Path/Internal.hs" #-}
  ("Path.takeSuperDirectory (Posix.relDir \"./somedir\") == Just (relDir \".\")",
      Path.takeSuperDirectory (Posix.relDir "./somedir") == Just (relDir ".")) :
  {-# LINE 1120 "src/System/Path/Internal.hs" #-}
  ("Path.takeSuperDirectory (Posix.relDir \"somedir\") == Just Path.currentDir",
      Path.takeSuperDirectory (Posix.relDir "somedir") == Just Path.currentDir) :
  {-# LINE 1121 "src/System/Path/Internal.hs" #-}
  ("Path.takeSuperDirectory (Posix.relDir \"\") == Nothing",
      Path.takeSuperDirectory (Posix.relDir "") == Nothing) :
  {-# LINE 1127 "src/System/Path/Internal.hs" #-}
  ("Path.takeExtension x == snd (Path.splitExtension x)",
      Path.takeExtension x == snd (Path.splitExtension x)) :
  {-# LINE 1128 "src/System/Path/Internal.hs" #-}
  ("Path.takeExtension (Path.addExtension x \"ext\") == \".ext\"",
      Path.takeExtension (Path.addExtension x "ext") == ".ext") :
  {-# LINE 1129 "src/System/Path/Internal.hs" #-}
  ("Path.takeExtension (Path.replaceExtension x \"ext\") == \".ext\"",
      Path.takeExtension (Path.replaceExtension x "ext") == ".ext") :
  {-# LINE 1135 "src/System/Path/Internal.hs" #-}
  ("Path.takeExtensions (Posix.relFile \"file.tar.gz\") == \".tar.gz\"",
      Path.takeExtensions (Posix.relFile "file.tar.gz") == ".tar.gz") :
  {-# LINE 1141 "src/System/Path/Internal.hs" #-}
  ("Path.takeFileName (absFile \"/tmp/somedir/myfile.txt\") == Posix.relFile \"myfile.txt\"",
      Path.takeFileName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile.txt") :
  {-# LINE 1142 "src/System/Path/Internal.hs" #-}
  ("Path.takeFileName (relFile \"./myfile.txt\") == Posix.relFile \"myfile.txt\"",
      Path.takeFileName (relFile "./myfile.txt") == Posix.relFile "myfile.txt") :
  {-# LINE 1143 "src/System/Path/Internal.hs" #-}
  ("Path.takeFileName (relFile \"myfile.txt\") == Posix.relFile \"myfile.txt\"",
      Path.takeFileName (relFile "myfile.txt") == Posix.relFile "myfile.txt") :
  {-# LINE 1175 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"abc/def\" \"abc/def\"",
            Posix.equalFilePath "abc/def" "abc/def") :
  {-# LINE 1176 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"abc/def\" \"abc//def\"",
            Posix.equalFilePath "abc/def" "abc//def") :
  {-# LINE 1177 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"/tmp/\" \"/tmp\"",
            Posix.equalFilePath "/tmp/" "/tmp") :
  {-# LINE 1178 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"/tmp\" \"//tmp\"",
            Posix.equalFilePath "/tmp" "//tmp") :
  {-# LINE 1179 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"/tmp\" \"///tmp\"",
            Posix.equalFilePath "/tmp" "///tmp") :
  {-# LINE 1180 "src/System/Path/Internal.hs" #-}
  ("not $ Posix.equalFilePath \"abc\" \"def\"",
      not $ Posix.equalFilePath "abc" "def") :
  {-# LINE 1181 "src/System/Path/Internal.hs" #-}
  ("not $ Posix.equalFilePath \"/tmp\" \"tmp\"",
      not $ Posix.equalFilePath "/tmp" "tmp") :
  {-# LINE 1182 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"abc\\\\def\" \"abc\\\\def\"",
            Windows.equalFilePath "abc\\def" "abc\\def") :
  {-# LINE 1183 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"abc\\\\def\" \"abc\\\\\\\\def\"",
            Windows.equalFilePath "abc\\def" "abc\\\\def") :
  {-# LINE 1184 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"file\" \"File\"",
            Windows.equalFilePath "file" "File") :
  {-# LINE 1185 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"\\\\file\" \"\\\\\\\\file\"",
            Windows.equalFilePath "\\file" "\\\\file") :
  {-# LINE 1186 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"\\\\file\" \"\\\\\\\\\\\\file\"",
            Windows.equalFilePath "\\file" "\\\\\\file") :
  {-# LINE 1187 "src/System/Path/Internal.hs" #-}
  ("not $ Windows.equalFilePath \"abc\" \"def\"",
      not $ Windows.equalFilePath "abc" "def") :
  {-# LINE 1188 "src/System/Path/Internal.hs" #-}
  ("not $ Windows.equalFilePath \"file\" \"dir\"",
      not $ Windows.equalFilePath "file" "dir") :
  {-# LINE 1201 "src/System/Path/Internal.hs" #-}
  ("Path.joinPath [\"tmp\",\"someDir\",\"dir\"] == Posix.relDir \"tmp/someDir/dir\"",
      Path.joinPath ["tmp","someDir","dir"] == Posix.relDir "tmp/someDir/dir") :
  {-# LINE 1202 "src/System/Path/Internal.hs" #-}
  ("Path.joinPath [\"tmp\",\"someDir\",\"file.txt\"] == Posix.relFile \"tmp/someDir/file.txt\"",
      Path.joinPath ["tmp","someDir","file.txt"] == Posix.relFile "tmp/someDir/file.txt") :
  {-# LINE 1208 "src/System/Path/Internal.hs" #-}
  ("Path.normalise (absFile \"/tmp/fred/./jim/./file\") == Posix.absFile \"/tmp/fred/jim/file\"",
      Path.normalise (absFile "/tmp/fred/./jim/./file") == Posix.absFile "/tmp/fred/jim/file") :
  {-# LINE 1214 "src/System/Path/Internal.hs" #-}
  ("Path.splitPath (Posix.absDir \"/tmp/someDir/mydir.dir\") == (True, map relDir [\"tmp\",\"someDir\",\"mydir.dir\"], Nothing)",
      Path.splitPath (Posix.absDir "/tmp/someDir/mydir.dir") == (True, map relDir ["tmp","someDir","mydir.dir"], Nothing)) :
  {-# LINE 1215 "src/System/Path/Internal.hs" #-}
  ("Path.splitPath (Posix.absFile \"/tmp/someDir/myfile.txt\") == (True, map relDir [\"tmp\",\"someDir\"], Just $ relFile \"myfile.txt\")",
      Path.splitPath (Posix.absFile "/tmp/someDir/myfile.txt") == (True, map relDir ["tmp","someDir"], Just $ relFile "myfile.txt")) :
  {-# LINE 1231 "src/System/Path/Internal.hs" #-}
  ("Path.makeRelative (absDir \"/tmp/somedir\") (absFile \"/tmp/somedir/anotherdir/file.txt\") == Posix.relFile \"anotherdir/file.txt\"",
      Path.makeRelative (absDir "/tmp/somedir") (absFile "/tmp/somedir/anotherdir/file.txt") == Posix.relFile "anotherdir/file.txt") :
  {-# LINE 1232 "src/System/Path/Internal.hs" #-}
  ("Path.makeRelative (absDir \"/tmp/somedir\") (absDir \"/tmp/somedir/anotherdir/dir\") == Posix.relDir \"anotherdir/dir\"",
      Path.makeRelative (absDir "/tmp/somedir") (absDir "/tmp/somedir/anotherdir/dir") == Posix.relDir "anotherdir/dir") :
  {-# LINE 1233 "src/System/Path/Internal.hs" #-}
  ("Path.makeRelative (absDir \"c:\\\\tmp\\\\somedir\") (absFile \"C:\\\\Tmp\\\\SomeDir\\\\AnotherDir\\\\File.txt\") == Windows.relFile \"AnotherDir\\\\File.txt\"",
      Path.makeRelative (absDir "c:\\tmp\\somedir") (absFile "C:\\Tmp\\SomeDir\\AnotherDir\\File.txt") == Windows.relFile "AnotherDir\\File.txt") :
  {-# LINE 1234 "src/System/Path/Internal.hs" #-}
  ("Path.makeRelative (absDir \"c:\\\\tmp\\\\somedir\") (absDir \"c:\\\\tmp\\\\somedir\\\\anotherdir\\\\dir\") == Windows.relDir \"anotherdir\\\\dir\"",
      Path.makeRelative (absDir "c:\\tmp\\somedir") (absDir "c:\\tmp\\somedir\\anotherdir\\dir") == Windows.relDir "anotherdir\\dir") :
  {-# LINE 1235 "src/System/Path/Internal.hs" #-}
  ("Path.makeRelative (absDir \"c:tmp\\\\somedir\") (absDir \"c:tmp\\\\somedir\\\\anotherdir\\\\dir\") == Windows.relDir \"anotherdir\\\\dir\"",
      Path.makeRelative (absDir "c:tmp\\somedir") (absDir "c:tmp\\somedir\\anotherdir\\dir") == Windows.relDir "anotherdir\\dir") :
  {-# LINE 1246 "src/System/Path/Internal.hs" #-}
  ("Path.makeRelativeMaybe (Posix.absDir \"/tmp/somedir\") (absFile \"/tmp/anotherdir/file.txt\") == Nothing",
      Path.makeRelativeMaybe (Posix.absDir "/tmp/somedir") (absFile "/tmp/anotherdir/file.txt") == Nothing) :
  {-# LINE 1247 "src/System/Path/Internal.hs" #-}
  ("Path.makeRelativeMaybe (Posix.absDir \"/Tmp\") (absFile \"/tmp/anotherdir/file.txt\") == Nothing",
      Path.makeRelativeMaybe (Posix.absDir "/Tmp") (absFile "/tmp/anotherdir/file.txt") == Nothing) :
  {-# LINE 1248 "src/System/Path/Internal.hs" #-}
  ("Path.makeRelativeMaybe (Windows.absDir \"\\\\Tmp\") (absFile \"\\\\tmp\\\\anotherdir\\\\file.txt\") == Just (relFile \"anotherdir\\\\file.txt\")",
      Path.makeRelativeMaybe (Windows.absDir "\\Tmp") (absFile "\\tmp\\anotherdir\\file.txt") == Just (relFile "anotherdir\\file.txt")) :
  {-# LINE 1262 "src/System/Path/Internal.hs" #-}
  ("Path.makeAbsolute (absDir \"/tmp\") (relFile \"file.txt\")      == Posix.absFile \"/tmp/file.txt\"",
      Path.makeAbsolute (absDir "/tmp") (relFile "file.txt")      == Posix.absFile "/tmp/file.txt") :
  {-# LINE 1263 "src/System/Path/Internal.hs" #-}
  ("Path.makeAbsolute (absDir \"/tmp\") (relFile \"adir/file.txt\") == Posix.absFile \"/tmp/adir/file.txt\"",
      Path.makeAbsolute (absDir "/tmp") (relFile "adir/file.txt") == Posix.absFile "/tmp/adir/file.txt") :
  {-# LINE 1264 "src/System/Path/Internal.hs" #-}
  ("Path.makeAbsolute (absDir \"/tmp\") (relDir  \"adir/dir\")      == Posix.absDir \"/tmp/adir/dir\"",
      Path.makeAbsolute (absDir "/tmp") (relDir  "adir/dir")      == Posix.absDir "/tmp/adir/dir") :
  {-# LINE 1286 "src/System/Path/Internal.hs" #-}
  ("Path.genericMakeAbsolute (absDir \"/tmp\") (relFile \"file.txt\")       == Posix.absFile \"/tmp/file.txt\"",
      Path.genericMakeAbsolute (absDir "/tmp") (relFile "file.txt")       == Posix.absFile "/tmp/file.txt") :
  {-# LINE 1287 "src/System/Path/Internal.hs" #-}
  ("Path.genericMakeAbsolute (absDir \"/tmp\") (relFile \"adir/file.txt\")  == Posix.absFile \"/tmp/adir/file.txt\"",
      Path.genericMakeAbsolute (absDir "/tmp") (relFile "adir/file.txt")  == Posix.absFile "/tmp/adir/file.txt") :
  {-# LINE 1288 "src/System/Path/Internal.hs" #-}
  ("Path.genericMakeAbsolute (absDir \"/tmp\") (absFile \"/adir/file.txt\") == Posix.absFile \"/adir/file.txt\"",
      Path.genericMakeAbsolute (absDir "/tmp") (absFile "/adir/file.txt") == Posix.absFile "/adir/file.txt") :
  {-# LINE 1376 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Posix.absFile \"/fred\")",
      Path.isAbsolute (Posix.absFile "/fred")) :
  {-# LINE 1377 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Windows.absFile \"\\\\fred\")",
      Path.isAbsolute (Windows.absFile "\\fred")) :
  {-# LINE 1378 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Windows.absFile \"c:\\\\fred\")",
      Path.isAbsolute (Windows.absFile "c:\\fred")) :
  {-# LINE 1379 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Windows.absFile \"c:fred\")",
      Path.isAbsolute (Windows.absFile "c:fred")) :
  {-# LINE 1386 "src/System/Path/Internal.hs" #-}
  ("Path.isRelative (Posix.relFile \"fred\")",
      Path.isRelative (Posix.relFile "fred")) :
  {-# LINE 1387 "src/System/Path/Internal.hs" #-}
  ("Path.isRelative (Windows.relFile \"fred\")",
      Path.isRelative (Windows.relFile "fred")) :
  {-# LINE 1412 "src/System/Path/Internal.hs" #-}
  ("null (Path.takeExtension x) == not (Path.hasAnExtension x)",
      null (Path.takeExtension x) == not (Path.hasAnExtension x)) :
  {-# LINE 1418 "src/System/Path/Internal.hs" #-}
  ("Path.hasExtension \".hs\" (Posix.relFile \"MyCode.hs\")",
      Path.hasExtension ".hs" (Posix.relFile "MyCode.hs")) :
  {-# LINE 1419 "src/System/Path/Internal.hs" #-}
  ("Path.hasExtension \".hs\" (Posix.relFile \"MyCode.bak.hs\")",
      Path.hasExtension ".hs" (Posix.relFile "MyCode.bak.hs")) :
  {-# LINE 1420 "src/System/Path/Internal.hs" #-}
  ("not $ Path.hasExtension \".hs\" (Posix.relFile \"MyCode.hs.bak\")",
      not $ Path.hasExtension ".hs" (Posix.relFile "MyCode.hs.bak")) :
  {-# LINE 1430 "src/System/Path/Internal.hs" #-}
  ("Posix.extSeparator == '.'",
      Posix.extSeparator == '.') :
  {-# LINE 1441 "src/System/Path/Internal.hs" #-}
  ("Posix.isExtSeparator a == (a == Posix.extSeparator)",
      Posix.isExtSeparator a == (a == Posix.extSeparator)) :
  {-# LINE 1447 "src/System/Path/Internal.hs" #-}
  ("Posix.isSearchPathSeparator a == (a == Posix.searchPathSeparator)",
      Posix.isSearchPathSeparator a == (a == Posix.searchPathSeparator)) :
  {-# LINE 1463 "src/System/Path/Internal.hs" #-}
  ("Path.genericAddExtension (absDir \"/\") \"x\" == Posix.absDir \"/.x\"",
      Path.genericAddExtension (absDir "/") "x" == Posix.absDir "/.x") :
  {-# LINE 1464 "src/System/Path/Internal.hs" #-}
  ("Path.genericAddExtension (absDir \"/a\") \"x\" == Posix.absDir \"/a.x\"",
      Path.genericAddExtension (absDir "/a") "x" == Posix.absDir "/a.x") :
  {-# LINE 1465 "src/System/Path/Internal.hs" #-}
  ("Path.genericAddExtension Path.emptyFile \"x\" == Posix.relFile \".x\"",
      Path.genericAddExtension Path.emptyFile "x" == Posix.relFile ".x") :
  {-# LINE 1466 "src/System/Path/Internal.hs" #-}
  ("Path.genericAddExtension Path.emptyFile \"\" == Posix.emptyFile",
      Path.genericAddExtension Path.emptyFile "" == Posix.emptyFile) :
  []