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

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 ::
  (Path.AbsRelClass ar) => Char -> Posix.FilePath ar -> [(String, Bool)]
results a x =
  {-# LINE 355 "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 485 "src/System/Path/Internal.hs" #-}
  ("show (Posix.rootDir </> relDir \"bla\" </> relFile \"blub\") == \"rootDir </> relDir \\\"bla\\\" </> relFile \\\"blub\\\"\"",
      show (Posix.rootDir </> relDir "bla" </> relFile "blub") == "rootDir </> relDir \"bla\" </> relFile \"blub\"") :
  {-# LINE 486 "src/System/Path/Internal.hs" #-}
  ("show (Just (Posix.rootDir </> relDir \"bla\" </> relFile \"blub\")) == \"Just (rootDir </> relDir \\\"bla\\\" </> relFile \\\"blub\\\")\"",
      show (Just (Posix.rootDir </> relDir "bla" </> relFile "blub")) == "Just (rootDir </> relDir \"bla\" </> relFile \"blub\")") :
  {-# LINE 487 "src/System/Path/Internal.hs" #-}
  ("show (Posix.currentDir </> relDir \"bla\" </> relFile \"blub\") == \"currentDir </> relDir \\\"bla\\\" </> relFile \\\"blub\\\"\"",
      show (Posix.currentDir </> relDir "bla" </> relFile "blub") == "currentDir </> relDir \"bla\" </> relFile \"blub\"") :
  {-# LINE 488 "src/System/Path/Internal.hs" #-}
  ("show (Just (Posix.currentDir </> relDir \"bla\" </> relFile \"blub\")) == \"Just (currentDir </> relDir \\\"bla\\\" </> relFile \\\"blub\\\")\"",
      show (Just (Posix.currentDir </> relDir "bla" </> relFile "blub")) == "Just (currentDir </> relDir \"bla\" </> relFile \"blub\")") :
  {-# LINE 489 "src/System/Path/Internal.hs" #-}
  ("show (Windows.absDir \"c:\" </> relDir \"bla\" </> relFile \"blub\") == \"absDir \\\"c:\\\" </> relDir \\\"bla\\\" </> relFile \\\"blub\\\"\"",
      show (Windows.absDir "c:" </> relDir "bla" </> relFile "blub") == "absDir \"c:\" </> relDir \"bla\" </> relFile \"blub\"") :
  {-# LINE 490 "src/System/Path/Internal.hs" #-}
  ("show (Just (Windows.absDir \"c:\\\\\" </> relDir \"bla\" </> relFile \"blub\")) == \"Just (absDir \\\"c:\\\\\\\\\\\" </> relDir \\\"bla\\\" </> relFile \\\"blub\\\")\"",
      show (Just (Windows.absDir "c:\\" </> relDir "bla" </> relFile "blub")) == "Just (absDir \"c:\\\\\" </> relDir \"bla\" </> relFile \"blub\")") :
  {-# LINE 520 "src/System/Path/Internal.hs" #-}
  ("read \"rootDir\" == Posix.rootDir",
      read "rootDir" == Posix.rootDir) :
  {-# LINE 521 "src/System/Path/Internal.hs" #-}
  ("read \"rootDir\" == Windows.rootDir",
      read "rootDir" == Windows.rootDir) :
  {-# LINE 522 "src/System/Path/Internal.hs" #-}
  ("read \"currentDir\" == Posix.currentDir",
      read "currentDir" == Posix.currentDir) :
  {-# LINE 523 "src/System/Path/Internal.hs" #-}
  ("read \"currentDir\" == Windows.currentDir",
      read "currentDir" == Windows.currentDir) :
  {-# LINE 524 "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 525 "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 526 "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 527 "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 528 "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 529 "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 530 "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 619 "src/System/Path/Internal.hs" #-}
  ("Posix.toString Path.rootDir == \"/\"",
      Posix.toString Path.rootDir == "/") :
  {-# LINE 620 "src/System/Path/Internal.hs" #-}
  ("Windows.toString Path.rootDir == \"\\\\\"",
      Windows.toString Path.rootDir == "\\") :
  {-# LINE 630 "src/System/Path/Internal.hs" #-}
  ("Posix.toString Path.currentDir == \".\"",
      Posix.toString Path.currentDir == ".") :
  {-# LINE 631 "src/System/Path/Internal.hs" #-}
  ("Windows.toString Path.currentDir == \".\"",
      Windows.toString Path.currentDir == ".") :
  {-# LINE 673 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/\" :: Maybe Posix.AbsDir) == Just \"/\"",
      fmap Posix.toString (Posix.maybePath "/" :: Maybe Posix.AbsDir) == Just "/") :
  {-# LINE 674 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/\" :: Maybe Posix.AbsFile) == Nothing",
      fmap Posix.toString (Posix.maybePath "/" :: Maybe Posix.AbsFile) == Nothing) :
  {-# LINE 675 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/\" :: Maybe Posix.RelDir) == Nothing",
      fmap Posix.toString (Posix.maybePath "/" :: Maybe Posix.RelDir) == Nothing) :
  {-# LINE 676 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/\" :: Maybe Posix.RelFile) == Nothing",
      fmap Posix.toString (Posix.maybePath "/" :: Maybe Posix.RelFile) == Nothing) :
  {-# LINE 677 "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 678 "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 679 "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 680 "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 681 "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 682 "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 683 "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 684 "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 685 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp\" :: Maybe Posix.AbsOrRelFileOrDir) == Just \"/tmp\"",
      fmap Posix.toString (Posix.maybePath "/tmp" :: Maybe Posix.AbsOrRelFileOrDir) == Just "/tmp") :
  {-# LINE 686 "src/System/Path/Internal.hs" #-}
  ("fmap Posix.toString (Posix.maybePath \"/tmp/\" :: Maybe Posix.AbsOrRelFileOrDir) == Just \"/tmp\"",
      fmap Posix.toString (Posix.maybePath "/tmp/" :: Maybe Posix.AbsOrRelFileOrDir) == Just "/tmp") :
  {-# LINE 687 "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 688 "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 689 "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 690 "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 691 "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 692 "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 693 "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 694 "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 695 "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 696 "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 697 "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 698 "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 747 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relFile \"file.txt\") == \"file.txt\"",
      Posix.toString (Posix.relFile "file.txt") == "file.txt") :
  {-# LINE 748 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relFile \"tmp\") == \"tmp\"",
      Posix.toString (Posix.relFile "tmp") == "tmp") :
  {-# LINE 754 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relDir \".\") == \".\"",
      Posix.toString (Posix.relDir ".") == ".") :
  {-# LINE 755 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relDir \"file.txt\") == \"file.txt\"",
      Posix.toString (Posix.relDir "file.txt") == "file.txt") :
  {-# LINE 756 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.relDir \"tmp\") == \"tmp\"",
      Posix.toString (Posix.relDir "tmp") == "tmp") :
  {-# LINE 762 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absFile \"/file.txt\") == \"/file.txt\"",
      Posix.toString (Posix.absFile "/file.txt") == "/file.txt") :
  {-# LINE 763 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absFile \"/tmp\") == \"/tmp\"",
      Posix.toString (Posix.absFile "/tmp") == "/tmp") :
  {-# LINE 769 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absDir \"/file.txt\") == \"/file.txt\"",
      Posix.toString (Posix.absDir "/file.txt") == "/file.txt") :
  {-# LINE 770 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.absDir \"/tmp\") == \"/tmp\"",
      Posix.toString (Posix.absDir "/tmp") == "/tmp") :
  {-# LINE 835 "src/System/Path/Internal.hs" #-}
  ("Posix.asPath \"/tmp\" == Posix.absDir \"/tmp\"",
      Posix.asPath "/tmp" == Posix.absDir "/tmp") :
  {-# LINE 836 "src/System/Path/Internal.hs" #-}
  ("Posix.asPath \"file.txt\" == Posix.relFile \"file.txt\"",
      Posix.asPath "file.txt" == Posix.relFile "file.txt") :
  {-# LINE 837 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Posix.asAbsDir \"/tmp\")",
      Path.isAbsolute (Posix.asAbsDir "/tmp")) :
  {-# LINE 838 "src/System/Path/Internal.hs" #-}
  ("Path.isRelative (Posix.asRelDir \"/tmp\")",
      Path.isRelative (Posix.asRelDir "/tmp")) :
  {-# LINE 839 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asPath \"/tmp\" :: Posix.AbsDir) == \"/tmp\"",
      Posix.toString (Posix.asPath "/tmp" :: Posix.AbsDir) == "/tmp") :
  {-# LINE 840 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asPath \"/tmp\" :: Posix.RelDir) == \"tmp\"",
      Posix.toString (Posix.asPath "/tmp" :: Posix.RelDir) == "tmp") :
  {-# LINE 841 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.asPath \"\\\\tmp\" :: Windows.AbsDir) == \"\\\\tmp\"",
      Windows.toString (Windows.asPath "\\tmp" :: Windows.AbsDir) == "\\tmp") :
  {-# LINE 842 "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 843 "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 844 "src/System/Path/Internal.hs" #-}
  ("Windows.toString (Windows.asPath \"tmp\" :: Windows.RelDir) == \"tmp\"",
      Windows.toString (Windows.asPath "tmp" :: Windows.RelDir) == "tmp") :
  {-# LINE 852 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelFile \"file.txt\") == \"file.txt\"",
      Posix.toString (Posix.asRelFile "file.txt") == "file.txt") :
  {-# LINE 853 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelFile \"/file.txt\") == \"file.txt\"",
      Posix.toString (Posix.asRelFile "/file.txt") == "file.txt") :
  {-# LINE 854 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelFile \"tmp\") == \"tmp\"",
      Posix.toString (Posix.asRelFile "tmp") == "tmp") :
  {-# LINE 855 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelFile \"/tmp\") == \"tmp\"",
      Posix.toString (Posix.asRelFile "/tmp") == "tmp") :
  {-# LINE 861 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \".\") == \".\"",
      Posix.toString (Posix.asRelDir ".") == ".") :
  {-# LINE 862 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \"file.txt\") == \"file.txt\"",
      Posix.toString (Posix.asRelDir "file.txt") == "file.txt") :
  {-# LINE 863 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \"/file.txt\") == \"file.txt\"",
      Posix.toString (Posix.asRelDir "/file.txt") == "file.txt") :
  {-# LINE 864 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \"tmp\") == \"tmp\"",
      Posix.toString (Posix.asRelDir "tmp") == "tmp") :
  {-# LINE 865 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asRelDir \"/tmp\") == \"tmp\"",
      Posix.toString (Posix.asRelDir "/tmp") == "tmp") :
  {-# LINE 871 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asAbsFile \"/file.txt\") == \"/file.txt\"",
      Posix.toString (Posix.asAbsFile "/file.txt") == "/file.txt") :
  {-# LINE 872 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asAbsFile \"/tmp\") == \"/tmp\"",
      Posix.toString (Posix.asAbsFile "/tmp") == "/tmp") :
  {-# LINE 878 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asAbsDir \"/file.txt\") == \"/file.txt\"",
      Posix.toString (Posix.asAbsDir "/file.txt") == "/file.txt") :
  {-# LINE 879 "src/System/Path/Internal.hs" #-}
  ("Posix.toString (Posix.asAbsDir \"/tmp\") == \"/tmp\"",
      Posix.toString (Posix.asAbsDir "/tmp") == "/tmp") :
  {-# LINE 916 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"/tmp\" == Left (Posix.absDir \"/tmp\")",
      Path.mkPathAbsOrRel "/tmp" == Left (Posix.absDir "/tmp")) :
  {-# LINE 917 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel  \"tmp\" == Right (Posix.relDir \"tmp\")",
      Path.mkPathAbsOrRel  "tmp" == Right (Posix.relDir "tmp")) :
  {-# LINE 918 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"\\\\tmp\" == Left (Windows.absDir \"\\\\tmp\")",
      Path.mkPathAbsOrRel "\\tmp" == Left (Windows.absDir "\\tmp")) :
  {-# LINE 919 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"d:\\\\tmp\" == Left (Windows.absDir \"d:\\\\tmp\")",
      Path.mkPathAbsOrRel "d:\\tmp" == Left (Windows.absDir "d:\\tmp")) :
  {-# LINE 920 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"d:tmp\" == Left (Windows.absDir \"d:tmp\")",
      Path.mkPathAbsOrRel "d:tmp" == Left (Windows.absDir "d:tmp")) :
  {-# LINE 921 "src/System/Path/Internal.hs" #-}
  ("Path.mkPathAbsOrRel \"tmp\" == Right (Windows.relDir \"tmp\")",
      Path.mkPathAbsOrRel "tmp" == Right (Windows.relDir "tmp")) :
  {-# LINE 951 "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 952 "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 1089 "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 1090 "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 1091 "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 1092 "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 1093 "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 1094 "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 1095 "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 1096 "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 1097 "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 1124 "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 1125 "src/System/Path/Internal.hs" #-}
  ("Path.addExtension (relFile \"file.\") \".bib\" == Posix.relFile \"file..bib\"",
      Path.addExtension (relFile "file.") ".bib" == Posix.relFile "file..bib") :
  {-# LINE 1126 "src/System/Path/Internal.hs" #-}
  ("Path.addExtension (relFile \"file\") \".bib\" == Posix.relFile \"file.bib\"",
      Path.addExtension (relFile "file") ".bib" == Posix.relFile "file.bib") :
  {-# LINE 1127 "src/System/Path/Internal.hs" #-}
  ("Path.addExtension Path.emptyFile \"bib\" == Posix.relFile \".bib\"",
      Path.addExtension Path.emptyFile "bib" == Posix.relFile ".bib") :
  {-# LINE 1128 "src/System/Path/Internal.hs" #-}
  ("Path.addExtension Path.emptyFile \".bib\" == Posix.relFile \".bib\"",
      Path.addExtension Path.emptyFile ".bib" == Posix.relFile ".bib") :
  {-# LINE 1129 "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 1144 "src/System/Path/Internal.hs" #-}
  ("Path.dropExtension x == fst (Path.splitExtension x)",
      Path.dropExtension x == fst (Path.splitExtension x)) :
  {-# LINE 1150 "src/System/Path/Internal.hs" #-}
  ("not $ Path.hasAnExtension (Path.dropExtensions x)",
      not $ Path.hasAnExtension (Path.dropExtensions x)) :
  {-# LINE 1161 "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 1162 "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 1163 "src/System/Path/Internal.hs" #-}
  ("Path.replaceExtension (relFile \"file\") \".bob\" == Posix.relFile \"file.bob\"",
      Path.replaceExtension (relFile "file") ".bob" == Posix.relFile "file.bob") :
  {-# LINE 1164 "src/System/Path/Internal.hs" #-}
  ("Path.replaceExtension (relFile \"file.txt\") \"\" == Posix.relFile \"file\"",
      Path.replaceExtension (relFile "file.txt") "" == Posix.relFile "file") :
  {-# LINE 1165 "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 1182 "src/System/Path/Internal.hs" #-}
  ("uncurry (<.>) (Path.splitExtension x) == x",
      uncurry (<.>) (Path.splitExtension x) == x) :
  {-# LINE 1183 "src/System/Path/Internal.hs" #-}
  ("uncurry Path.addExtension (Path.splitExtension x) == x",
      uncurry Path.addExtension (Path.splitExtension x) == x) :
  {-# LINE 1184 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \"file.txt\") == (Posix.relFile \"file\",\".txt\")",
      Path.splitExtension (relFile "file.txt") == (Posix.relFile "file",".txt")) :
  {-# LINE 1185 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \".bashrc\") == (Posix.emptyFile, \".bashrc\")",
      Path.splitExtension (relFile ".bashrc") == (Posix.emptyFile, ".bashrc")) :
  {-# LINE 1186 "src/System/Path/Internal.hs" #-}
  ("Path.splitExtension (relFile \"file\") == (Posix.relFile \"file\",\"\")",
      Path.splitExtension (relFile "file") == (Posix.relFile "file","")) :
  {-# LINE 1187 "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 1188 "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 1189 "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 1190 "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 1196 "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 1212 "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 1213 "src/System/Path/Internal.hs" #-}
  ("Path.takeBaseName (relFile \"./myfile.txt\") == Posix.relFile \"myfile\"",
      Path.takeBaseName (relFile "./myfile.txt") == Posix.relFile "myfile") :
  {-# LINE 1214 "src/System/Path/Internal.hs" #-}
  ("Path.takeBaseName (relFile \"myfile.txt\") == Posix.relFile \"myfile\"",
      Path.takeBaseName (relFile "myfile.txt") == Posix.relFile "myfile") :
  {-# LINE 1223 "src/System/Path/Internal.hs" #-}
  ("Path.takeExtension x == snd (Path.splitExtension x)",
      Path.takeExtension x == snd (Path.splitExtension x)) :
  {-# LINE 1224 "src/System/Path/Internal.hs" #-}
  ("Path.takeExtension (Path.addExtension x \"ext\") == \".ext\"",
      Path.takeExtension (Path.addExtension x "ext") == ".ext") :
  {-# LINE 1225 "src/System/Path/Internal.hs" #-}
  ("Path.takeExtension (Path.replaceExtension x \"ext\") == \".ext\"",
      Path.takeExtension (Path.replaceExtension x "ext") == ".ext") :
  {-# LINE 1231 "src/System/Path/Internal.hs" #-}
  ("Path.takeExtensions (Posix.relFile \"file.tar.gz\") == \".tar.gz\"",
      Path.takeExtensions (Posix.relFile "file.tar.gz") == ".tar.gz") :
  {-# LINE 1237 "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 1238 "src/System/Path/Internal.hs" #-}
  ("Path.takeFileName (relFile \"./myfile.txt\") == Posix.relFile \"myfile.txt\"",
      Path.takeFileName (relFile "./myfile.txt") == Posix.relFile "myfile.txt") :
  {-# LINE 1239 "src/System/Path/Internal.hs" #-}
  ("Path.takeFileName (relFile \"myfile.txt\") == Posix.relFile \"myfile.txt\"",
      Path.takeFileName (relFile "myfile.txt") == Posix.relFile "myfile.txt") :
  {-# LINE 1256 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"abc/def\" \"abc/def\"",
            Posix.equalFilePath "abc/def" "abc/def") :
  {-# LINE 1257 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"abc/def\" \"abc//def\"",
            Posix.equalFilePath "abc/def" "abc//def") :
  {-# LINE 1258 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"/tmp/\" \"/tmp\"",
            Posix.equalFilePath "/tmp/" "/tmp") :
  {-# LINE 1259 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"/tmp\" \"//tmp\"",
            Posix.equalFilePath "/tmp" "//tmp") :
  {-# LINE 1260 "src/System/Path/Internal.hs" #-}
  ("      Posix.equalFilePath \"/tmp\" \"///tmp\"",
            Posix.equalFilePath "/tmp" "///tmp") :
  {-# LINE 1261 "src/System/Path/Internal.hs" #-}
  ("not $ Posix.equalFilePath \"abc\" \"def\"",
      not $ Posix.equalFilePath "abc" "def") :
  {-# LINE 1262 "src/System/Path/Internal.hs" #-}
  ("not $ Posix.equalFilePath \"/tmp\" \"tmp\"",
      not $ Posix.equalFilePath "/tmp" "tmp") :
  {-# LINE 1263 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"abc\\\\def\" \"abc\\\\def\"",
            Windows.equalFilePath "abc\\def" "abc\\def") :
  {-# LINE 1264 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"abc\\\\def\" \"abc\\\\\\\\def\"",
            Windows.equalFilePath "abc\\def" "abc\\\\def") :
  {-# LINE 1265 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"file\" \"File\"",
            Windows.equalFilePath "file" "File") :
  {-# LINE 1266 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"\\\\file\" \"\\\\\\\\file\"",
            Windows.equalFilePath "\\file" "\\\\file") :
  {-# LINE 1267 "src/System/Path/Internal.hs" #-}
  ("      Windows.equalFilePath \"\\\\file\" \"\\\\\\\\\\\\file\"",
            Windows.equalFilePath "\\file" "\\\\\\file") :
  {-# LINE 1268 "src/System/Path/Internal.hs" #-}
  ("not $ Windows.equalFilePath \"abc\" \"def\"",
      not $ Windows.equalFilePath "abc" "def") :
  {-# LINE 1269 "src/System/Path/Internal.hs" #-}
  ("not $ Windows.equalFilePath \"file\" \"dir\"",
      not $ Windows.equalFilePath "file" "dir") :
  {-# LINE 1282 "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 1283 "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 1289 "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 1295 "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 1296 "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 1315 "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 1316 "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 1317 "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 1318 "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 1319 "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 1330 "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 1331 "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 1332 "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 1346 "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 1347 "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 1348 "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 1370 "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 1371 "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 1372 "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 1457 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Posix.absFile \"/fred\")",
      Path.isAbsolute (Posix.absFile "/fred")) :
  {-# LINE 1458 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Windows.absFile \"\\\\fred\")",
      Path.isAbsolute (Windows.absFile "\\fred")) :
  {-# LINE 1459 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Windows.absFile \"c:\\\\fred\")",
      Path.isAbsolute (Windows.absFile "c:\\fred")) :
  {-# LINE 1460 "src/System/Path/Internal.hs" #-}
  ("Path.isAbsolute (Windows.absFile \"c:fred\")",
      Path.isAbsolute (Windows.absFile "c:fred")) :
  {-# LINE 1467 "src/System/Path/Internal.hs" #-}
  ("Path.isRelative (Posix.relFile \"fred\")",
      Path.isRelative (Posix.relFile "fred")) :
  {-# LINE 1468 "src/System/Path/Internal.hs" #-}
  ("Path.isRelative (Windows.relFile \"fred\")",
      Path.isRelative (Windows.relFile "fred")) :
  {-# LINE 1493 "src/System/Path/Internal.hs" #-}
  ("null (Path.takeExtension x) == not (Path.hasAnExtension x)",
      null (Path.takeExtension x) == not (Path.hasAnExtension x)) :
  {-# LINE 1499 "src/System/Path/Internal.hs" #-}
  ("Path.hasExtension \".hs\" (Posix.relFile \"MyCode.hs\")",
      Path.hasExtension ".hs" (Posix.relFile "MyCode.hs")) :
  {-# LINE 1500 "src/System/Path/Internal.hs" #-}
  ("Path.hasExtension \".hs\" (Posix.relFile \"MyCode.bak.hs\")",
      Path.hasExtension ".hs" (Posix.relFile "MyCode.bak.hs")) :
  {-# LINE 1501 "src/System/Path/Internal.hs" #-}
  ("not $ Path.hasExtension \".hs\" (Posix.relFile \"MyCode.hs.bak\")",
      not $ Path.hasExtension ".hs" (Posix.relFile "MyCode.hs.bak")) :
  {-# LINE 1511 "src/System/Path/Internal.hs" #-}
  ("Posix.extSeparator == '.'",
      Posix.extSeparator == '.') :
  {-# LINE 1522 "src/System/Path/Internal.hs" #-}
  ("Posix.isExtSeparator a == (a == Posix.extSeparator)",
      Posix.isExtSeparator a == (a == Posix.extSeparator)) :
  {-# LINE 1528 "src/System/Path/Internal.hs" #-}
  ("Posix.isSearchPathSeparator a == (a == Posix.searchPathSeparator)",
      Posix.isSearchPathSeparator a == (a == Posix.searchPathSeparator)) :
  {-# LINE 1544 "src/System/Path/Internal.hs" #-}
  ("Path.genericAddExtension (absDir \"/\") \"x\" == Posix.absDir \"/.x\"",
      Path.genericAddExtension (absDir "/") "x" == Posix.absDir "/.x") :
  {-# LINE 1545 "src/System/Path/Internal.hs" #-}
  ("Path.genericAddExtension (absDir \"/a\") \"x\" == Posix.absDir \"/a.x\"",
      Path.genericAddExtension (absDir "/a") "x" == Posix.absDir "/a.x") :
  {-# LINE 1546 "src/System/Path/Internal.hs" #-}
  ("Path.genericAddExtension Path.emptyFile \"x\" == Posix.relFile \".x\"",
      Path.genericAddExtension Path.emptyFile "x" == Posix.relFile ".x") :
  {-# LINE 1547 "src/System/Path/Internal.hs" #-}
  ("Path.genericAddExtension Path.emptyFile \"\" == Posix.emptyFile",
      Path.genericAddExtension Path.emptyFile "" == Posix.emptyFile) :
  {-# LINE 1685 "src/System/Path/Internal.hs" #-}
  ("Posix.isPathSeparator Posix.pathSeparator",
          Posix.isPathSeparator Posix.pathSeparator) :
  {-# LINE 1690 "src/System/Path/Internal.hs" #-}
  ("Posix.pathSeparator `elem` Posix.pathSeparators",
          Posix.pathSeparator `elem` Posix.pathSeparators) :
  {-# LINE 1697 "src/System/Path/Internal.hs" #-}
  ("Posix.isPathSeparator a == (a `elem` Posix.pathSeparators)",
          Posix.isPathSeparator a == (a `elem` Posix.pathSeparators)) :
  []