Skip to content

Commit 4729e30

Browse files
committed
Add tests for now fixed #212.
1 parent 163ddb2 commit 4729e30

10 files changed

+773
-0
lines changed

tests/examples/Fixity2.hs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
foo = pure 1 <^> pure 2 <^> pure (+) where
2+
(<^>) = flip (<*>)
3+
infixr 4 <^>
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Match
Lines changed: 297 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,297 @@
1+
ParseOk
2+
( Module
3+
SrcSpanInfo
4+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 1 4 1
5+
, srcInfoPoints =
6+
[ SrcSpan "tests/examples/Fixity2.hs" 1 1 1 1
7+
, SrcSpan "tests/examples/Fixity2.hs" 1 1 1 1
8+
, SrcSpan "tests/examples/Fixity2.hs" 1 1 1 1
9+
, SrcSpan "tests/examples/Fixity2.hs" 4 1 4 1
10+
, SrcSpan "tests/examples/Fixity2.hs" 4 1 4 1
11+
]
12+
}
13+
Nothing
14+
[]
15+
[]
16+
[ PatBind
17+
SrcSpanInfo
18+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 1 3 15
19+
, srcInfoPoints = [ SrcSpan "tests/examples/Fixity2.hs" 1 38 1 43 ]
20+
}
21+
(PVar
22+
SrcSpanInfo
23+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 1 1 4
24+
, srcInfoPoints = []
25+
}
26+
(Ident
27+
SrcSpanInfo
28+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 1 1 4
29+
, srcInfoPoints = []
30+
}
31+
"foo"))
32+
(UnGuardedRhs
33+
SrcSpanInfo
34+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 5 1 37
35+
, srcInfoPoints = [ SrcSpan "tests/examples/Fixity2.hs" 1 5 1 6 ]
36+
}
37+
(InfixApp
38+
SrcSpanInfo
39+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 7 1 37
40+
, srcInfoPoints = []
41+
}
42+
(App
43+
SrcSpanInfo
44+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 7 1 13
45+
, srcInfoPoints = []
46+
}
47+
(Var
48+
SrcSpanInfo
49+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 7 1 11
50+
, srcInfoPoints = []
51+
}
52+
(UnQual
53+
SrcSpanInfo
54+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 7 1 11
55+
, srcInfoPoints = []
56+
}
57+
(Ident
58+
SrcSpanInfo
59+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 7 1 11
60+
, srcInfoPoints = []
61+
}
62+
"pure")))
63+
(Lit
64+
SrcSpanInfo
65+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 12 1 13
66+
, srcInfoPoints = []
67+
}
68+
(Int
69+
SrcSpanInfo
70+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 12 1 13
71+
, srcInfoPoints = []
72+
}
73+
1
74+
"1")))
75+
(QVarOp
76+
SrcSpanInfo
77+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 14 1 17
78+
, srcInfoPoints = []
79+
}
80+
(UnQual
81+
SrcSpanInfo
82+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 14 1 17
83+
, srcInfoPoints = []
84+
}
85+
(Symbol
86+
SrcSpanInfo
87+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 14 1 17
88+
, srcInfoPoints = []
89+
}
90+
"<^>")))
91+
(InfixApp
92+
SrcSpanInfo
93+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 18 1 37
94+
, srcInfoPoints = []
95+
}
96+
(App
97+
SrcSpanInfo
98+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 18 1 24
99+
, srcInfoPoints = []
100+
}
101+
(Var
102+
SrcSpanInfo
103+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 18 1 22
104+
, srcInfoPoints = []
105+
}
106+
(UnQual
107+
SrcSpanInfo
108+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 18 1 22
109+
, srcInfoPoints = []
110+
}
111+
(Ident
112+
SrcSpanInfo
113+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 18 1 22
114+
, srcInfoPoints = []
115+
}
116+
"pure")))
117+
(Lit
118+
SrcSpanInfo
119+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 23 1 24
120+
, srcInfoPoints = []
121+
}
122+
(Int
123+
SrcSpanInfo
124+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 23 1 24
125+
, srcInfoPoints = []
126+
}
127+
2
128+
"2")))
129+
(QVarOp
130+
SrcSpanInfo
131+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 25 1 28
132+
, srcInfoPoints = []
133+
}
134+
(UnQual
135+
SrcSpanInfo
136+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 25 1 28
137+
, srcInfoPoints = []
138+
}
139+
(Symbol
140+
SrcSpanInfo
141+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 25 1 28
142+
, srcInfoPoints = []
143+
}
144+
"<^>")))
145+
(App
146+
SrcSpanInfo
147+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 29 1 37
148+
, srcInfoPoints = []
149+
}
150+
(Var
151+
SrcSpanInfo
152+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 29 1 33
153+
, srcInfoPoints = []
154+
}
155+
(UnQual
156+
SrcSpanInfo
157+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 29 1 33
158+
, srcInfoPoints = []
159+
}
160+
(Ident
161+
SrcSpanInfo
162+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 29 1 33
163+
, srcInfoPoints = []
164+
}
165+
"pure")))
166+
(Var
167+
SrcSpanInfo
168+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 34 1 37
169+
, srcInfoPoints =
170+
[ SrcSpan "tests/examples/Fixity2.hs" 1 34 1 35
171+
, SrcSpan "tests/examples/Fixity2.hs" 1 35 1 36
172+
, SrcSpan "tests/examples/Fixity2.hs" 1 36 1 37
173+
]
174+
}
175+
(UnQual
176+
SrcSpanInfo
177+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 34 1 37
178+
, srcInfoPoints =
179+
[ SrcSpan "tests/examples/Fixity2.hs" 1 34 1 35
180+
, SrcSpan "tests/examples/Fixity2.hs" 1 35 1 36
181+
, SrcSpan "tests/examples/Fixity2.hs" 1 36 1 37
182+
]
183+
}
184+
(Symbol
185+
SrcSpanInfo
186+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 1 35 1 36
187+
, srcInfoPoints = []
188+
}
189+
"+")))))))
190+
(Just
191+
(BDecls
192+
SrcSpanInfo
193+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 3 3 15
194+
, srcInfoPoints =
195+
[ SrcSpan "tests/examples/Fixity2.hs" 2 3 2 3
196+
, SrcSpan "tests/examples/Fixity2.hs" 3 3 3 3
197+
, SrcSpan "tests/examples/Fixity2.hs" 4 1 4 0
198+
]
199+
}
200+
[ PatBind
201+
SrcSpanInfo
202+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 3 2 21
203+
, srcInfoPoints = []
204+
}
205+
(PVar
206+
SrcSpanInfo
207+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 3 2 8
208+
, srcInfoPoints =
209+
[ SrcSpan "tests/examples/Fixity2.hs" 2 3 2 4
210+
, SrcSpan "tests/examples/Fixity2.hs" 2 4 2 7
211+
, SrcSpan "tests/examples/Fixity2.hs" 2 7 2 8
212+
]
213+
}
214+
(Symbol
215+
SrcSpanInfo
216+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 4 2 7
217+
, srcInfoPoints = []
218+
}
219+
"<^>"))
220+
(UnGuardedRhs
221+
SrcSpanInfo
222+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 9 2 21
223+
, srcInfoPoints = [ SrcSpan "tests/examples/Fixity2.hs" 2 9 2 10 ]
224+
}
225+
(App
226+
SrcSpanInfo
227+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 11 2 21
228+
, srcInfoPoints = []
229+
}
230+
(Var
231+
SrcSpanInfo
232+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 11 2 15
233+
, srcInfoPoints = []
234+
}
235+
(UnQual
236+
SrcSpanInfo
237+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 11 2 15
238+
, srcInfoPoints = []
239+
}
240+
(Ident
241+
SrcSpanInfo
242+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 11 2 15
243+
, srcInfoPoints = []
244+
}
245+
"flip")))
246+
(Var
247+
SrcSpanInfo
248+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 16 2 21
249+
, srcInfoPoints =
250+
[ SrcSpan "tests/examples/Fixity2.hs" 2 16 2 17
251+
, SrcSpan "tests/examples/Fixity2.hs" 2 17 2 20
252+
, SrcSpan "tests/examples/Fixity2.hs" 2 20 2 21
253+
]
254+
}
255+
(UnQual
256+
SrcSpanInfo
257+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 16 2 21
258+
, srcInfoPoints =
259+
[ SrcSpan "tests/examples/Fixity2.hs" 2 16 2 17
260+
, SrcSpan "tests/examples/Fixity2.hs" 2 17 2 20
261+
, SrcSpan "tests/examples/Fixity2.hs" 2 20 2 21
262+
]
263+
}
264+
(Symbol
265+
SrcSpanInfo
266+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 2 17 2 20
267+
, srcInfoPoints = []
268+
}
269+
"<*>")))))
270+
Nothing
271+
, InfixDecl
272+
SrcSpanInfo
273+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 3 3 3 15
274+
, srcInfoPoints = [ SrcSpan "tests/examples/Fixity2.hs" 3 10 3 11 ]
275+
}
276+
(AssocRight
277+
SrcSpanInfo
278+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 3 3 3 9
279+
, srcInfoPoints = []
280+
})
281+
(Just 4)
282+
[ VarOp
283+
SrcSpanInfo
284+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 3 12 3 15
285+
, srcInfoPoints = []
286+
}
287+
(Symbol
288+
SrcSpanInfo
289+
{ srcInfoSpan = SrcSpan "tests/examples/Fixity2.hs" 3 12 3 15
290+
, srcInfoPoints = []
291+
}
292+
"<^>")
293+
]
294+
]))
295+
]
296+
, []
297+
)
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Match
Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
module Main (main) where
2+
foo = pure 1 <^> pure 2 <^> pure (+)
3+
where (<^>) = flip (<*>)
4+
5+
infixr 4 <^>

tests/examples/Fixity3.hs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
class Foo f where
2+
(<^>) :: Applicative f => f a -> f (a -> b) -> f b
3+
infixr 4 <^>
4+
5+
foo = pure 1 <^> pure 2 <^> pure (+)
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Match

0 commit comments

Comments
 (0)