Skip to content

Commit 19705ca

Browse files
yairchuyairchu
committed
add failing test
1 parent 27bddf1 commit 19705ca

5 files changed

+175
-0
lines changed

‎tests/examples/EqualityConstraints3.hs

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
{-# LANGUAGE GADTs #-}
2+
3+
one :: (~) a Int => a
4+
one = 1

‎tests/examples/EqualityConstraints3.hs.exactprinter.golden

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Match

‎tests/examples/EqualityConstraints3.hs.parser.golden

Lines changed: 165 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,165 @@
1+
ParseOk
2+
( Module
3+
SrcSpanInfo
4+
{ srcInfoSpan =
5+
SrcSpan "tests/examples/EqualityConstraints3.hs" 2 1 6 1
6+
, srcInfoPoints =
7+
[ SrcSpan "tests/examples/EqualityConstraints3.hs" 2 1 2 1
8+
, SrcSpan "tests/examples/EqualityConstraints3.hs" 4 1 4 1
9+
, SrcSpan "tests/examples/EqualityConstraints3.hs" 4 1 4 1
10+
, SrcSpan "tests/examples/EqualityConstraints3.hs" 4 1 4 1
11+
, SrcSpan "tests/examples/EqualityConstraints3.hs" 5 1 5 1
12+
, SrcSpan "tests/examples/EqualityConstraints3.hs" 6 1 6 1
13+
, SrcSpan "tests/examples/EqualityConstraints3.hs" 6 1 6 1
14+
]
15+
}
16+
Nothing
17+
[ LanguagePragma
18+
SrcSpanInfo
19+
{ srcInfoSpan =
20+
SrcSpan "tests/examples/EqualityConstraints3.hs" 2 1 2 23
21+
, srcInfoPoints =
22+
[ SrcSpan "tests/examples/EqualityConstraints3.hs" 2 1 2 13
23+
, SrcSpan "tests/examples/EqualityConstraints3.hs" 2 20 2 23
24+
]
25+
}
26+
[ Ident
27+
SrcSpanInfo
28+
{ srcInfoSpan =
29+
SrcSpan "tests/examples/EqualityConstraints3.hs" 2 14 2 19
30+
, srcInfoPoints = []
31+
}
32+
"GADTs"
33+
]
34+
]
35+
[]
36+
[ TypeSig
37+
SrcSpanInfo
38+
{ srcInfoSpan =
39+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 1 4 20
40+
, srcInfoPoints =
41+
[ SrcSpan "tests/examples/EqualityConstraints3.hs" 4 5 4 7 ]
42+
}
43+
[ Ident
44+
SrcSpanInfo
45+
{ srcInfoSpan =
46+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 1 4 4
47+
, srcInfoPoints = []
48+
}
49+
"one"
50+
]
51+
(TyForall
52+
SrcSpanInfo
53+
{ srcInfoSpan =
54+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 8 4 20
55+
, srcInfoPoints = []
56+
}
57+
Nothing
58+
(Just
59+
(CxSingle
60+
SrcSpanInfo
61+
{ srcInfoSpan =
62+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 8 4 18
63+
, srcInfoPoints =
64+
[ SrcSpan "tests/examples/EqualityConstraints3.hs" 4 16 4 18 ]
65+
}
66+
(EqualP
67+
SrcSpanInfo
68+
{ srcInfoSpan =
69+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 8 4 15
70+
, srcInfoPoints =
71+
[ SrcSpan "tests/examples/EqualityConstraints3.hs" 4 10 4 11 ]
72+
}
73+
(TyVar
74+
SrcSpanInfo
75+
{ srcInfoSpan =
76+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 8 4 9
77+
, srcInfoPoints = []
78+
}
79+
(Ident
80+
SrcSpanInfo
81+
{ srcInfoSpan =
82+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 8 4 9
83+
, srcInfoPoints = []
84+
}
85+
"a"))
86+
(TyCon
87+
SrcSpanInfo
88+
{ srcInfoSpan =
89+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 12 4 15
90+
, srcInfoPoints = []
91+
}
92+
(UnQual
93+
SrcSpanInfo
94+
{ srcInfoSpan =
95+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 12 4 15
96+
, srcInfoPoints = []
97+
}
98+
(Ident
99+
SrcSpanInfo
100+
{ srcInfoSpan =
101+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 12 4 15
102+
, srcInfoPoints = []
103+
}
104+
"Int"))))))
105+
(TyVar
106+
SrcSpanInfo
107+
{ srcInfoSpan =
108+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 19 4 20
109+
, srcInfoPoints = []
110+
}
111+
(Ident
112+
SrcSpanInfo
113+
{ srcInfoSpan =
114+
SrcSpan "tests/examples/EqualityConstraints3.hs" 4 19 4 20
115+
, srcInfoPoints = []
116+
}
117+
"a")))
118+
, PatBind
119+
SrcSpanInfo
120+
{ srcInfoSpan =
121+
SrcSpan "tests/examples/EqualityConstraints3.hs" 5 1 5 8
122+
, srcInfoPoints = []
123+
}
124+
(PVar
125+
SrcSpanInfo
126+
{ srcInfoSpan =
127+
SrcSpan "tests/examples/EqualityConstraints3.hs" 5 1 5 4
128+
, srcInfoPoints = []
129+
}
130+
(Ident
131+
SrcSpanInfo
132+
{ srcInfoSpan =
133+
SrcSpan "tests/examples/EqualityConstraints3.hs" 5 1 5 4
134+
, srcInfoPoints = []
135+
}
136+
"one"))
137+
(UnGuardedRhs
138+
SrcSpanInfo
139+
{ srcInfoSpan =
140+
SrcSpan "tests/examples/EqualityConstraints3.hs" 5 5 5 8
141+
, srcInfoPoints =
142+
[ SrcSpan "tests/examples/EqualityConstraints3.hs" 5 5 5 6 ]
143+
}
144+
(Lit
145+
SrcSpanInfo
146+
{ srcInfoSpan =
147+
SrcSpan "tests/examples/EqualityConstraints3.hs" 5 7 5 8
148+
, srcInfoPoints = []
149+
}
150+
(Int
151+
SrcSpanInfo
152+
{ srcInfoSpan =
153+
SrcSpan "tests/examples/EqualityConstraints3.hs" 5 7 5 8
154+
, srcInfoPoints = []
155+
}
156+
1
157+
"1")))
158+
Nothing
159+
]
160+
, [ Comment
161+
False
162+
(SrcSpan "tests/examples/EqualityConstraints3.hs" 1 1 1 63)
163+
" https://github.com/haskell-suite/haskell-src-exts/issues/91"
164+
]
165+
)

‎tests/examples/EqualityConstraints3.hs.prettyparser.golden

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Match

‎tests/examples/EqualityConstraints3.hs.prettyprinter.golden

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
{-# LANGUAGE GADTs #-}
2+
3+
one :: a ~ Int => a
4+
one = 1

0 commit comments

Comments
 (0)