1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE QuasiQuotes #-}
-- | Test suite.
module Posix (spec) where
import Test.Hspec
import Common.Posix (parseFails, parseSucceeds, parserTest)
import qualified Common.Posix
import OsPath.Posix
import OsPath.Internal.Posix
import qualified System.OsString.Compat.Posix as OsString
import TH.Posix ()
-- | Test suite (Posix version).
spec :: Spec
spec =
do describe "Parsing: Path Abs Dir" parseAbsDirSpec
describe "Parsing: Path Rel Dir" parseRelDirSpec
describe "Parsing: Path Abs File" parseAbsFileSpec
describe "Parsing: Path Rel File" parseRelFileSpec
Common.Posix.spec
describe "Restrictions" restrictions
describe "QuasiQuotes" quasiquotes
-- | Restricting the input of any tricks.
restrictions :: Spec
restrictions =
do -- These ~ related ones below are now lifted:
-- https://github.com/chrisdone/path/issues/19
parseSucceeds [OsString.pstr|~/|] (Path [OsString.pstr|~/|])
parseSucceeds [OsString.pstr|~/foo|] (Path [OsString.pstr|~/foo/|])
parseSucceeds [OsString.pstr|~/foo/bar|] (Path [OsString.pstr|~/foo/bar/|])
parseSucceeds [OsString.pstr|a..|] (Path [OsString.pstr|a../|])
parseSucceeds [OsString.pstr|..a|] (Path [OsString.pstr|..a/|])
--
parseFails [OsString.pstr|../|]
parseFails [OsString.pstr|..|]
parseFails [OsString.pstr|/..|]
parseFails [OsString.pstr|/foo/../bar/|]
parseFails [OsString.pstr|/foo/bar/..|]
-- | Tests for the tokenizer.
parseAbsDirSpec :: Spec
parseAbsDirSpec =
do failing [OsString.pstr||]
failing [OsString.pstr|./|]
failing [OsString.pstr|foo.txt|]
succeeding [OsString.pstr|/|] (Path [OsString.pstr|/|])
succeeding [OsString.pstr|//|] (Path [OsString.pstr|/|])
succeeding [OsString.pstr|///foo//bar//mu/|] (Path [OsString.pstr|/foo/bar/mu/|])
succeeding [OsString.pstr|///foo//bar////mu|] (Path [OsString.pstr|/foo/bar/mu/|])
succeeding [OsString.pstr|///foo//bar/.//mu|] (Path [OsString.pstr|/foo/bar/mu/|])
where failing x = parserTest parseAbsDir x Nothing
succeeding x with = parserTest parseAbsDir x (Just with)
-- | Tests for the tokenizer.
parseRelDirSpec :: Spec
parseRelDirSpec =
do failing [OsString.pstr||]
failing [OsString.pstr|/|]
failing [OsString.pstr|//|]
succeeding [OsString.pstr|~/|] (Path [OsString.pstr|~/|]) -- https://github.com/chrisdone/path/issues/19
failing [OsString.pstr|/|]
succeeding [OsString.pstr|./|] (Path [OsString.pstr||])
succeeding [OsString.pstr|././|] (Path [OsString.pstr||])
failing [OsString.pstr|//|]
failing [OsString.pstr|///foo//bar//mu/|]
failing [OsString.pstr|///foo//bar////mu|]
failing [OsString.pstr|///foo//bar/.//mu|]
succeeding [OsString.pstr|...|] (Path [OsString.pstr|.../|])
succeeding [OsString.pstr|foo.bak|] (Path [OsString.pstr|foo.bak/|])
succeeding [OsString.pstr|./foo|] (Path [OsString.pstr|foo/|])
succeeding [OsString.pstr|././foo|] (Path [OsString.pstr|foo/|])
succeeding [OsString.pstr|./foo/./bar|] (Path [OsString.pstr|foo/bar/|])
succeeding [OsString.pstr|foo//bar//mu//|] (Path [OsString.pstr|foo/bar/mu/|])
succeeding [OsString.pstr|foo//bar////mu|] (Path [OsString.pstr|foo/bar/mu/|])
succeeding [OsString.pstr|foo//bar/.//mu|] (Path [OsString.pstr|foo/bar/mu/|])
where failing x = parserTest parseRelDir x Nothing
succeeding x with = parserTest parseRelDir x (Just with)
-- | Tests for the tokenizer.
parseAbsFileSpec :: Spec
parseAbsFileSpec =
do failing [OsString.pstr||]
failing [OsString.pstr|./|]
failing [OsString.pstr|/.|]
failing [OsString.pstr|/foo/bar/.|]
failing [OsString.pstr|~/|]
failing [OsString.pstr|./foo.txt|]
failing [OsString.pstr|/|]
failing [OsString.pstr|//|]
failing [OsString.pstr|///foo//bar//mu/|]
succeeding [OsString.pstr|/...|] (Path [OsString.pstr|/...|])
succeeding [OsString.pstr|/foo.txt|] (Path [OsString.pstr|/foo.txt|])
succeeding [OsString.pstr|///foo//bar////mu.txt|] (Path [OsString.pstr|/foo/bar/mu.txt|])
succeeding [OsString.pstr|///foo//bar/.//mu.txt|] (Path [OsString.pstr|/foo/bar/mu.txt|])
where failing x = parserTest parseAbsFile x Nothing
succeeding x with = parserTest parseAbsFile x (Just with)
-- | Tests for the tokenizer.
parseRelFileSpec :: Spec
parseRelFileSpec =
do failing [OsString.pstr||]
failing [OsString.pstr|/|]
failing [OsString.pstr|//|]
failing [OsString.pstr|~/|]
failing [OsString.pstr|/|]
failing [OsString.pstr|./|]
failing [OsString.pstr|a/.|]
failing [OsString.pstr|a/../b|]
failing [OsString.pstr|a/..|]
failing [OsString.pstr|../foo.txt|]
failing [OsString.pstr|//|]
failing [OsString.pstr|///foo//bar//mu/|]
failing [OsString.pstr|///foo//bar////mu|]
failing [OsString.pstr|///foo//bar/.//mu|]
succeeding [OsString.pstr|a..|] (Path [OsString.pstr|a..|])
succeeding [OsString.pstr|...|] (Path [OsString.pstr|...|])
succeeding [OsString.pstr|foo.txt|] (Path [OsString.pstr|foo.txt|])
succeeding [OsString.pstr|./foo.txt|] (Path [OsString.pstr|foo.txt|])
succeeding [OsString.pstr|././foo.txt|] (Path [OsString.pstr|foo.txt|])
succeeding [OsString.pstr|./foo/./bar.txt|] (Path [OsString.pstr|foo/bar.txt|])
succeeding [OsString.pstr|foo//bar//mu.txt|] (Path [OsString.pstr|foo/bar/mu.txt|])
succeeding [OsString.pstr|foo//bar////mu.txt|] (Path [OsString.pstr|foo/bar/mu.txt|])
succeeding [OsString.pstr|foo//bar/.//mu.txt|] (Path [OsString.pstr|foo/bar/mu.txt|])
where failing x = parserTest parseRelFile x Nothing
succeeding x with = parserTest parseRelFile x (Just with)
-- | Test QuasiQuoters. Make sure they work the same as the $(mk*) constructors.
quasiquotes :: Spec
quasiquotes =
do it "[absdir|/|] == $(mkAbsDir \"/\")"
([absdir|/|] `shouldBe` $(mkAbsDir [OsString.pstr|/|]))
it "[absdir|/home|] == $(mkAbsDir \"/home\")"
([absdir|/home|] `shouldBe` $(mkAbsDir [OsString.pstr|/home|]))
it "[reldir|foo|] == $(mkRelDir \"foo\")"
([reldir|foo|] `shouldBe` $(mkRelDir [OsString.pstr|foo|]))
it "[reldir|foo/bar|] == $(mkRelDir \"foo/bar\")"
([reldir|foo/bar|] `shouldBe` $(mkRelDir [OsString.pstr|foo/bar|]))
it "[absfile|/home/chris/foo.txt|] == $(mkAbsFile \"/home/chris/foo.txt\")"
([absfile|/home/chris/foo.txt|] `shouldBe` $(mkAbsFile [OsString.pstr|/home/chris/foo.txt|]))
it "[relfile|foo|] == $(mkRelFile \"foo\")"
([relfile|foo|] `shouldBe` $(mkRelFile [OsString.pstr|foo|]))
it "[relfile|chris/foo.txt|] == $(mkRelFile \"chris/foo.txt\")"
([relfile|chris/foo.txt|] `shouldBe` $(mkRelFile [OsString.pstr|chris/foo.txt|]))
|
