pathtype 0.8.1.3 → 0.8.1.4
raw patch · 5 files changed
+364/−364 lines, 5 filesdep ~basedep ~semigroups
Dependency ranges changed: base, semigroups
Files
- pathtype.cabal +10/−8
- src/System/Path/Internal.hs +1/−2
- src/System/Path/RegularExpression.hs +1/−2
- test/Test/Posix/System/Path/Internal.hs +176/−176
- test/Test/Windows/System/Path/Internal.hs +176/−176
pathtype.cabal view
@@ -1,6 +1,6 @@ Cabal-Version: 2.2 Name: pathtype-Version: 0.8.1.3+Version: 0.8.1.4 Synopsis: Type-safe replacement for System.FilePath etc Description: This package provides type-safe access to filepath manipulations.@@ -62,19 +62,21 @@ HomePage: https://hub.darcs.net/thielema/pathtype/ Build-Type: Simple Extra-Source-Files:- CHANGELOG README.md posix/System/Path/Host.hs windows/System/Path/Host.hs directory/pre-1.2/System/Path/ModificationTime.hs directory/post-incl-1.2/System/Path/ModificationTime.hs +Extra-Doc-Files:+ CHANGELOG+ Source-Repository head Type: darcs Location: https://hub.darcs.net/thielema/pathtype/ Source-Repository this- Tag: 0.8.1.3+ Tag: 0.8.1.4 Type: darcs Location: https://hub.darcs.net/thielema/pathtype/ @@ -86,13 +88,13 @@ Build-Depends: utility-ht >=0.0.11 && <0.1, doctest-exitcode-stdio >=0.0 && <0.1,- QuickCheck >= 2.1.0.1 && < 3,- deepseq >= 1.3 && <1.6,- time >= 1.0 && < 2,+ QuickCheck >=2.1.0.1 && <3,+ deepseq >=1.3 && <1.7,+ time >=1.0 && <2, transformers >=0.3 && <0.7,- semigroups >=0.1 && <1.0,+ semigroups >=0.1 && <1, tagged >=0.7 && <0.9,- base >= 4 && < 5+ base >=4.11 && <5 If flag(old-time) Build-Depends: directory >= 1 && < 1.2, old-time >= 1.0 && < 2
src/System/Path/Internal.hs view
@@ -178,7 +178,7 @@ import Data.Maybe.HT (toMaybe) import Data.Maybe (fromMaybe, maybeToList) import Data.Tuple.HT (mapFst, mapSnd)-import Data.Monoid (Monoid(mempty, mappend, mconcat), Endo(Endo), appEndo)+import Data.Monoid (Monoid(mempty, mconcat), Endo(Endo), appEndo) import Data.Semigroup (Semigroup(sconcat, (<>)), ) import Data.Char (isSpace) import Data.Ord.HT (comparing)@@ -999,7 +999,6 @@ instance (Class.Rel ar, Class.Dir fd) => Monoid (Path os ar fd) where mempty = Path Class.relVar [] Class.dirVar- mappend (Path r pcs0 _dir) (Path _rel pcs1 d) = Path r (pcs0 ++ pcs1) d mconcat paths = Path Class.relVar (concatMap (\(Path _rel pcs _dir) -> pcs) paths) Class.dirVar
src/System/Path/RegularExpression.hs view
@@ -5,7 +5,7 @@ import Control.Applicative (liftA2, (<|>)) import qualified Data.List.HT as ListHT-import Data.Monoid (Monoid, mempty, mappend)+import Data.Monoid (Monoid, mempty) import Data.Semigroup (Semigroup, (<>)) import Data.Maybe (fromMaybe) @@ -17,7 +17,6 @@ instance Monoid (Parser a) where mempty = Parser $ return []- mappend = (<>) infixr 5 -|-
test/Test/Posix/System/Path/Internal.hs view
@@ -472,573 +472,573 @@ {-# LINE 868 "src/System/Path/Internal.hs" #-} Path.mkAbsPath (absDir "/tmp") "/etc/foo.txt" == Posix.absFile "/etc/foo.txt" )+ DocTest.printPrefix "System.Path.Internal:1009: "+{-# LINE 1009 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1009 "src/System/Path/Internal.hs" #-}+ Posix.toString (Posix.absDir "/tmp" </> Posix.relFile "file.txt") == "/tmp/file.txt"+ ) DocTest.printPrefix "System.Path.Internal:1010: " {-# LINE 1010 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1010 "src/System/Path/Internal.hs" #-}- Posix.toString (Posix.absDir "/tmp" </> Posix.relFile "file.txt") == "/tmp/file.txt"+ Posix.toString (Posix.absDir "/tmp" </> Posix.relDir "dir" </> Posix.relFile "file.txt") == "/tmp/dir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1011: " {-# LINE 1011 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1011 "src/System/Path/Internal.hs" #-}- Posix.toString (Posix.absDir "/tmp" </> Posix.relDir "dir" </> Posix.relFile "file.txt") == "/tmp/dir/file.txt"+ Posix.toString (Posix.relDir "dir" </> Posix.relFile "file.txt") == "dir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1012: " {-# LINE 1012 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1012 "src/System/Path/Internal.hs" #-}- Posix.toString (Posix.relDir "dir" </> Posix.relFile "file.txt") == "dir/file.txt"+ Windows.toString (Windows.absDir "\\tmp" </> Windows.relFile "file.txt") == "\\tmp\\file.txt" ) DocTest.printPrefix "System.Path.Internal:1013: " {-# LINE 1013 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1013 "src/System/Path/Internal.hs" #-}- Windows.toString (Windows.absDir "\\tmp" </> Windows.relFile "file.txt") == "\\tmp\\file.txt"+ Windows.toString (Windows.absDir "c:\\tmp" </> Windows.relFile "file.txt") == "c:\\tmp\\file.txt" ) DocTest.printPrefix "System.Path.Internal:1014: " {-# LINE 1014 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1014 "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" ) DocTest.printPrefix "System.Path.Internal:1015: " {-# LINE 1015 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1015 "src/System/Path/Internal.hs" #-}- Windows.toString (Windows.absDir "c: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" ) DocTest.printPrefix "System.Path.Internal:1016: " {-# LINE 1016 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1016 "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" ) DocTest.printPrefix "System.Path.Internal:1017: " {-# LINE 1017 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1017 "src/System/Path/Internal.hs" #-}- Windows.toString (Windows.absDir "c:" </> Windows.relDir "tmp" </> Windows.relFile "file.txt") == "c:tmp\\file.txt"+ Windows.toString (Windows.relDir "dir" </> Windows.relFile "file.txt") == "dir\\file.txt" )- DocTest.printPrefix "System.Path.Internal:1018: "-{-# LINE 1018 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1044: "+{-# LINE 1044 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1018 "src/System/Path/Internal.hs" #-}- Windows.toString (Windows.relDir "dir" </> Windows.relFile "file.txt") == "dir\\file.txt"+{-# LINE 1044 "src/System/Path/Internal.hs" #-}+ Path.addExtension (relFile "file.txt") "bib" == Posix.relFile "file.txt.bib" ) DocTest.printPrefix "System.Path.Internal:1045: " {-# LINE 1045 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1045 "src/System/Path/Internal.hs" #-}- Path.addExtension (relFile "file.txt") "bib" == Posix.relFile "file.txt.bib"+ Path.addExtension (relFile "file.") ".bib" == Posix.relFile "file..bib" ) DocTest.printPrefix "System.Path.Internal:1046: " {-# LINE 1046 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1046 "src/System/Path/Internal.hs" #-}- Path.addExtension (relFile "file.") ".bib" == Posix.relFile "file..bib"+ Path.addExtension (relFile "file") ".bib" == Posix.relFile "file.bib" ) DocTest.printPrefix "System.Path.Internal:1047: " {-# LINE 1047 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1047 "src/System/Path/Internal.hs" #-}- Path.addExtension (relFile "file") ".bib" == Posix.relFile "file.bib"+ Path.addExtension Path.emptyFile "bib" == Posix.relFile ".bib" ) DocTest.printPrefix "System.Path.Internal:1048: " {-# LINE 1048 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1048 "src/System/Path/Internal.hs" #-}- Path.addExtension Path.emptyFile "bib" == Posix.relFile ".bib"+ Path.addExtension Path.emptyFile ".bib" == Posix.relFile ".bib" ) DocTest.printPrefix "System.Path.Internal:1049: " {-# LINE 1049 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1049 "src/System/Path/Internal.hs" #-}- Path.addExtension Path.emptyFile ".bib" == Posix.relFile ".bib"- )- DocTest.printPrefix "System.Path.Internal:1050: "-{-# LINE 1050 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1050 "src/System/Path/Internal.hs" #-} Path.takeFileName (Path.addExtension Path.emptyFile "ext") == Posix.relFile ".ext" )- DocTest.printPrefix "System.Path.Internal:1057: "-{-# LINE 1057 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1056: "+{-# LINE 1056 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1057 "src/System/Path/Internal.hs" #-}+{-# LINE 1056 "src/System/Path/Internal.hs" #-} \p -> Path.combine Path.currentDir p == (p::Default.RelDir) )- DocTest.printPrefix "System.Path.Internal:1064: "-{-# LINE 1064 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1063: "+{-# LINE 1063 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1064 "src/System/Path/Internal.hs" #-}+{-# LINE 1063 "src/System/Path/Internal.hs" #-} forAllAbsRel $ \x -> Path.dropExtension x == fst (Path.splitExtension x) )- DocTest.printPrefix "System.Path.Internal:1070: "-{-# LINE 1070 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1069: "+{-# LINE 1069 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1070 "src/System/Path/Internal.hs" #-}+{-# LINE 1069 "src/System/Path/Internal.hs" #-} forAllAbsRel $ \x -> not $ Path.hasAnExtension (Path.dropExtensions x) )+ DocTest.printPrefix "System.Path.Internal:1080: "+{-# LINE 1080 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1080 "src/System/Path/Internal.hs" #-}+ Path.replaceExtension (relFile "file.txt") ".bob" == Posix.relFile "file.bob"+ ) DocTest.printPrefix "System.Path.Internal:1081: " {-# LINE 1081 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1081 "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" ) DocTest.printPrefix "System.Path.Internal:1082: " {-# LINE 1082 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1082 "src/System/Path/Internal.hs" #-}- Path.replaceExtension (relFile "file.txt") "bob" == Posix.relFile "file.bob"+ Path.replaceExtension (relFile "file") ".bob" == Posix.relFile "file.bob" ) DocTest.printPrefix "System.Path.Internal:1083: " {-# LINE 1083 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1083 "src/System/Path/Internal.hs" #-}- Path.replaceExtension (relFile "file") ".bob" == Posix.relFile "file.bob"+ Path.replaceExtension (relFile "file.txt") "" == Posix.relFile "file" ) DocTest.printPrefix "System.Path.Internal:1084: " {-# LINE 1084 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1084 "src/System/Path/Internal.hs" #-}- Path.replaceExtension (relFile "file.txt") "" == Posix.relFile "file"+ Path.replaceExtension (relFile "file.fred.bob") "txt" == Posix.relFile "file.fred.txt" )- DocTest.printPrefix "System.Path.Internal:1085: "-{-# LINE 1085 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1101: "+{-# LINE 1101 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1085 "src/System/Path/Internal.hs" #-}- Path.replaceExtension (relFile "file.fred.bob") "txt" == Posix.relFile "file.fred.txt"+{-# LINE 1101 "src/System/Path/Internal.hs" #-}+ forAllAbsRel $ \x -> uncurry (<.>) (Path.splitExtension x) == x ) DocTest.printPrefix "System.Path.Internal:1102: " {-# LINE 1102 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1102 "src/System/Path/Internal.hs" #-}- forAllAbsRel $ \x -> uncurry (<.>) (Path.splitExtension x) == x+ forAllAbsRel $ \x -> uncurry Path.addExtension (Path.splitExtension x) == x ) DocTest.printPrefix "System.Path.Internal:1103: " {-# LINE 1103 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1103 "src/System/Path/Internal.hs" #-}- forAllAbsRel $ \x -> uncurry Path.addExtension (Path.splitExtension x) == x+ Path.splitExtension (relFile "file.txt") == (Posix.relFile "file",".txt") ) DocTest.printPrefix "System.Path.Internal:1104: " {-# LINE 1104 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1104 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file.txt") == (Posix.relFile "file",".txt")+ Path.splitExtension (relFile ".bashrc") == (Posix.emptyFile, ".bashrc") ) DocTest.printPrefix "System.Path.Internal:1105: " {-# LINE 1105 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1105 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile ".bashrc") == (Posix.emptyFile, ".bashrc")+ Path.splitExtension (relFile "file") == (Posix.relFile "file","") ) DocTest.printPrefix "System.Path.Internal:1106: " {-# LINE 1106 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1106 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file") == (Posix.relFile "file","")+ Path.splitExtension (relFile "file/file.txt") == (Posix.relFile "file/file",".txt") ) DocTest.printPrefix "System.Path.Internal:1107: " {-# LINE 1107 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1107 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file/file.txt") == (Posix.relFile "file/file",".txt")+ Path.splitExtension (relFile "file.txt/boris") == (Posix.relFile "file.txt/boris","") ) DocTest.printPrefix "System.Path.Internal:1108: " {-# LINE 1108 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1108 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file.txt/boris") == (Posix.relFile "file.txt/boris","")+ Path.splitExtension (relFile "file.txt/boris.ext") == (Posix.relFile "file.txt/boris",".ext") ) DocTest.printPrefix "System.Path.Internal:1109: " {-# LINE 1109 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1109 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file.txt/boris.ext") == (Posix.relFile "file.txt/boris",".ext")+ Path.splitExtension (relFile "file/path.txt.bob.fred") == (Posix.relFile "file/path.txt.bob",".fred") )- DocTest.printPrefix "System.Path.Internal:1110: "-{-# LINE 1110 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1115: "+{-# LINE 1115 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1110 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file/path.txt.bob.fred") == (Posix.relFile "file/path.txt.bob",".fred")+{-# LINE 1115 "src/System/Path/Internal.hs" #-}+ Path.splitExtensions (relFile "file.tar.gz") == (Posix.relFile "file",".tar.gz") ) DocTest.printPrefix "System.Path.Internal:1116: " {-# LINE 1116 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1116 "src/System/Path/Internal.hs" #-}- Path.splitExtensions (relFile "file.tar.gz") == (Posix.relFile "file",".tar.gz")- )- DocTest.printPrefix "System.Path.Internal:1117: "-{-# LINE 1117 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1117 "src/System/Path/Internal.hs" #-} \p -> uncurry (<.>) (Path.splitExtension p) == (p::Default.AbsFile) )- DocTest.printPrefix "System.Path.Internal:1121: "-{-# LINE 1121 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1120: "+{-# LINE 1120 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1121 "src/System/Path/Internal.hs" #-}+{-# LINE 1120 "src/System/Path/Internal.hs" #-} \p -> uncurry Path.combine (Path.splitFileName p) == (p::Default.AbsFile) )+ DocTest.printPrefix "System.Path.Internal:1136: "+{-# LINE 1136 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1136 "src/System/Path/Internal.hs" #-}+ Path.takeBaseName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile"+ ) DocTest.printPrefix "System.Path.Internal:1137: " {-# LINE 1137 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1137 "src/System/Path/Internal.hs" #-}- Path.takeBaseName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile"+ Path.takeBaseName (relFile "./myfile.txt") == Posix.relFile "myfile" ) DocTest.printPrefix "System.Path.Internal:1138: " {-# LINE 1138 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1138 "src/System/Path/Internal.hs" #-}- Path.takeBaseName (relFile "./myfile.txt") == Posix.relFile "myfile"+ Path.takeBaseName (relFile "myfile.txt") == Posix.relFile "myfile" )- DocTest.printPrefix "System.Path.Internal:1139: "-{-# LINE 1139 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1157: "+{-# LINE 1157 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1139 "src/System/Path/Internal.hs" #-}- Path.takeBaseName (relFile "myfile.txt") == Posix.relFile "myfile"+{-# LINE 1157 "src/System/Path/Internal.hs" #-}+ forAllAbsRel $ \x -> Path.takeExtension x == snd (Path.splitExtension x) ) DocTest.printPrefix "System.Path.Internal:1158: " {-# LINE 1158 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1158 "src/System/Path/Internal.hs" #-}- forAllAbsRel $ \x -> Path.takeExtension x == snd (Path.splitExtension x)+ forAllAbsRel $ \x -> Path.takeExtension (Path.addExtension x "ext") == ".ext" ) DocTest.printPrefix "System.Path.Internal:1159: " {-# LINE 1159 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1159 "src/System/Path/Internal.hs" #-}- forAllAbsRel $ \x -> Path.takeExtension (Path.addExtension x "ext") == ".ext"- )- DocTest.printPrefix "System.Path.Internal:1160: "-{-# LINE 1160 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1160 "src/System/Path/Internal.hs" #-} forAllAbsRel $ \x -> Path.takeExtension (Path.replaceExtension x "ext") == ".ext" )- DocTest.printPrefix "System.Path.Internal:1166: "-{-# LINE 1166 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1165: "+{-# LINE 1165 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1166 "src/System/Path/Internal.hs" #-}+{-# LINE 1165 "src/System/Path/Internal.hs" #-} Path.takeExtensions (Posix.relFile "file.tar.gz") == ".tar.gz" )+ DocTest.printPrefix "System.Path.Internal:1171: "+{-# LINE 1171 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1171 "src/System/Path/Internal.hs" #-}+ Path.takeFileName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile.txt"+ ) DocTest.printPrefix "System.Path.Internal:1172: " {-# LINE 1172 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1172 "src/System/Path/Internal.hs" #-}- Path.takeFileName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile.txt"+ Path.takeFileName (relFile "./myfile.txt") == Posix.relFile "myfile.txt" ) DocTest.printPrefix "System.Path.Internal:1173: " {-# LINE 1173 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1173 "src/System/Path/Internal.hs" #-}- Path.takeFileName (relFile "./myfile.txt") == Posix.relFile "myfile.txt"+ Path.takeFileName (relFile "myfile.txt") == Posix.relFile "myfile.txt" ) DocTest.printPrefix "System.Path.Internal:1174: " {-# LINE 1174 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1174 "src/System/Path/Internal.hs" #-}- Path.takeFileName (relFile "myfile.txt") == Posix.relFile "myfile.txt"+ \p -> Path.toString (Path.takeFileName p) `isSuffixOf` Path.toString (p::Default.AbsFile) )- DocTest.printPrefix "System.Path.Internal:1175: "-{-# LINE 1175 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1203: "+{-# LINE 1203 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1175 "src/System/Path/Internal.hs" #-}- \p -> Path.toString (Path.takeFileName p) `isSuffixOf` Path.toString (p::Default.AbsFile)+{-# LINE 1203 "src/System/Path/Internal.hs" #-}+ Posix.equalFilePath "abc/def" "abc/def" ) DocTest.printPrefix "System.Path.Internal:1204: " {-# LINE 1204 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1204 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "abc/def" "abc/def"+ Posix.equalFilePath "abc/def" "abc//def" ) DocTest.printPrefix "System.Path.Internal:1205: " {-# LINE 1205 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1205 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "abc/def" "abc//def"+ Posix.equalFilePath "/tmp/" "/tmp" ) DocTest.printPrefix "System.Path.Internal:1206: " {-# LINE 1206 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1206 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "/tmp/" "/tmp"+ Posix.equalFilePath "/tmp" "//tmp" ) DocTest.printPrefix "System.Path.Internal:1207: " {-# LINE 1207 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1207 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "/tmp" "//tmp"+ Posix.equalFilePath "/tmp" "///tmp" ) DocTest.printPrefix "System.Path.Internal:1208: " {-# LINE 1208 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1208 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "/tmp" "///tmp"+ not $ Posix.equalFilePath "abc" "def" ) DocTest.printPrefix "System.Path.Internal:1209: " {-# LINE 1209 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1209 "src/System/Path/Internal.hs" #-}- not $ Posix.equalFilePath "abc" "def"+ not $ Posix.equalFilePath "/tmp" "tmp" ) DocTest.printPrefix "System.Path.Internal:1210: " {-# LINE 1210 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1210 "src/System/Path/Internal.hs" #-}- not $ Posix.equalFilePath "/tmp" "tmp"+ Windows.equalFilePath "abc\\def" "abc\\def" ) DocTest.printPrefix "System.Path.Internal:1211: " {-# LINE 1211 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1211 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "abc\\def" "abc\\def"+ Windows.equalFilePath "abc\\def" "abc\\\\def" ) DocTest.printPrefix "System.Path.Internal:1212: " {-# LINE 1212 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1212 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "abc\\def" "abc\\\\def"+ Windows.equalFilePath "file" "File" ) DocTest.printPrefix "System.Path.Internal:1213: " {-# LINE 1213 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1213 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "file" "File"+ Windows.equalFilePath "\\file" "\\\\file" ) DocTest.printPrefix "System.Path.Internal:1214: " {-# LINE 1214 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1214 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "\\file" "\\\\file"+ Windows.equalFilePath "\\file" "\\\\\\file" ) DocTest.printPrefix "System.Path.Internal:1215: " {-# LINE 1215 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1215 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "\\file" "\\\\\\file"+ not $ Windows.equalFilePath "abc" "def" ) DocTest.printPrefix "System.Path.Internal:1216: " {-# LINE 1216 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1216 "src/System/Path/Internal.hs" #-}- not $ Windows.equalFilePath "abc" "def"+ not $ Windows.equalFilePath "file" "dir" )- DocTest.printPrefix "System.Path.Internal:1217: "-{-# LINE 1217 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1229: "+{-# LINE 1229 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1217 "src/System/Path/Internal.hs" #-}- not $ Windows.equalFilePath "file" "dir"+{-# LINE 1229 "src/System/Path/Internal.hs" #-}+ Path.joinPath ["tmp","someDir","dir"] == Posix.relDir "tmp/someDir/dir" ) DocTest.printPrefix "System.Path.Internal:1230: " {-# LINE 1230 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1230 "src/System/Path/Internal.hs" #-}- Path.joinPath ["tmp","someDir","dir"] == Posix.relDir "tmp/someDir/dir"- )- DocTest.printPrefix "System.Path.Internal:1231: "-{-# LINE 1231 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1231 "src/System/Path/Internal.hs" #-} Path.joinPath ["tmp","someDir","file.txt"] == Posix.relFile "tmp/someDir/file.txt" )- DocTest.printPrefix "System.Path.Internal:1237: "-{-# LINE 1237 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1236: "+{-# LINE 1236 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1237 "src/System/Path/Internal.hs" #-}+{-# LINE 1236 "src/System/Path/Internal.hs" #-} Path.normalise (absFile "/tmp/fred/./jim/./file") == Posix.absFile "/tmp/fred/jim/file" )+ DocTest.printPrefix "System.Path.Internal:1242: "+{-# LINE 1242 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1242 "src/System/Path/Internal.hs" #-}+ Path.splitPath (Posix.absDir "/tmp/someDir/mydir.dir") == (True, map relDir ["tmp","someDir","mydir.dir"], Nothing)+ ) DocTest.printPrefix "System.Path.Internal:1243: " {-# LINE 1243 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1243 "src/System/Path/Internal.hs" #-}- Path.splitPath (Posix.absDir "/tmp/someDir/mydir.dir") == (True, map relDir ["tmp","someDir","mydir.dir"], Nothing)+ Path.splitPath (Posix.absFile "/tmp/someDir/myfile.txt") == (True, map relDir ["tmp","someDir"], Just $ relFile "myfile.txt") )- DocTest.printPrefix "System.Path.Internal:1244: "-{-# LINE 1244 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1259: "+{-# LINE 1259 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1244 "src/System/Path/Internal.hs" #-}- Path.splitPath (Posix.absFile "/tmp/someDir/myfile.txt") == (True, map relDir ["tmp","someDir"], Just $ relFile "myfile.txt")+{-# LINE 1259 "src/System/Path/Internal.hs" #-}+ Path.makeRelative (absDir "/tmp/somedir") (absFile "/tmp/somedir/anotherdir/file.txt") == Posix.relFile "anotherdir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1260: " {-# LINE 1260 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1260 "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") (absDir "/tmp/somedir/anotherdir/dir") == Posix.relDir "anotherdir/dir" ) DocTest.printPrefix "System.Path.Internal:1261: " {-# LINE 1261 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1261 "src/System/Path/Internal.hs" #-}- Path.makeRelative (absDir "/tmp/somedir") (absDir "/tmp/somedir/anotherdir/dir") == Posix.relDir "anotherdir/dir"+ Path.makeRelative (absDir "c:\\tmp\\somedir") (absFile "C:\\Tmp\\SomeDir\\AnotherDir\\File.txt") == Windows.relFile "AnotherDir\\File.txt" ) DocTest.printPrefix "System.Path.Internal:1262: " {-# LINE 1262 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1262 "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") (absDir "c:\\tmp\\somedir\\anotherdir\\dir") == Windows.relDir "anotherdir\\dir" ) DocTest.printPrefix "System.Path.Internal:1263: " {-# LINE 1263 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1263 "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" )- DocTest.printPrefix "System.Path.Internal:1264: "-{-# LINE 1264 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1290: "+{-# LINE 1290 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1264 "src/System/Path/Internal.hs" #-}- Path.makeRelative (absDir "c:tmp\\somedir") (absDir "c:tmp\\somedir\\anotherdir\\dir") == Windows.relDir "anotherdir\\dir"+{-# LINE 1290 "src/System/Path/Internal.hs" #-}+ Path.makeAbsolute (absDir "/tmp") (relFile "file.txt") == Posix.absFile "/tmp/file.txt" ) DocTest.printPrefix "System.Path.Internal:1291: " {-# LINE 1291 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1291 "src/System/Path/Internal.hs" #-}- Path.makeAbsolute (absDir "/tmp") (relFile "file.txt") == Posix.absFile "/tmp/file.txt"+ Path.makeAbsolute (absDir "/tmp") (relFile "adir/file.txt") == Posix.absFile "/tmp/adir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1292: " {-# LINE 1292 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1292 "src/System/Path/Internal.hs" #-}- Path.makeAbsolute (absDir "/tmp") (relFile "adir/file.txt") == Posix.absFile "/tmp/adir/file.txt"+ Path.makeAbsolute (absDir "/tmp") (relDir "adir/dir") == Posix.absDir "/tmp/adir/dir" ) DocTest.printPrefix "System.Path.Internal:1293: " {-# LINE 1293 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1293 "src/System/Path/Internal.hs" #-}- Path.makeAbsolute (absDir "/tmp") (relDir "adir/dir") == Posix.absDir "/tmp/adir/dir"+ \base p -> Default.toString p `isSuffixOf` Path.toString (Path.makeAbsolute base (Path.idFile p)) ) DocTest.printPrefix "System.Path.Internal:1294: " {-# LINE 1294 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1294 "src/System/Path/Internal.hs" #-}- \base p -> Default.toString p `isSuffixOf` Path.toString (Path.makeAbsolute base (Path.idFile p))+ \base p -> Default.toString base `isPrefixOf` Path.toString (Path.makeAbsolute base (Path.idFile p)) )- DocTest.printPrefix "System.Path.Internal:1295: "-{-# LINE 1295 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1316: "+{-# LINE 1316 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1295 "src/System/Path/Internal.hs" #-}- \base p -> Default.toString base `isPrefixOf` Path.toString (Path.makeAbsolute base (Path.idFile p))+{-# LINE 1316 "src/System/Path/Internal.hs" #-}+ Path.genericMakeAbsolute (absDir "/tmp") (relFile "file.txt") == Posix.absFile "/tmp/file.txt" ) DocTest.printPrefix "System.Path.Internal:1317: " {-# LINE 1317 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1317 "src/System/Path/Internal.hs" #-}- Path.genericMakeAbsolute (absDir "/tmp") (relFile "file.txt") == Posix.absFile "/tmp/file.txt"+ Path.genericMakeAbsolute (absDir "/tmp") (relFile "adir/file.txt") == Posix.absFile "/tmp/adir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1318: " {-# LINE 1318 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1318 "src/System/Path/Internal.hs" #-}- Path.genericMakeAbsolute (absDir "/tmp") (relFile "adir/file.txt") == Posix.absFile "/tmp/adir/file.txt"+ Path.genericMakeAbsolute (absDir "/tmp") (absFile "/adir/file.txt") == Posix.absFile "/adir/file.txt" )- DocTest.printPrefix "System.Path.Internal:1319: "-{-# LINE 1319 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1403: "+{-# LINE 1403 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1319 "src/System/Path/Internal.hs" #-}- Path.genericMakeAbsolute (absDir "/tmp") (absFile "/adir/file.txt") == Posix.absFile "/adir/file.txt"+{-# LINE 1403 "src/System/Path/Internal.hs" #-}+ Path.isAbsolute (Posix.absFile "/fred") ) DocTest.printPrefix "System.Path.Internal:1404: " {-# LINE 1404 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1404 "src/System/Path/Internal.hs" #-}- Path.isAbsolute (Posix.absFile "/fred")+ Path.isAbsolute (Windows.absFile "\\fred") ) DocTest.printPrefix "System.Path.Internal:1405: " {-# LINE 1405 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1405 "src/System/Path/Internal.hs" #-}- Path.isAbsolute (Windows.absFile "\\fred")+ Path.isAbsolute (Windows.absFile "c:\\fred") ) DocTest.printPrefix "System.Path.Internal:1406: " {-# LINE 1406 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1406 "src/System/Path/Internal.hs" #-}- Path.isAbsolute (Windows.absFile "c:\\fred")+ Path.isAbsolute (Windows.absFile "c:fred") )- DocTest.printPrefix "System.Path.Internal:1407: "-{-# LINE 1407 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1413: "+{-# LINE 1413 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1407 "src/System/Path/Internal.hs" #-}- Path.isAbsolute (Windows.absFile "c:fred")+{-# LINE 1413 "src/System/Path/Internal.hs" #-}+ Path.isRelative (Posix.relFile "fred") ) DocTest.printPrefix "System.Path.Internal:1414: " {-# LINE 1414 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1414 "src/System/Path/Internal.hs" #-}- Path.isRelative (Posix.relFile "fred")- )- DocTest.printPrefix "System.Path.Internal:1415: "-{-# LINE 1415 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1415 "src/System/Path/Internal.hs" #-} Path.isRelative (Windows.relFile "fred") )- DocTest.printPrefix "System.Path.Internal:1440: "-{-# LINE 1440 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1439: "+{-# LINE 1439 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1440 "src/System/Path/Internal.hs" #-}+{-# LINE 1439 "src/System/Path/Internal.hs" #-} forAllAbsRel $ \x -> null (Path.takeExtension x) == not (Path.hasAnExtension x) )+ DocTest.printPrefix "System.Path.Internal:1445: "+{-# LINE 1445 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1445 "src/System/Path/Internal.hs" #-}+ Path.hasExtension ".hs" (Posix.relFile "MyCode.hs")+ ) DocTest.printPrefix "System.Path.Internal:1446: " {-# LINE 1446 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1446 "src/System/Path/Internal.hs" #-}- Path.hasExtension ".hs" (Posix.relFile "MyCode.hs")+ Path.hasExtension ".hs" (Posix.relFile "MyCode.bak.hs") ) DocTest.printPrefix "System.Path.Internal:1447: " {-# LINE 1447 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1447 "src/System/Path/Internal.hs" #-}- Path.hasExtension ".hs" (Posix.relFile "MyCode.bak.hs")- )- DocTest.printPrefix "System.Path.Internal:1448: "-{-# LINE 1448 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1448 "src/System/Path/Internal.hs" #-} not $ Path.hasExtension ".hs" (Posix.relFile "MyCode.hs.bak") )- DocTest.printPrefix "System.Path.Internal:1458: "-{-# LINE 1458 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1457: "+{-# LINE 1457 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1458 "src/System/Path/Internal.hs" #-}+{-# LINE 1457 "src/System/Path/Internal.hs" #-} Posix.extSeparator == '.' )- DocTest.printPrefix "System.Path.Internal:1469: "-{-# LINE 1469 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1468: "+{-# LINE 1468 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1469 "src/System/Path/Internal.hs" #-}+{-# LINE 1468 "src/System/Path/Internal.hs" #-} \a -> Posix.isExtSeparator a == (a == Posix.extSeparator) )- DocTest.printPrefix "System.Path.Internal:1475: "-{-# LINE 1475 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1474: "+{-# LINE 1474 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1475 "src/System/Path/Internal.hs" #-}+{-# LINE 1474 "src/System/Path/Internal.hs" #-} \a -> Posix.isSearchPathSeparator a == (a == Posix.searchPathSeparator) )+ DocTest.printPrefix "System.Path.Internal:1490: "+{-# LINE 1490 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1490 "src/System/Path/Internal.hs" #-}+ Path.genericAddExtension (absDir "/") "x" == Posix.absDir "/.x"+ ) DocTest.printPrefix "System.Path.Internal:1491: " {-# LINE 1491 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1491 "src/System/Path/Internal.hs" #-}- Path.genericAddExtension (absDir "/") "x" == Posix.absDir "/.x"+ Path.genericAddExtension (absDir "/a") "x" == Posix.absDir "/a.x" ) DocTest.printPrefix "System.Path.Internal:1492: " {-# LINE 1492 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1492 "src/System/Path/Internal.hs" #-}- Path.genericAddExtension (absDir "/a") "x" == Posix.absDir "/a.x"+ Path.genericAddExtension Path.emptyFile "x" == Posix.relFile ".x" ) DocTest.printPrefix "System.Path.Internal:1493: " {-# LINE 1493 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1493 "src/System/Path/Internal.hs" #-}- Path.genericAddExtension Path.emptyFile "x" == Posix.relFile ".x"- )- DocTest.printPrefix "System.Path.Internal:1494: "-{-# LINE 1494 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1494 "src/System/Path/Internal.hs" #-} Path.genericAddExtension Path.emptyFile "" == Posix.emptyFile )
test/Test/Windows/System/Path/Internal.hs view
@@ -472,573 +472,573 @@ {-# LINE 868 "src/System/Path/Internal.hs" #-} Path.mkAbsPath (absDir "/tmp") "/etc/foo.txt" == Posix.absFile "/etc/foo.txt" )+ DocTest.printPrefix "System.Path.Internal:1009: "+{-# LINE 1009 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1009 "src/System/Path/Internal.hs" #-}+ Posix.toString (Posix.absDir "/tmp" </> Posix.relFile "file.txt") == "/tmp/file.txt"+ ) DocTest.printPrefix "System.Path.Internal:1010: " {-# LINE 1010 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1010 "src/System/Path/Internal.hs" #-}- Posix.toString (Posix.absDir "/tmp" </> Posix.relFile "file.txt") == "/tmp/file.txt"+ Posix.toString (Posix.absDir "/tmp" </> Posix.relDir "dir" </> Posix.relFile "file.txt") == "/tmp/dir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1011: " {-# LINE 1011 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1011 "src/System/Path/Internal.hs" #-}- Posix.toString (Posix.absDir "/tmp" </> Posix.relDir "dir" </> Posix.relFile "file.txt") == "/tmp/dir/file.txt"+ Posix.toString (Posix.relDir "dir" </> Posix.relFile "file.txt") == "dir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1012: " {-# LINE 1012 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1012 "src/System/Path/Internal.hs" #-}- Posix.toString (Posix.relDir "dir" </> Posix.relFile "file.txt") == "dir/file.txt"+ Windows.toString (Windows.absDir "\\tmp" </> Windows.relFile "file.txt") == "\\tmp\\file.txt" ) DocTest.printPrefix "System.Path.Internal:1013: " {-# LINE 1013 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1013 "src/System/Path/Internal.hs" #-}- Windows.toString (Windows.absDir "\\tmp" </> Windows.relFile "file.txt") == "\\tmp\\file.txt"+ Windows.toString (Windows.absDir "c:\\tmp" </> Windows.relFile "file.txt") == "c:\\tmp\\file.txt" ) DocTest.printPrefix "System.Path.Internal:1014: " {-# LINE 1014 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1014 "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" ) DocTest.printPrefix "System.Path.Internal:1015: " {-# LINE 1015 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1015 "src/System/Path/Internal.hs" #-}- Windows.toString (Windows.absDir "c: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" ) DocTest.printPrefix "System.Path.Internal:1016: " {-# LINE 1016 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1016 "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" ) DocTest.printPrefix "System.Path.Internal:1017: " {-# LINE 1017 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1017 "src/System/Path/Internal.hs" #-}- Windows.toString (Windows.absDir "c:" </> Windows.relDir "tmp" </> Windows.relFile "file.txt") == "c:tmp\\file.txt"+ Windows.toString (Windows.relDir "dir" </> Windows.relFile "file.txt") == "dir\\file.txt" )- DocTest.printPrefix "System.Path.Internal:1018: "-{-# LINE 1018 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1044: "+{-# LINE 1044 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1018 "src/System/Path/Internal.hs" #-}- Windows.toString (Windows.relDir "dir" </> Windows.relFile "file.txt") == "dir\\file.txt"+{-# LINE 1044 "src/System/Path/Internal.hs" #-}+ Path.addExtension (relFile "file.txt") "bib" == Posix.relFile "file.txt.bib" ) DocTest.printPrefix "System.Path.Internal:1045: " {-# LINE 1045 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1045 "src/System/Path/Internal.hs" #-}- Path.addExtension (relFile "file.txt") "bib" == Posix.relFile "file.txt.bib"+ Path.addExtension (relFile "file.") ".bib" == Posix.relFile "file..bib" ) DocTest.printPrefix "System.Path.Internal:1046: " {-# LINE 1046 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1046 "src/System/Path/Internal.hs" #-}- Path.addExtension (relFile "file.") ".bib" == Posix.relFile "file..bib"+ Path.addExtension (relFile "file") ".bib" == Posix.relFile "file.bib" ) DocTest.printPrefix "System.Path.Internal:1047: " {-# LINE 1047 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1047 "src/System/Path/Internal.hs" #-}- Path.addExtension (relFile "file") ".bib" == Posix.relFile "file.bib"+ Path.addExtension Path.emptyFile "bib" == Posix.relFile ".bib" ) DocTest.printPrefix "System.Path.Internal:1048: " {-# LINE 1048 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1048 "src/System/Path/Internal.hs" #-}- Path.addExtension Path.emptyFile "bib" == Posix.relFile ".bib"+ Path.addExtension Path.emptyFile ".bib" == Posix.relFile ".bib" ) DocTest.printPrefix "System.Path.Internal:1049: " {-# LINE 1049 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1049 "src/System/Path/Internal.hs" #-}- Path.addExtension Path.emptyFile ".bib" == Posix.relFile ".bib"- )- DocTest.printPrefix "System.Path.Internal:1050: "-{-# LINE 1050 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1050 "src/System/Path/Internal.hs" #-} Path.takeFileName (Path.addExtension Path.emptyFile "ext") == Posix.relFile ".ext" )- DocTest.printPrefix "System.Path.Internal:1057: "-{-# LINE 1057 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1056: "+{-# LINE 1056 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1057 "src/System/Path/Internal.hs" #-}+{-# LINE 1056 "src/System/Path/Internal.hs" #-} \p -> Path.combine Path.currentDir p == (p::Default.RelDir) )- DocTest.printPrefix "System.Path.Internal:1064: "-{-# LINE 1064 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1063: "+{-# LINE 1063 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1064 "src/System/Path/Internal.hs" #-}+{-# LINE 1063 "src/System/Path/Internal.hs" #-} forAllAbsRel $ \x -> Path.dropExtension x == fst (Path.splitExtension x) )- DocTest.printPrefix "System.Path.Internal:1070: "-{-# LINE 1070 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1069: "+{-# LINE 1069 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1070 "src/System/Path/Internal.hs" #-}+{-# LINE 1069 "src/System/Path/Internal.hs" #-} forAllAbsRel $ \x -> not $ Path.hasAnExtension (Path.dropExtensions x) )+ DocTest.printPrefix "System.Path.Internal:1080: "+{-# LINE 1080 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1080 "src/System/Path/Internal.hs" #-}+ Path.replaceExtension (relFile "file.txt") ".bob" == Posix.relFile "file.bob"+ ) DocTest.printPrefix "System.Path.Internal:1081: " {-# LINE 1081 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1081 "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" ) DocTest.printPrefix "System.Path.Internal:1082: " {-# LINE 1082 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1082 "src/System/Path/Internal.hs" #-}- Path.replaceExtension (relFile "file.txt") "bob" == Posix.relFile "file.bob"+ Path.replaceExtension (relFile "file") ".bob" == Posix.relFile "file.bob" ) DocTest.printPrefix "System.Path.Internal:1083: " {-# LINE 1083 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1083 "src/System/Path/Internal.hs" #-}- Path.replaceExtension (relFile "file") ".bob" == Posix.relFile "file.bob"+ Path.replaceExtension (relFile "file.txt") "" == Posix.relFile "file" ) DocTest.printPrefix "System.Path.Internal:1084: " {-# LINE 1084 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1084 "src/System/Path/Internal.hs" #-}- Path.replaceExtension (relFile "file.txt") "" == Posix.relFile "file"+ Path.replaceExtension (relFile "file.fred.bob") "txt" == Posix.relFile "file.fred.txt" )- DocTest.printPrefix "System.Path.Internal:1085: "-{-# LINE 1085 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1101: "+{-# LINE 1101 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1085 "src/System/Path/Internal.hs" #-}- Path.replaceExtension (relFile "file.fred.bob") "txt" == Posix.relFile "file.fred.txt"+{-# LINE 1101 "src/System/Path/Internal.hs" #-}+ forAllAbsRel $ \x -> uncurry (<.>) (Path.splitExtension x) == x ) DocTest.printPrefix "System.Path.Internal:1102: " {-# LINE 1102 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1102 "src/System/Path/Internal.hs" #-}- forAllAbsRel $ \x -> uncurry (<.>) (Path.splitExtension x) == x+ forAllAbsRel $ \x -> uncurry Path.addExtension (Path.splitExtension x) == x ) DocTest.printPrefix "System.Path.Internal:1103: " {-# LINE 1103 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1103 "src/System/Path/Internal.hs" #-}- forAllAbsRel $ \x -> uncurry Path.addExtension (Path.splitExtension x) == x+ Path.splitExtension (relFile "file.txt") == (Posix.relFile "file",".txt") ) DocTest.printPrefix "System.Path.Internal:1104: " {-# LINE 1104 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1104 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file.txt") == (Posix.relFile "file",".txt")+ Path.splitExtension (relFile ".bashrc") == (Posix.emptyFile, ".bashrc") ) DocTest.printPrefix "System.Path.Internal:1105: " {-# LINE 1105 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1105 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile ".bashrc") == (Posix.emptyFile, ".bashrc")+ Path.splitExtension (relFile "file") == (Posix.relFile "file","") ) DocTest.printPrefix "System.Path.Internal:1106: " {-# LINE 1106 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1106 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file") == (Posix.relFile "file","")+ Path.splitExtension (relFile "file/file.txt") == (Posix.relFile "file/file",".txt") ) DocTest.printPrefix "System.Path.Internal:1107: " {-# LINE 1107 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1107 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file/file.txt") == (Posix.relFile "file/file",".txt")+ Path.splitExtension (relFile "file.txt/boris") == (Posix.relFile "file.txt/boris","") ) DocTest.printPrefix "System.Path.Internal:1108: " {-# LINE 1108 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1108 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file.txt/boris") == (Posix.relFile "file.txt/boris","")+ Path.splitExtension (relFile "file.txt/boris.ext") == (Posix.relFile "file.txt/boris",".ext") ) DocTest.printPrefix "System.Path.Internal:1109: " {-# LINE 1109 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1109 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file.txt/boris.ext") == (Posix.relFile "file.txt/boris",".ext")+ Path.splitExtension (relFile "file/path.txt.bob.fred") == (Posix.relFile "file/path.txt.bob",".fred") )- DocTest.printPrefix "System.Path.Internal:1110: "-{-# LINE 1110 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1115: "+{-# LINE 1115 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1110 "src/System/Path/Internal.hs" #-}- Path.splitExtension (relFile "file/path.txt.bob.fred") == (Posix.relFile "file/path.txt.bob",".fred")+{-# LINE 1115 "src/System/Path/Internal.hs" #-}+ Path.splitExtensions (relFile "file.tar.gz") == (Posix.relFile "file",".tar.gz") ) DocTest.printPrefix "System.Path.Internal:1116: " {-# LINE 1116 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1116 "src/System/Path/Internal.hs" #-}- Path.splitExtensions (relFile "file.tar.gz") == (Posix.relFile "file",".tar.gz")- )- DocTest.printPrefix "System.Path.Internal:1117: "-{-# LINE 1117 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1117 "src/System/Path/Internal.hs" #-} \p -> uncurry (<.>) (Path.splitExtension p) == (p::Default.AbsFile) )- DocTest.printPrefix "System.Path.Internal:1121: "-{-# LINE 1121 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1120: "+{-# LINE 1120 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1121 "src/System/Path/Internal.hs" #-}+{-# LINE 1120 "src/System/Path/Internal.hs" #-} \p -> uncurry Path.combine (Path.splitFileName p) == (p::Default.AbsFile) )+ DocTest.printPrefix "System.Path.Internal:1136: "+{-# LINE 1136 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1136 "src/System/Path/Internal.hs" #-}+ Path.takeBaseName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile"+ ) DocTest.printPrefix "System.Path.Internal:1137: " {-# LINE 1137 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1137 "src/System/Path/Internal.hs" #-}- Path.takeBaseName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile"+ Path.takeBaseName (relFile "./myfile.txt") == Posix.relFile "myfile" ) DocTest.printPrefix "System.Path.Internal:1138: " {-# LINE 1138 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1138 "src/System/Path/Internal.hs" #-}- Path.takeBaseName (relFile "./myfile.txt") == Posix.relFile "myfile"+ Path.takeBaseName (relFile "myfile.txt") == Posix.relFile "myfile" )- DocTest.printPrefix "System.Path.Internal:1139: "-{-# LINE 1139 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1157: "+{-# LINE 1157 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1139 "src/System/Path/Internal.hs" #-}- Path.takeBaseName (relFile "myfile.txt") == Posix.relFile "myfile"+{-# LINE 1157 "src/System/Path/Internal.hs" #-}+ forAllAbsRel $ \x -> Path.takeExtension x == snd (Path.splitExtension x) ) DocTest.printPrefix "System.Path.Internal:1158: " {-# LINE 1158 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1158 "src/System/Path/Internal.hs" #-}- forAllAbsRel $ \x -> Path.takeExtension x == snd (Path.splitExtension x)+ forAllAbsRel $ \x -> Path.takeExtension (Path.addExtension x "ext") == ".ext" ) DocTest.printPrefix "System.Path.Internal:1159: " {-# LINE 1159 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1159 "src/System/Path/Internal.hs" #-}- forAllAbsRel $ \x -> Path.takeExtension (Path.addExtension x "ext") == ".ext"- )- DocTest.printPrefix "System.Path.Internal:1160: "-{-# LINE 1160 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1160 "src/System/Path/Internal.hs" #-} forAllAbsRel $ \x -> Path.takeExtension (Path.replaceExtension x "ext") == ".ext" )- DocTest.printPrefix "System.Path.Internal:1166: "-{-# LINE 1166 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1165: "+{-# LINE 1165 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1166 "src/System/Path/Internal.hs" #-}+{-# LINE 1165 "src/System/Path/Internal.hs" #-} Path.takeExtensions (Posix.relFile "file.tar.gz") == ".tar.gz" )+ DocTest.printPrefix "System.Path.Internal:1171: "+{-# LINE 1171 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1171 "src/System/Path/Internal.hs" #-}+ Path.takeFileName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile.txt"+ ) DocTest.printPrefix "System.Path.Internal:1172: " {-# LINE 1172 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1172 "src/System/Path/Internal.hs" #-}- Path.takeFileName (absFile "/tmp/somedir/myfile.txt") == Posix.relFile "myfile.txt"+ Path.takeFileName (relFile "./myfile.txt") == Posix.relFile "myfile.txt" ) DocTest.printPrefix "System.Path.Internal:1173: " {-# LINE 1173 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1173 "src/System/Path/Internal.hs" #-}- Path.takeFileName (relFile "./myfile.txt") == Posix.relFile "myfile.txt"+ Path.takeFileName (relFile "myfile.txt") == Posix.relFile "myfile.txt" ) DocTest.printPrefix "System.Path.Internal:1174: " {-# LINE 1174 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1174 "src/System/Path/Internal.hs" #-}- Path.takeFileName (relFile "myfile.txt") == Posix.relFile "myfile.txt"+ \p -> Path.toString (Path.takeFileName p) `isSuffixOf` Path.toString (p::Default.AbsFile) )- DocTest.printPrefix "System.Path.Internal:1175: "-{-# LINE 1175 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1203: "+{-# LINE 1203 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1175 "src/System/Path/Internal.hs" #-}- \p -> Path.toString (Path.takeFileName p) `isSuffixOf` Path.toString (p::Default.AbsFile)+{-# LINE 1203 "src/System/Path/Internal.hs" #-}+ Posix.equalFilePath "abc/def" "abc/def" ) DocTest.printPrefix "System.Path.Internal:1204: " {-# LINE 1204 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1204 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "abc/def" "abc/def"+ Posix.equalFilePath "abc/def" "abc//def" ) DocTest.printPrefix "System.Path.Internal:1205: " {-# LINE 1205 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1205 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "abc/def" "abc//def"+ Posix.equalFilePath "/tmp/" "/tmp" ) DocTest.printPrefix "System.Path.Internal:1206: " {-# LINE 1206 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1206 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "/tmp/" "/tmp"+ Posix.equalFilePath "/tmp" "//tmp" ) DocTest.printPrefix "System.Path.Internal:1207: " {-# LINE 1207 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1207 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "/tmp" "//tmp"+ Posix.equalFilePath "/tmp" "///tmp" ) DocTest.printPrefix "System.Path.Internal:1208: " {-# LINE 1208 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1208 "src/System/Path/Internal.hs" #-}- Posix.equalFilePath "/tmp" "///tmp"+ not $ Posix.equalFilePath "abc" "def" ) DocTest.printPrefix "System.Path.Internal:1209: " {-# LINE 1209 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1209 "src/System/Path/Internal.hs" #-}- not $ Posix.equalFilePath "abc" "def"+ not $ Posix.equalFilePath "/tmp" "tmp" ) DocTest.printPrefix "System.Path.Internal:1210: " {-# LINE 1210 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1210 "src/System/Path/Internal.hs" #-}- not $ Posix.equalFilePath "/tmp" "tmp"+ Windows.equalFilePath "abc\\def" "abc\\def" ) DocTest.printPrefix "System.Path.Internal:1211: " {-# LINE 1211 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1211 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "abc\\def" "abc\\def"+ Windows.equalFilePath "abc\\def" "abc\\\\def" ) DocTest.printPrefix "System.Path.Internal:1212: " {-# LINE 1212 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1212 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "abc\\def" "abc\\\\def"+ Windows.equalFilePath "file" "File" ) DocTest.printPrefix "System.Path.Internal:1213: " {-# LINE 1213 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1213 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "file" "File"+ Windows.equalFilePath "\\file" "\\\\file" ) DocTest.printPrefix "System.Path.Internal:1214: " {-# LINE 1214 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1214 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "\\file" "\\\\file"+ Windows.equalFilePath "\\file" "\\\\\\file" ) DocTest.printPrefix "System.Path.Internal:1215: " {-# LINE 1215 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1215 "src/System/Path/Internal.hs" #-}- Windows.equalFilePath "\\file" "\\\\\\file"+ not $ Windows.equalFilePath "abc" "def" ) DocTest.printPrefix "System.Path.Internal:1216: " {-# LINE 1216 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1216 "src/System/Path/Internal.hs" #-}- not $ Windows.equalFilePath "abc" "def"+ not $ Windows.equalFilePath "file" "dir" )- DocTest.printPrefix "System.Path.Internal:1217: "-{-# LINE 1217 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1229: "+{-# LINE 1229 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1217 "src/System/Path/Internal.hs" #-}- not $ Windows.equalFilePath "file" "dir"+{-# LINE 1229 "src/System/Path/Internal.hs" #-}+ Path.joinPath ["tmp","someDir","dir"] == Posix.relDir "tmp/someDir/dir" ) DocTest.printPrefix "System.Path.Internal:1230: " {-# LINE 1230 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1230 "src/System/Path/Internal.hs" #-}- Path.joinPath ["tmp","someDir","dir"] == Posix.relDir "tmp/someDir/dir"- )- DocTest.printPrefix "System.Path.Internal:1231: "-{-# LINE 1231 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1231 "src/System/Path/Internal.hs" #-} Path.joinPath ["tmp","someDir","file.txt"] == Posix.relFile "tmp/someDir/file.txt" )- DocTest.printPrefix "System.Path.Internal:1237: "-{-# LINE 1237 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1236: "+{-# LINE 1236 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1237 "src/System/Path/Internal.hs" #-}+{-# LINE 1236 "src/System/Path/Internal.hs" #-} Path.normalise (absFile "/tmp/fred/./jim/./file") == Posix.absFile "/tmp/fred/jim/file" )+ DocTest.printPrefix "System.Path.Internal:1242: "+{-# LINE 1242 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1242 "src/System/Path/Internal.hs" #-}+ Path.splitPath (Posix.absDir "/tmp/someDir/mydir.dir") == (True, map relDir ["tmp","someDir","mydir.dir"], Nothing)+ ) DocTest.printPrefix "System.Path.Internal:1243: " {-# LINE 1243 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1243 "src/System/Path/Internal.hs" #-}- Path.splitPath (Posix.absDir "/tmp/someDir/mydir.dir") == (True, map relDir ["tmp","someDir","mydir.dir"], Nothing)+ Path.splitPath (Posix.absFile "/tmp/someDir/myfile.txt") == (True, map relDir ["tmp","someDir"], Just $ relFile "myfile.txt") )- DocTest.printPrefix "System.Path.Internal:1244: "-{-# LINE 1244 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1259: "+{-# LINE 1259 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1244 "src/System/Path/Internal.hs" #-}- Path.splitPath (Posix.absFile "/tmp/someDir/myfile.txt") == (True, map relDir ["tmp","someDir"], Just $ relFile "myfile.txt")+{-# LINE 1259 "src/System/Path/Internal.hs" #-}+ Path.makeRelative (absDir "/tmp/somedir") (absFile "/tmp/somedir/anotherdir/file.txt") == Posix.relFile "anotherdir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1260: " {-# LINE 1260 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1260 "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") (absDir "/tmp/somedir/anotherdir/dir") == Posix.relDir "anotherdir/dir" ) DocTest.printPrefix "System.Path.Internal:1261: " {-# LINE 1261 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1261 "src/System/Path/Internal.hs" #-}- Path.makeRelative (absDir "/tmp/somedir") (absDir "/tmp/somedir/anotherdir/dir") == Posix.relDir "anotherdir/dir"+ Path.makeRelative (absDir "c:\\tmp\\somedir") (absFile "C:\\Tmp\\SomeDir\\AnotherDir\\File.txt") == Windows.relFile "AnotherDir\\File.txt" ) DocTest.printPrefix "System.Path.Internal:1262: " {-# LINE 1262 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1262 "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") (absDir "c:\\tmp\\somedir\\anotherdir\\dir") == Windows.relDir "anotherdir\\dir" ) DocTest.printPrefix "System.Path.Internal:1263: " {-# LINE 1263 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1263 "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" )- DocTest.printPrefix "System.Path.Internal:1264: "-{-# LINE 1264 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1290: "+{-# LINE 1290 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1264 "src/System/Path/Internal.hs" #-}- Path.makeRelative (absDir "c:tmp\\somedir") (absDir "c:tmp\\somedir\\anotherdir\\dir") == Windows.relDir "anotherdir\\dir"+{-# LINE 1290 "src/System/Path/Internal.hs" #-}+ Path.makeAbsolute (absDir "/tmp") (relFile "file.txt") == Posix.absFile "/tmp/file.txt" ) DocTest.printPrefix "System.Path.Internal:1291: " {-# LINE 1291 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1291 "src/System/Path/Internal.hs" #-}- Path.makeAbsolute (absDir "/tmp") (relFile "file.txt") == Posix.absFile "/tmp/file.txt"+ Path.makeAbsolute (absDir "/tmp") (relFile "adir/file.txt") == Posix.absFile "/tmp/adir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1292: " {-# LINE 1292 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1292 "src/System/Path/Internal.hs" #-}- Path.makeAbsolute (absDir "/tmp") (relFile "adir/file.txt") == Posix.absFile "/tmp/adir/file.txt"+ Path.makeAbsolute (absDir "/tmp") (relDir "adir/dir") == Posix.absDir "/tmp/adir/dir" ) DocTest.printPrefix "System.Path.Internal:1293: " {-# LINE 1293 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1293 "src/System/Path/Internal.hs" #-}- Path.makeAbsolute (absDir "/tmp") (relDir "adir/dir") == Posix.absDir "/tmp/adir/dir"+ \base p -> Default.toString p `isSuffixOf` Path.toString (Path.makeAbsolute base (Path.idFile p)) ) DocTest.printPrefix "System.Path.Internal:1294: " {-# LINE 1294 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1294 "src/System/Path/Internal.hs" #-}- \base p -> Default.toString p `isSuffixOf` Path.toString (Path.makeAbsolute base (Path.idFile p))+ \base p -> Default.toString base `isPrefixOf` Path.toString (Path.makeAbsolute base (Path.idFile p)) )- DocTest.printPrefix "System.Path.Internal:1295: "-{-# LINE 1295 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1316: "+{-# LINE 1316 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1295 "src/System/Path/Internal.hs" #-}- \base p -> Default.toString base `isPrefixOf` Path.toString (Path.makeAbsolute base (Path.idFile p))+{-# LINE 1316 "src/System/Path/Internal.hs" #-}+ Path.genericMakeAbsolute (absDir "/tmp") (relFile "file.txt") == Posix.absFile "/tmp/file.txt" ) DocTest.printPrefix "System.Path.Internal:1317: " {-# LINE 1317 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1317 "src/System/Path/Internal.hs" #-}- Path.genericMakeAbsolute (absDir "/tmp") (relFile "file.txt") == Posix.absFile "/tmp/file.txt"+ Path.genericMakeAbsolute (absDir "/tmp") (relFile "adir/file.txt") == Posix.absFile "/tmp/adir/file.txt" ) DocTest.printPrefix "System.Path.Internal:1318: " {-# LINE 1318 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1318 "src/System/Path/Internal.hs" #-}- Path.genericMakeAbsolute (absDir "/tmp") (relFile "adir/file.txt") == Posix.absFile "/tmp/adir/file.txt"+ Path.genericMakeAbsolute (absDir "/tmp") (absFile "/adir/file.txt") == Posix.absFile "/adir/file.txt" )- DocTest.printPrefix "System.Path.Internal:1319: "-{-# LINE 1319 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1403: "+{-# LINE 1403 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1319 "src/System/Path/Internal.hs" #-}- Path.genericMakeAbsolute (absDir "/tmp") (absFile "/adir/file.txt") == Posix.absFile "/adir/file.txt"+{-# LINE 1403 "src/System/Path/Internal.hs" #-}+ Path.isAbsolute (Posix.absFile "/fred") ) DocTest.printPrefix "System.Path.Internal:1404: " {-# LINE 1404 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1404 "src/System/Path/Internal.hs" #-}- Path.isAbsolute (Posix.absFile "/fred")+ Path.isAbsolute (Windows.absFile "\\fred") ) DocTest.printPrefix "System.Path.Internal:1405: " {-# LINE 1405 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1405 "src/System/Path/Internal.hs" #-}- Path.isAbsolute (Windows.absFile "\\fred")+ Path.isAbsolute (Windows.absFile "c:\\fred") ) DocTest.printPrefix "System.Path.Internal:1406: " {-# LINE 1406 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1406 "src/System/Path/Internal.hs" #-}- Path.isAbsolute (Windows.absFile "c:\\fred")+ Path.isAbsolute (Windows.absFile "c:fred") )- DocTest.printPrefix "System.Path.Internal:1407: "-{-# LINE 1407 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1413: "+{-# LINE 1413 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1407 "src/System/Path/Internal.hs" #-}- Path.isAbsolute (Windows.absFile "c:fred")+{-# LINE 1413 "src/System/Path/Internal.hs" #-}+ Path.isRelative (Posix.relFile "fred") ) DocTest.printPrefix "System.Path.Internal:1414: " {-# LINE 1414 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1414 "src/System/Path/Internal.hs" #-}- Path.isRelative (Posix.relFile "fred")- )- DocTest.printPrefix "System.Path.Internal:1415: "-{-# LINE 1415 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1415 "src/System/Path/Internal.hs" #-} Path.isRelative (Windows.relFile "fred") )- DocTest.printPrefix "System.Path.Internal:1440: "-{-# LINE 1440 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1439: "+{-# LINE 1439 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1440 "src/System/Path/Internal.hs" #-}+{-# LINE 1439 "src/System/Path/Internal.hs" #-} forAllAbsRel $ \x -> null (Path.takeExtension x) == not (Path.hasAnExtension x) )+ DocTest.printPrefix "System.Path.Internal:1445: "+{-# LINE 1445 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1445 "src/System/Path/Internal.hs" #-}+ Path.hasExtension ".hs" (Posix.relFile "MyCode.hs")+ ) DocTest.printPrefix "System.Path.Internal:1446: " {-# LINE 1446 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1446 "src/System/Path/Internal.hs" #-}- Path.hasExtension ".hs" (Posix.relFile "MyCode.hs")+ Path.hasExtension ".hs" (Posix.relFile "MyCode.bak.hs") ) DocTest.printPrefix "System.Path.Internal:1447: " {-# LINE 1447 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1447 "src/System/Path/Internal.hs" #-}- Path.hasExtension ".hs" (Posix.relFile "MyCode.bak.hs")- )- DocTest.printPrefix "System.Path.Internal:1448: "-{-# LINE 1448 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1448 "src/System/Path/Internal.hs" #-} not $ Path.hasExtension ".hs" (Posix.relFile "MyCode.hs.bak") )- DocTest.printPrefix "System.Path.Internal:1458: "-{-# LINE 1458 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1457: "+{-# LINE 1457 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1458 "src/System/Path/Internal.hs" #-}+{-# LINE 1457 "src/System/Path/Internal.hs" #-} Posix.extSeparator == '.' )- DocTest.printPrefix "System.Path.Internal:1469: "-{-# LINE 1469 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1468: "+{-# LINE 1468 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1469 "src/System/Path/Internal.hs" #-}+{-# LINE 1468 "src/System/Path/Internal.hs" #-} \a -> Posix.isExtSeparator a == (a == Posix.extSeparator) )- DocTest.printPrefix "System.Path.Internal:1475: "-{-# LINE 1475 "src/System/Path/Internal.hs" #-}+ DocTest.printPrefix "System.Path.Internal:1474: "+{-# LINE 1474 "src/System/Path/Internal.hs" #-} DocTest.property(-{-# LINE 1475 "src/System/Path/Internal.hs" #-}+{-# LINE 1474 "src/System/Path/Internal.hs" #-} \a -> Posix.isSearchPathSeparator a == (a == Posix.searchPathSeparator) )+ DocTest.printPrefix "System.Path.Internal:1490: "+{-# LINE 1490 "src/System/Path/Internal.hs" #-}+ DocTest.property(+{-# LINE 1490 "src/System/Path/Internal.hs" #-}+ Path.genericAddExtension (absDir "/") "x" == Posix.absDir "/.x"+ ) DocTest.printPrefix "System.Path.Internal:1491: " {-# LINE 1491 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1491 "src/System/Path/Internal.hs" #-}- Path.genericAddExtension (absDir "/") "x" == Posix.absDir "/.x"+ Path.genericAddExtension (absDir "/a") "x" == Posix.absDir "/a.x" ) DocTest.printPrefix "System.Path.Internal:1492: " {-# LINE 1492 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1492 "src/System/Path/Internal.hs" #-}- Path.genericAddExtension (absDir "/a") "x" == Posix.absDir "/a.x"+ Path.genericAddExtension Path.emptyFile "x" == Posix.relFile ".x" ) DocTest.printPrefix "System.Path.Internal:1493: " {-# LINE 1493 "src/System/Path/Internal.hs" #-} DocTest.property( {-# LINE 1493 "src/System/Path/Internal.hs" #-}- Path.genericAddExtension Path.emptyFile "x" == Posix.relFile ".x"- )- DocTest.printPrefix "System.Path.Internal:1494: "-{-# LINE 1494 "src/System/Path/Internal.hs" #-}- DocTest.property(-{-# LINE 1494 "src/System/Path/Internal.hs" #-} Path.genericAddExtension Path.emptyFile "" == Posix.emptyFile )