summaryrefslogtreecommitdiff
path: root/testdata/language-features/adt
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/language-features/adt')
-rw-r--r--testdata/language-features/adt/adt01.out76
-rw-r--r--testdata/language-features/adt/adt02.out134
-rw-r--r--testdata/language-features/adt/adt02.reject.out32
-rw-r--r--testdata/language-features/adt/adt03.reject.out6
-rw-r--r--testdata/language-features/adt/adt04.reject.out6
-rw-r--r--testdata/language-features/adt/adt05.out74
-rw-r--r--testdata/language-features/adt/gadt01.out242
-rw-r--r--testdata/language-features/adt/gadt01.reject.out6
-rw-r--r--testdata/language-features/adt/gadt02.reject.out4
-rw-r--r--testdata/language-features/adt/gadt03.reject.out42
-rw-r--r--testdata/language-features/adt/gadt04.reject.out68
11 files changed, 345 insertions, 345 deletions
diff --git a/testdata/language-features/adt/adt01.out b/testdata/language-features/adt/adt01.out
index 36f684b5..67385347 100644
--- a/testdata/language-features/adt/adt01.out
+++ b/testdata/language-features/adt/adt01.out
@@ -108,80 +108,80 @@ match'Zero = \a b c d -> <<type case function>>
108value1 :: OneBool 108value1 :: OneBool
109value1 = _rhs (OneBool True) 109value1 = _rhs (OneBool True)
110------------ tooltips 110------------ tooltips
111adt01.lc 1:6-1:10 1111:6-1:10
112 Type | Type | Type | Type 112 Type | Type | Type | Type
113adt01.lc 3:6-3:10 1133:6-3:10
114 Type -> Type | Type -> Type | Type -> Type | Type -> Type | Type 114 Type -> Type | Type -> Type | Type -> Type | Type -> Type | Type
115adt01.lc 3:6-3:12 1153:6-3:12
116 Type | Type 116 Type | Type
117adt01.lc 3:6-3:19 1173:6-3:19
118 Type | Type 118 Type | Type
119adt01.lc 3:6-3:21 1193:6-3:21
120 Type 120 Type
121adt01.lc 3:11-3:12 1213:11-3:12
122 Type 122 Type
123adt01.lc 3:15-3:19 1233:15-3:19
124 forall a . a -> One1 a | One1 _c | Type | Type 124 forall a . a -> One1 a | One1 _c | Type | Type
125adt01.lc 3:20-3:21 1253:20-3:21
126 Type 126 Type
127adt01.lc 5:6-5:12 1275:6-5:12
128 Type | Type | Type | Type | Type | Type 128 Type | Type | Type | Type | Type | Type
129adt01.lc 5:6-5:19 1295:6-5:19
130 Type 130 Type
131adt01.lc 5:15-5:19 1315:15-5:19
132 Int -> OneInt | OneInt | Type | Type 132 Int -> OneInt | OneInt | Type | Type
133adt01.lc 5:20-5:23 1335:20-5:23
134 Type 134 Type
135adt01.lc 7:6-7:13 1357:6-7:13
136 Type | Type | Type | Type | Type | Type 136 Type | Type | Type | Type | Type | Type
137adt01.lc 7:6-7:23 1377:6-7:23
138 Type 138 Type
139adt01.lc 7:16-7:23 1397:16-7:23
140 Bool -> OneBool | OneBool | Type | Type 140 Bool -> OneBool | OneBool | Type | Type
141adt01.lc 7:24-7:28 1417:24-7:28
142 Type 142 Type
143adt01.lc 9:6-9:9 1439:6-9:9
144 Type -> Type -> Type | Type -> Type -> Type | Type -> Type -> Type | Type 144 Type -> Type -> Type | Type -> Type -> Type | Type -> Type -> Type | Type
145 -> Type -> Type | Type -> Type -> Type | Type 145 -> Type -> Type | Type -> Type -> Type | Type
146adt01.lc 9:6-9:11 1469:6-9:11
147 Type -> Type | Type -> Type 147 Type -> Type | Type -> Type
148adt01.lc 9:6-9:13 1489:6-9:13
149 Type | Type | Type | Type 149 Type | Type | Type | Type
150adt01.lc 9:6-10:11 1509:6-10:11
151 Type | Type 151 Type | Type
152adt01.lc 9:6-11:9 1529:6-11:9
153 Type | Type | Type | Type 153 Type | Type | Type | Type
154adt01.lc 9:6-11:11 1549:6-11:11
155 Type | Type 155 Type | Type
156adt01.lc 9:10-9:11 1569:10-9:11
157 Type | Type 157 Type | Type
158adt01.lc 9:12-9:13 1589:12-9:13
159 Type | Type 159 Type | Type
160adt01.lc 10:5-10:9 16010:5-10:9
161 forall a b . a -> Two a b | Two _d _c | Type | Type 161 forall a b . a -> Two a b | Two _d _c | Type | Type
162adt01.lc 10:10-10:11 16210:10-10:11
163 Type 163 Type
164adt01.lc 11:5-11:9 16411:5-11:9
165 forall a b . b -> Two a b | Two _e _d | Type | Type 165 forall a b . b -> Two a b | Two _e _d | Type | Type
166adt01.lc 11:10-11:11 16611:10-11:11
167 Type 167 Type
168adt01.lc 13:1-13:7 16813:1-13:7
169 OneBool 169 OneBool
170adt01.lc 13:10-13:17 17013:10-13:17
171 Bool -> OneBool 171 Bool -> OneBool
172adt01.lc 13:10-13:22 17213:10-13:22
173 OneBool 173 OneBool
174adt01.lc 13:18-13:22 17413:18-13:22
175 Bool 175 Bool
176adt01.lc 15:1-15:2 17615:1-15:2
177 OneBool -> Bool 177 OneBool -> Bool
178adt01.lc 15:17-15:18 17815:17-15:18
179 Bool 179 Bool
180adt01.lc 17:1-17:5 18017:1-17:5
181 Bool 181 Bool
182adt01.lc 17:8-17:9 18217:8-17:9
183 OneBool -> Bool 183 OneBool -> Bool
184adt01.lc 17:8-17:16 18417:8-17:16
185 Bool 185 Bool
186adt01.lc 17:10-17:16 18617:10-17:16
187 OneBool \ No newline at end of file 187 OneBool \ No newline at end of file
diff --git a/testdata/language-features/adt/adt02.out b/testdata/language-features/adt/adt02.out
index 8145446b..404cd771 100644
--- a/testdata/language-features/adt/adt02.out
+++ b/testdata/language-features/adt/adt02.out
@@ -149,141 +149,141 @@ value2 = _rhs (Data2 True "friend" True)
149value3 :: Data3 Bool Bool Bool 149value3 :: Data3 Bool Bool Bool
150value3 = _rhs (Data3 True True True) 150value3 = _rhs (Data3 True True True)
151------------ tooltips 151------------ tooltips
152adt02.lc 1:6-1:11 1521:6-1:11
153 Type | Type | Type | Type | Type | Type 153 Type | Type | Type | Type | Type | Type
154adt02.lc 1:6-1:19 1541:6-1:19
155 Type 155 Type
156adt02.lc 1:14-1:19 1561:14-1:19
157 Bool -> Data1 | Data1 | Type | Type 157 Bool -> Data1 | Data1 | Type | Type
158adt02.lc 1:22-1:26 1581:22-1:26
159 Data1 -> Bool 159 Data1 -> Bool
160adt02.lc 1:30-1:34 1601:30-1:34
161 Type 161 Type
162adt02.lc 3:6-3:11 1623:6-3:11
163 Type | Type | Type | Type | Type | Type 163 Type | Type | Type | Type | Type | Type
164adt02.lc 3:6-3:19 1643:6-3:19
165 Type 165 Type
166adt02.lc 3:6-6:17 1663:6-6:17
167 Type | Type 167 Type | Type
168adt02.lc 3:14-3:19 1683:14-3:19
169 Bool -> String -> Bool -> Data2 | Data2 | Type | Type | Type | Type 169 Bool -> String -> Bool -> Data2 | Data2 | Type | Type | Type | Type
170adt02.lc 4:5-4:9 1704:5-4:9
171 Data2 -> Bool 171 Data2 -> Bool
172adt02.lc 4:13-4:17 1724:13-4:17
173 Type 173 Type
174adt02.lc 5:5-5:9 1745:5-5:9
175 Data2 -> String 175 Data2 -> String
176adt02.lc 5:13-5:19 1765:13-5:19
177 Type 177 Type
178adt02.lc 6:5-6:9 1786:5-6:9
179 Data2 -> Bool 179 Data2 -> Bool
180adt02.lc 6:13-6:17 1806:13-6:17
181 Type 181 Type
182adt02.lc 9:1-9:7 1829:1-9:7
183 Data1 183 Data1
184adt02.lc 9:10-9:15 1849:10-9:15
185 Bool -> Data1 185 Bool -> Data1
186adt02.lc 9:10-9:20 1869:10-9:20
187 Data1 187 Data1
188adt02.lc 9:16-9:20 1889:16-9:20
189 Bool 189 Bool
190adt02.lc 10:1-10:7 19010:1-10:7
191 Data2 191 Data2
192adt02.lc 10:10-10:15 19210:10-10:15
193 Bool -> String -> Bool -> Data2 193 Bool -> String -> Bool -> Data2
194adt02.lc 10:10-10:20 19410:10-10:20
195 String -> Bool -> Data2 195 String -> Bool -> Data2
196adt02.lc 10:10-10:29 19610:10-10:29
197 Bool -> Data2 197 Bool -> Data2
198adt02.lc 10:10-10:34 19810:10-10:34
199 Data2 199 Data2
200adt02.lc 10:16-10:20 20010:16-10:20
201 Bool 201 Bool
202adt02.lc 10:21-10:29 20210:21-10:29
203 String 203 String
204adt02.lc 10:30-10:34 20410:30-10:34
205 Bool 205 Bool
206adt02.lc 12:6-12:11 20612:6-12:11
207 Type -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type 207 Type -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type
208 -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type 208 -> Type -> Type -> Type | Type -> Type -> Type -> Type | Type
209adt02.lc 12:6-12:13 20912:6-12:13
210 Type -> Type -> Type 210 Type -> Type -> Type
211adt02.lc 12:6-12:15 21112:6-12:15
212 Type -> Type 212 Type -> Type
213adt02.lc 12:6-12:17 21312:6-12:17
214 Type | Type 214 Type | Type
215adt02.lc 12:6-12:25 21512:6-12:25
216 Type | Type | Type | Type 216 Type | Type | Type | Type
217adt02.lc 12:6-15:14 21712:6-15:14
218 Type | Type | Type | Type | Type 218 Type | Type | Type | Type | Type
219adt02.lc 12:12-12:13 21912:12-12:13
220 Type 220 Type
221adt02.lc 12:14-12:15 22112:14-12:15
222 Type 222 Type
223adt02.lc 12:16-12:17 22312:16-12:17
224 Type 224 Type
225adt02.lc 12:20-12:25 22512:20-12:25
226 forall a b c . a -> b -> c -> Data3 a b c | Data3 226 forall a b c . a -> b -> c -> Data3 a b c | Data3
227 _g 227 _g
228 _f 228 _f
229 _e | Type | Type | Type | Type 229 _e | Type | Type | Type | Type
230adt02.lc 13:5-13:9 23013:5-13:9
231 forall a b c . Data3 a b c -> a 231 forall a b c . Data3 a b c -> a
232adt02.lc 13:13-13:14 23213:13-13:14
233 Type 233 Type
234adt02.lc 14:5-14:9 23414:5-14:9
235 forall a b c . Data3 a b c -> b 235 forall a b c . Data3 a b c -> b
236adt02.lc 14:13-14:14 23614:13-14:14
237 Type 237 Type
238adt02.lc 15:5-15:9 23815:5-15:9
239 forall a b c . Data3 a b c -> c 239 forall a b c . Data3 a b c -> c
240adt02.lc 15:13-15:14 24015:13-15:14
241 Type 241 Type
242adt02.lc 18:1-18:7 24218:1-18:7
243 Data3 Bool Bool Bool 243 Data3 Bool Bool Bool
244adt02.lc 18:10-18:15 24418:10-18:15
245 forall a b c . a -> b -> c -> Data3 a b c 245 forall a b c . a -> b -> c -> Data3 a b c
246adt02.lc 18:10-18:20 24618:10-18:20
247 _b -> _a -> Data3 Bool _b _a 247 _b -> _a -> Data3 Bool _b _a
248adt02.lc 18:10-18:25 24818:10-18:25
249 _a -> Data3 Bool Bool _a 249 _a -> Data3 Bool Bool _a
250adt02.lc 18:10-18:30 25018:10-18:30
251 Data3 Bool Bool Bool 251 Data3 Bool Bool Bool
252adt02.lc 18:16-18:20 25218:16-18:20
253 Bool 253 Bool
254adt02.lc 18:21-18:25 25418:21-18:25
255 Bool 255 Bool
256adt02.lc 18:26-18:30 25618:26-18:30
257 Bool 257 Bool
258adt02.lc 20:1-20:5 25820:1-20:5
259 Bool 259 Bool
260adt02.lc 20:8-20:12 26020:8-20:12
261 Data2 -> Bool 261 Data2 -> Bool
262adt02.lc 20:8-20:19 26220:8-20:19
263 Bool 263 Bool
264adt02.lc 20:8-20:22 26420:8-20:22
265 Bool -> Bool 265 Bool -> Bool
266adt02.lc 20:8-20:49 26620:8-20:49
267 Bool 267 Bool
268adt02.lc 20:13-20:19 26820:13-20:19
269 Data2 269 Data2
270adt02.lc 20:20-20:22 27020:20-20:22
271 Bool -> Bool -> Bool 271 Bool -> Bool -> Bool
272adt02.lc 20:23-20:27 27220:23-20:27
273 Data2 -> Bool 273 Data2 -> Bool
274adt02.lc 20:23-20:34 27420:23-20:34
275 Bool 275 Bool
276adt02.lc 20:23-20:37 27620:23-20:37
277 Bool -> Bool 277 Bool -> Bool
278adt02.lc 20:23-20:49 27820:23-20:49
279 Bool 279 Bool
280adt02.lc 20:28-20:34 28020:28-20:34
281 Data2 281 Data2
282adt02.lc 20:35-20:37 28220:35-20:37
283 Bool -> Bool -> Bool 283 Bool -> Bool -> Bool
284adt02.lc 20:38-20:42 28420:38-20:42
285 forall a b c . Data3 a b c -> a 285 forall a b c . Data3 a b c -> a
286adt02.lc 20:38-20:49 28620:38-20:49
287 Bool 287 Bool
288adt02.lc 20:43-20:49 28820:43-20:49
289 Data3 Bool Bool Bool \ No newline at end of file 289 Data3 Bool Bool Bool \ No newline at end of file
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out
index 4df48b2c..e07abac2 100644
--- a/testdata/language-features/adt/adt02.reject.out
+++ b/testdata/language-features/adt/adt02.reject.out
@@ -1,9 +1,9 @@
1type error: can not unify 1type error: can not unify
2 'Internals.lc:63:6: 2 <<installed-prelude-path>>/Internals.lc:63:6:
3 data Bool = False | True 3 data Bool = False | True
4 ^^^^ 4 ^^^^
5with 5with
6 'Internals.lc:58:6: 6 <<installed-prelude-path>>/Internals.lc:58:6:
7 data Int 7 data Int
8 ^^^ 8 ^^^
9in proj 9in proj
@@ -18,36 +18,36 @@ case'Data3
18 -> forall (h :: Data3) -> a h 18 -> forall (h :: Data3) -> a h
19match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b 19match'Data3 :: forall (a :: Type -> Type) -> a Data3 -> forall b -> a b -> a b
20!type error: can not unify 20!type error: can not unify
21 'Internals.lc:63:6: 21 <<installed-prelude-path>>/Internals.lc:63:6:
22 data Bool = False | True 22 data Bool = False | True
23 ^^^^ 23 ^^^^
24with 24with
25 'Internals.lc:58:6: 25 <<installed-prelude-path>>/Internals.lc:58:6:
26 data Int 26 data Int
27 ^^^ 27 ^^^
28in proj 28in proj
29------------ tooltips 29------------ tooltips
30adt02.reject.lc 2:6-2:11 302:6-2:11
31 Type | Type | Type | Type | Type | Type | Type | Type 31 Type | Type | Type | Type | Type | Type | Type | Type
32adt02.reject.lc 2:6-5:25 322:6-5:25
33 Type | Type 33 Type | Type
34adt02.reject.lc 2:6-7:11 342:6-7:11
35 Type | Type 35 Type | Type
36adt02.reject.lc 2:6-10:20 362:6-10:20
37 Type | Type 37 Type | Type
38adt02.reject.lc 3:5-3:10 383:5-3:10
39 Bool -> Char -> Bool -> Data3 | Data3 | Type | Type | Type | Type 39 Bool -> Char -> Bool -> Data3 | Data3 | Type | Type | Type | Type
40adt02.reject.lc 3:21-3:25 403:21-3:25
41 Type 41 Type
42adt02.reject.lc 4:21-4:25 424:21-4:25
43 Type 43 Type
44adt02.reject.lc 5:21-5:25 445:21-5:25
45 Type 45 Type
46adt02.reject.lc 7:5-7:11 467:5-7:11
47 Int -> String -> Int -> Data3 | Data3 | Type | Type | Type | Type 47 Int -> String -> Int -> Data3 | Data3 | Type | Type | Type | Type
48adt02.reject.lc 8:17-8:20 488:17-8:20
49 Type 49 Type
50adt02.reject.lc 9:17-9:23 509:17-9:23
51 Type 51 Type
52adt02.reject.lc 10:17-10:20 5210:17-10:20
53 Type \ No newline at end of file 53 Type \ No newline at end of file
diff --git a/testdata/language-features/adt/adt03.reject.out b/testdata/language-features/adt/adt03.reject.out
index 4296561e..51c1f1ad 100644
--- a/testdata/language-features/adt/adt03.reject.out
+++ b/testdata/language-features/adt/adt03.reject.out
@@ -1,11 +1,11 @@
1can't find: a in adt03.reject.lc:2:20: 1can't find: a in ./testdata/language-features/adt/adt03.reject.lc:2:20:
2data Data3 = Data3 a b c 2data Data3 = Data3 a b c
3 ^ 3 ^
4------------ trace 4------------ trace
5'Data3 :: Type 5'Data3 :: Type
6!can't find: a in adt03.reject.lc:2:20: 6!can't find: a in ./testdata/language-features/adt/adt03.reject.lc:2:20:
7data Data3 = Data3 a b c 7data Data3 = Data3 a b c
8 ^ 8 ^
9------------ tooltips 9------------ tooltips
10adt03.reject.lc 2:6-2:11 102:6-2:11
11 Type \ No newline at end of file 11 Type \ No newline at end of file
diff --git a/testdata/language-features/adt/adt04.reject.out b/testdata/language-features/adt/adt04.reject.out
index 5a605902..7ec3f438 100644
--- a/testdata/language-features/adt/adt04.reject.out
+++ b/testdata/language-features/adt/adt04.reject.out
@@ -1,11 +1,11 @@
1can't find: a in adt04.reject.lc:2:27: 1can't find: a in ./testdata/language-features/adt/adt04.reject.lc:2:27:
2data Data3 = Data3 { x :: a , y :: b , z :: c } 2data Data3 = Data3 { x :: a , y :: b , z :: c }
3 ^ 3 ^
4------------ trace 4------------ trace
5'Data3 :: Type 5'Data3 :: Type
6!can't find: a in adt04.reject.lc:2:27: 6!can't find: a in ./testdata/language-features/adt/adt04.reject.lc:2:27:
7data Data3 = Data3 { x :: a , y :: b , z :: c } 7data Data3 = Data3 { x :: a , y :: b , z :: c }
8 ^ 8 ^
9------------ tooltips 9------------ tooltips
10adt04.reject.lc 2:6-2:11 102:6-2:11
11 Type \ No newline at end of file 11 Type \ No newline at end of file
diff --git a/testdata/language-features/adt/adt05.out b/testdata/language-features/adt/adt05.out
index 5e37e669..777c9003 100644
--- a/testdata/language-features/adt/adt05.out
+++ b/testdata/language-features/adt/adt05.out
@@ -66,77 +66,77 @@ value1 = _rhs TEmpty
66value2 :: forall a . Num a => TList a 66value2 :: forall a . Num a => TList a
67value2 = \a b -> _rhs (TCons (fromInt a b 3) TEmpty) 67value2 = \a b -> _rhs (TCons (fromInt a b 3) TEmpty)
68------------ tooltips 68------------ tooltips
69adt05.lc 3:6-3:11 693:6-3:11
70 Type -> Type | Type -> Type | Type -> Type | Type -> Type | Type -> Type | Type 70 Type -> Type | Type -> Type | Type -> Type | Type -> Type | Type -> Type | Type
71adt05.lc 3:6-3:13 713:6-3:13
72 Type | Type | Type | Type 72 Type | Type | Type | Type
73adt05.lc 3:6-3:30 733:6-3:30
74 Type | Type | Type 74 Type | Type | Type
75adt05.lc 3:6-3:42 753:6-3:42
76 Type | Type 76 Type | Type
77adt05.lc 3:12-3:13 773:12-3:13
78 Type | Type 78 Type | Type
79adt05.lc 3:16-3:22 793:16-3:22
80 forall a . TList a | TList _b 80 forall a . TList a | TList _b
81adt05.lc 3:25-3:30 813:25-3:30
82 forall a . a -> TList a -> TList a | TList _e | Type | Type | Type 82 forall a . a -> TList a -> TList a | TList _e | Type | Type | Type
83adt05.lc 3:31-3:32 833:31-3:32
84 Type 84 Type
85adt05.lc 3:34-3:39 853:34-3:39
86 Type -> Type 86 Type -> Type
87adt05.lc 3:34-3:41 873:34-3:41
88 Type 88 Type
89adt05.lc 3:40-3:41 893:40-3:41
90 Type 90 Type
91adt05.lc 5:1-5:7 915:1-5:7
92 forall a . TList a 92 forall a . TList a
93adt05.lc 5:10-5:16 935:10-5:16
94 forall a . TList a 94 forall a . TList a
95adt05.lc 6:1-6:7 956:1-6:7
96 forall a . Num a => TList a 96 forall a . Num a => TList a
97adt05.lc 6:10-6:15 976:10-6:15
98 forall a . a -> TList a -> TList a 98 forall a . a -> TList a -> TList a
99adt05.lc 6:10-6:17 996:10-6:17
100 TList _b -> TList _b 100 TList _b -> TList _b
101adt05.lc 6:10-6:24 1016:10-6:24
102 TList _b 102 TList _b
103adt05.lc 6:16-6:17 1036:16-6:17
104 _b 104 _b
105adt05.lc 6:18-6:24 1056:18-6:24
106 forall a . TList a 106 forall a . TList a
107adt05.lc 8:1-8:8 1078:1-8:8
108 forall a . TList a -> Bool 108 forall a . TList a -> Bool
109adt05.lc 8:18-8:22 1098:18-8:22
110 Bool 110 Bool
111adt05.lc 8:18-9:23 1118:18-9:23
112 TList _a -> Bool 112 TList _a -> Bool
113adt05.lc 9:18-9:23 1139:18-9:23
114 Bool 114 Bool
115adt05.lc 11:1-11:7 11511:1-11:7
116 forall a . TList a -> Bool 116 forall a . TList a -> Bool
117adt05.lc 11:22-11:26 11711:22-11:26
118 Bool 118 Bool
119adt05.lc 11:22-12:27 11911:22-12:27
120 TList _a -> Bool 120 TList _a -> Bool
121adt05.lc 12:22-12:27 12112:22-12:27
122 Bool 122 Bool
123adt05.lc 14:1-14:5 12314:1-14:5
124 @Type -> forall a . Num a => Bool 124 @Type -> forall a . Num a => Bool
125adt05.lc 14:8-14:15 12514:8-14:15
126 forall a . TList a -> Bool 126 forall a . TList a -> Bool
127adt05.lc 14:8-14:22 12714:8-14:22
128 Bool 128 Bool
129adt05.lc 14:8-14:25 12914:8-14:25
130 Bool -> Bool 130 Bool -> Bool
131adt05.lc 14:8-14:39 13114:8-14:39
132 Bool 132 Bool
133adt05.lc 14:16-14:22 13314:16-14:22
134 forall a . TList a 134 forall a . TList a
135adt05.lc 14:23-14:25 13514:23-14:25
136 Bool -> Bool -> Bool 136 Bool -> Bool -> Bool
137adt05.lc 14:26-14:32 13714:26-14:32
138 forall a . TList a -> Bool 138 forall a . TList a -> Bool
139adt05.lc 14:26-14:39 13914:26-14:39
140 Bool 140 Bool
141adt05.lc 14:33-14:39 14114:33-14:39
142 forall a . Num a => TList a \ No newline at end of file 142 forall a . Num a => TList a \ No newline at end of file
diff --git a/testdata/language-features/adt/gadt01.out b/testdata/language-features/adt/gadt01.out
index a88a5bec..0a4d5138 100644
--- a/testdata/language-features/adt/gadt01.out
+++ b/testdata/language-features/adt/gadt01.out
@@ -125,252 +125,252 @@ value2 = _rhs (Value2 True "s")
125value3 :: M3 Bool "t" 125value3 :: M3 Bool "t"
126value3 = _rhs (Value3 "t" True) 126value3 = _rhs (Value3 "t" True)
127------------ tooltips 127------------ tooltips
128gadt01.lc 2:6-2:7 1282:6-2:7
129 Nat -> Type -> Type | Nat -> Type -> Type | Type | Type | Nat 129 Nat -> Type -> Type | Nat -> Type -> Type | Type | Type | Nat
130 -> Type -> Type | Type | Type | Type 130 -> Type -> Type | Type | Type | Type
131gadt01.lc 2:6-4:25 1312:6-4:25
132 Type | Type 132 Type | Type
133gadt01.lc 2:11-2:14 1332:11-2:14
134 Type 134 Type
135gadt01.lc 2:18-2:22 1352:18-2:22
136 Type 136 Type
137gadt01.lc 2:18-2:30 1372:18-2:30
138 Type 138 Type
139gadt01.lc 2:26-2:30 1392:26-2:30
140 Type | Type 140 Type | Type
141gadt01.lc 3:3-3:6 1413:3-3:6
142 forall a . a -> V 1 a | V 1 _b 142 forall a . a -> V 1 a | V 1 _b
143gadt01.lc 3:3-3:20 1433:3-3:20
144 Type | Type | Type 144 Type | Type | Type
145gadt01.lc 3:10-3:11 1453:10-3:11
146 _b 146 _b
147gadt01.lc 3:10-3:20 1473:10-3:20
148 Type 148 Type
149gadt01.lc 3:15-3:16 1493:15-3:16
150 Nat -> Type -> Type 150 Nat -> Type -> Type
151gadt01.lc 3:15-3:18 1513:15-3:18
152 Type -> Type 152 Type -> Type
153gadt01.lc 3:15-3:20 1533:15-3:20
154 Type | Type 154 Type | Type
155gadt01.lc 3:17-3:18 1553:17-3:18
156 _b | _b 156 _b | _b
157gadt01.lc 3:17-3:20 1573:17-3:20
158 V 1 _b -> Type 158 V 1 _b -> Type
159gadt01.lc 3:19-3:20 1593:19-3:20
160 Type | Type 160 Type | Type
161gadt01.lc 4:3-4:6 1614:3-4:6
162 forall a . a -> a -> V 2 a | V 2 _c 162 forall a . a -> a -> V 2 a | V 2 _c
163gadt01.lc 4:3-4:25 1634:3-4:25
164 Type | Type | Type | Type 164 Type | Type | Type | Type
165gadt01.lc 4:10-4:11 1654:10-4:11
166 _b 166 _b
167gadt01.lc 4:10-4:25 1674:10-4:25
168 Type 168 Type
169gadt01.lc 4:15-4:16 1694:15-4:16
170 Type 170 Type
171gadt01.lc 4:15-4:25 1714:15-4:25
172 Type 172 Type
173gadt01.lc 4:20-4:21 1734:20-4:21
174 Nat -> Type -> Type 174 Nat -> Type -> Type
175gadt01.lc 4:20-4:23 1754:20-4:23
176 Type -> Type 176 Type -> Type
177gadt01.lc 4:20-4:25 1774:20-4:25
178 Type | Type 178 Type | Type
179gadt01.lc 4:22-4:23 1794:22-4:23
180 _b | _b 180 _b | _b
181gadt01.lc 4:22-4:25 1814:22-4:25
182 V 2 _c -> Type 182 V 2 _c -> Type
183gadt01.lc 4:24-4:25 1834:24-4:25
184 Type | Type 184 Type | Type
185gadt01.lc 6:6-6:7 1856:6-6:7
186 Type -> String -> Type | Type -> String -> Type | Type | Type | Type 186 Type -> String -> Type | Type -> String -> Type | Type | Type | Type
187 -> String -> Type | Type | Type | Type 187 -> String -> Type | Type | Type | Type
188gadt01.lc 6:6-7:33 1886:6-7:33
189 Type 189 Type
190gadt01.lc 6:11-6:15 1906:11-6:15
191 Type 191 Type
192gadt01.lc 6:19-6:25 1926:19-6:25
193 Type 193 Type
194gadt01.lc 6:19-6:33 1946:19-6:33
195 Type 195 Type
196gadt01.lc 6:29-6:33 1966:29-6:33
197 Type | Type 197 Type | Type
198gadt01.lc 7:3-7:8 1987:3-7:8
199 forall a . a -> forall (b :: String) . M a b | M _c _a 199 forall a . a -> forall (b :: String) . M a b | M _c _a
200gadt01.lc 7:3-7:33 2007:3-7:33
201 Type | Type | Type | Type 201 Type | Type | Type | Type
202gadt01.lc 7:12-7:13 2027:12-7:13
203 _b 203 _b
204gadt01.lc 7:12-7:33 2047:12-7:33
205 Type 205 Type
206gadt01.lc 7:17-7:33 2067:17-7:33
207 Type 207 Type
208gadt01.lc 7:28-7:29 2087:28-7:29
209 Type -> String -> Type 209 Type -> String -> Type
210gadt01.lc 7:28-7:31 2107:28-7:31
211 String -> Type 211 String -> Type
212gadt01.lc 7:28-7:33 2127:28-7:33
213 Type | Type 213 Type | Type
214gadt01.lc 7:30-7:31 2147:30-7:31
215 Type | Type 215 Type | Type
216gadt01.lc 7:30-7:33 2167:30-7:33
217 M _c _a -> Type 217 M _c _a -> Type
218gadt01.lc 7:32-7:33 2187:32-7:33
219 _b | String 219 _b | String
220gadt01.lc 9:6-9:8 2209:6-9:8
221 Type -> String -> Type | Type -> String -> Type | Type | Type 221 Type -> String -> Type | Type -> String -> Type | Type | Type
222 -> String -> Type | Type | Type 222 -> String -> Type | Type | Type
223gadt01.lc 9:6-10:35 2239:6-10:35
224 Type | Type 224 Type | Type
225gadt01.lc 9:15-9:19 2259:15-9:19
226 Type | Type | Type 226 Type | Type | Type
227gadt01.lc 9:24-9:30 2279:24-9:30
228 Type 228 Type
229gadt01.lc 9:24-9:38 2299:24-9:38
230 Type 230 Type
231gadt01.lc 9:34-9:38 2319:34-9:38
232 Type | Type 232 Type | Type
233gadt01.lc 10:3-10:9 23310:3-10:9
234 forall a . a -> forall (b :: String) . M2 a b | M2 _d _a 234 forall a . a -> forall (b :: String) . M2 a b | M2 _d _a
235gadt01.lc 10:3-10:35 23510:3-10:35
236 Type | Type | Type 236 Type | Type | Type
237gadt01.lc 10:13-10:14 23710:13-10:14
238 Type 238 Type
239gadt01.lc 10:13-10:35 23910:13-10:35
240 Type 240 Type
241gadt01.lc 10:18-10:35 24110:18-10:35
242 Type 242 Type
243gadt01.lc 10:29-10:31 24310:29-10:31
244 Type -> String -> Type 244 Type -> String -> Type
245gadt01.lc 10:29-10:33 24510:29-10:33
246 String -> Type 246 String -> Type
247gadt01.lc 10:29-10:35 24710:29-10:35
248 Type | Type 248 Type | Type
249gadt01.lc 10:32-10:33 24910:32-10:33
250 Type 250 Type
251gadt01.lc 10:34-10:35 25110:34-10:35
252 _b | String 252 _b | String
253gadt01.lc 12:6-12:8 25312:6-12:8
254 Type -> String -> Type | Type -> String -> Type | Type | Type 254 Type -> String -> Type | Type -> String -> Type | Type | Type
255 -> String -> Type | Type | Type 255 -> String -> Type | Type | Type
256gadt01.lc 12:6-13:35 25612:6-13:35
257 Type | Type 257 Type | Type
258gadt01.lc 12:15-12:19 25812:15-12:19
259 Type | Type | Type 259 Type | Type | Type
260gadt01.lc 12:24-12:30 26012:24-12:30
261 Type 261 Type
262gadt01.lc 12:24-12:38 26212:24-12:38
263 Type 263 Type
264gadt01.lc 12:34-12:38 26412:34-12:38
265 Type | Type 265 Type | Type
266gadt01.lc 13:3-13:9 26613:3-13:9
267 forall a (b :: String) . a -> M3 a b | M3 _d _b 267 forall a (b :: String) . a -> M3 a b | M3 _d _b
268gadt01.lc 13:3-13:35 26813:3-13:35
269 Type | Type | Type 269 Type | Type | Type
270gadt01.lc 13:13-13:35 27013:13-13:35
271 Type 271 Type
272gadt01.lc 13:24-13:25 27213:24-13:25
273 Type 273 Type
274gadt01.lc 13:24-13:35 27413:24-13:35
275 Type 275 Type
276gadt01.lc 13:29-13:31 27613:29-13:31
277 Type -> String -> Type 277 Type -> String -> Type
278gadt01.lc 13:29-13:33 27813:29-13:33
279 String -> Type 279 String -> Type
280gadt01.lc 13:29-13:35 28013:29-13:35
281 Type | Type 281 Type | Type
282gadt01.lc 13:32-13:33 28213:32-13:33
283 Type 283 Type
284gadt01.lc 13:34-13:35 28413:34-13:35
285 _c | String 285 _c | String
286gadt01.lc 17:1-17:2 28617:1-17:2
287 forall a (b :: String) . M2 a b -> a 287 forall a (b :: String) . M2 a b -> a
288gadt01.lc 17:5-17:12 28817:5-17:12
289 forall a 289 forall a
290 . forall (b :: forall (c :: String) -> M2 a c -> Type) 290 . forall (b :: forall (c :: String) -> M2 a c -> Type)
291 -> (forall (d :: a) -> forall (e :: String) . b e ('Value2 d e)) 291 -> (forall (d :: a) -> forall (e :: String) . b e ('Value2 d e))
292 -> forall (f :: String) . forall (g :: M2 a f) -> b f g 292 -> forall (f :: String) . forall (g :: M2 a f) -> b f g
293gadt01.lc 17:5-17:24 29317:5-17:24
294 (forall (a :: _b) -> @String -> _a) -> forall (b :: String) . M2 _b b -> _a 294 (forall (a :: _b) -> @String -> _a) -> forall (b :: String) . M2 _b b -> _a
295gadt01.lc 17:5-17:37 29517:5-17:37
296 forall (a :: String) . M2 _a a -> _a 296 forall (a :: String) . M2 _a a -> _a
297gadt01.lc 17:35-17:36 29717:35-17:36
298 _d 298 _d
299gadt01.lc 19:1-19:2 29919:1-19:2
300 forall a (b :: String) . M3 a b -> a 300 forall a (b :: String) . M3 a b -> a
301gadt01.lc 19:16-19:17 30119:16-19:17
302 _d 302 _d
303gadt01.lc 21:11-21:12 30321:11-21:12
304 Type -> String -> Type 304 Type -> String -> Type
305gadt01.lc 21:11-21:17 30521:11-21:17
306 String -> Type 306 String -> Type
307gadt01.lc 21:11-21:21 30721:11-21:21
308 Type 308 Type
309gadt01.lc 21:13-21:17 30921:13-21:17
310 Type 310 Type
311gadt01.lc 21:18-21:21 31121:18-21:21
312 String 312 String
313gadt01.lc 22:1-22:7 31322:1-22:7
314 M Bool "m" 314 M Bool "m"
315gadt01.lc 22:10-22:15 31522:10-22:15
316 forall a . a -> forall (b :: String) . M a b 316 forall a . a -> forall (b :: String) . M a b
317gadt01.lc 22:10-22:20 31722:10-22:20
318 forall (a :: String) . M Bool a 318 forall (a :: String) . M Bool a
319gadt01.lc 22:16-22:20 31922:16-22:20
320 Bool 320 Bool
321gadt01.lc 24:11-24:13 32124:11-24:13
322 Type -> String -> Type 322 Type -> String -> Type
323gadt01.lc 24:11-24:18 32324:11-24:18
324 String -> Type 324 String -> Type
325gadt01.lc 24:11-24:22 32524:11-24:22
326 Type 326 Type
327gadt01.lc 24:14-24:18 32724:14-24:18
328 Type 328 Type
329gadt01.lc 24:19-24:22 32924:19-24:22
330 String 330 String
331gadt01.lc 25:1-25:7 33125:1-25:7
332 M2 Bool "s" 332 M2 Bool "s"
333gadt01.lc 25:10-25:16 33325:10-25:16
334 forall a . a -> forall (b :: String) . M2 a b 334 forall a . a -> forall (b :: String) . M2 a b
335gadt01.lc 25:10-25:21 33525:10-25:21
336 forall (a :: String) . M2 Bool a 336 forall (a :: String) . M2 Bool a
337gadt01.lc 25:17-25:21 33725:17-25:21
338 Bool 338 Bool
339gadt01.lc 27:11-27:13 33927:11-27:13
340 Type -> String -> Type 340 Type -> String -> Type
341gadt01.lc 27:11-27:18 34127:11-27:18
342 String -> Type 342 String -> Type
343gadt01.lc 27:11-27:22 34327:11-27:22
344 Type 344 Type
345gadt01.lc 27:14-27:18 34527:14-27:18
346 Type 346 Type
347gadt01.lc 27:19-27:22 34727:19-27:22
348 String 348 String
349gadt01.lc 28:1-28:7 34928:1-28:7
350 M3 Bool "t" 350 M3 Bool "t"
351gadt01.lc 28:10-28:16 35128:10-28:16
352 forall a (b :: String) . a -> M3 a b 352 forall a (b :: String) . a -> M3 a b
353gadt01.lc 28:10-28:21 35328:10-28:21
354 M3 Bool _a 354 M3 Bool _a
355gadt01.lc 28:17-28:21 35528:17-28:21
356 Bool 356 Bool
357gadt01.lc 30:1-30:5 35730:1-30:5
358 Bool 358 Bool
359gadt01.lc 30:8-30:9 35930:8-30:9
360 forall a (b :: String) . M2 a b -> a 360 forall a (b :: String) . M2 a b -> a
361gadt01.lc 30:8-30:16 36130:8-30:16
362 Bool 362 Bool
363gadt01.lc 30:8-30:19 36330:8-30:19
364 Bool -> Bool 364 Bool -> Bool
365gadt01.lc 30:8-30:28 36530:8-30:28
366 Bool 366 Bool
367gadt01.lc 30:10-30:16 36730:10-30:16
368 M2 Bool "s" 368 M2 Bool "s"
369gadt01.lc 30:17-30:19 36930:17-30:19
370 Bool -> Bool -> Bool 370 Bool -> Bool -> Bool
371gadt01.lc 30:20-30:21 37130:20-30:21
372 forall a (b :: String) . M3 a b -> a 372 forall a (b :: String) . M3 a b -> a
373gadt01.lc 30:20-30:28 37330:20-30:28
374 Bool 374 Bool
375gadt01.lc 30:22-30:28 37530:22-30:28
376 M3 Bool "t" \ No newline at end of file 376 M3 Bool "t" \ No newline at end of file
diff --git a/testdata/language-features/adt/gadt01.reject.out b/testdata/language-features/adt/gadt01.reject.out
index d5a59c56..7010122f 100644
--- a/testdata/language-features/adt/gadt01.reject.out
+++ b/testdata/language-features/adt/gadt01.reject.out
@@ -3,9 +3,9 @@ illegal data definition (parameters are not uniform)
3'M3 :: Type -> String -> Type 3'M3 :: Type -> String -> Type
4!illegal data definition (parameters are not uniform) 4!illegal data definition (parameters are not uniform)
5------------ tooltips 5------------ tooltips
6gadt01.reject.lc 5:6-5:8 65:6-5:8
7 Type -> String -> Type 7 Type -> String -> Type
8gadt01.reject.lc 5:15-5:19 85:15-5:19
9 Type 9 Type
10gadt01.reject.lc 5:27-5:33 105:27-5:33
11 Type | Type \ No newline at end of file 11 Type | Type \ No newline at end of file
diff --git a/testdata/language-features/adt/gadt02.reject.out b/testdata/language-features/adt/gadt02.reject.out
index 9fd5aa56..81d07dc0 100644
--- a/testdata/language-features/adt/gadt02.reject.out
+++ b/testdata/language-features/adt/gadt02.reject.out
@@ -1,3 +1,3 @@
1testdata/language-features/adt/gadt02.reject.lc:2:9: 1./testdata/language-features/adt/gadt02.reject.lc:2:9:
2unexpected 'T' 2unexpected 'T'
3expecting "::", "where", '=', '@', ::, end of input, or lowercase ident 3expecting "::", "where", '=', '@', ::, end of input, or lowercase ident \ No newline at end of file
diff --git a/testdata/language-features/adt/gadt03.reject.out b/testdata/language-features/adt/gadt03.reject.out
index ee28c6db..49b41b83 100644
--- a/testdata/language-features/adt/gadt03.reject.out
+++ b/testdata/language-features/adt/gadt03.reject.out
@@ -13,46 +13,46 @@ match'M2
13'M3 :: Type -> String -> Type 13'M3 :: Type -> String -> Type
14!illegal data definition (parameters are not uniform) 14!illegal data definition (parameters are not uniform)
15------------ tooltips 15------------ tooltips
16gadt03.reject.lc 2:6-2:8 162:6-2:8
17 Type -> String -> Type | Type -> String -> Type | Type | Type 17 Type -> String -> Type | Type -> String -> Type | Type | Type
18 -> String -> Type | Type | Type 18 -> String -> Type | Type | Type
19gadt03.reject.lc 2:6-3:35 192:6-3:35
20 Type | Type 20 Type | Type
21gadt03.reject.lc 2:15-2:19 212:15-2:19
22 Type | Type | Type 22 Type | Type | Type
23gadt03.reject.lc 2:24-2:30 232:24-2:30
24 Type 24 Type
25gadt03.reject.lc 2:24-2:38 252:24-2:38
26 Type 26 Type
27gadt03.reject.lc 2:34-2:38 272:34-2:38
28 Type | Type 28 Type | Type
29gadt03.reject.lc 3:3-3:9 293:3-3:9
30 forall a . a -> forall (b :: String) . M2 a b | M2 _d _a 30 forall a . a -> forall (b :: String) . M2 a b | M2 _d _a
31gadt03.reject.lc 3:3-3:35 313:3-3:35
32 Type | Type | Type 32 Type | Type | Type
33gadt03.reject.lc 3:13-3:14 333:13-3:14
34 Type 34 Type
35gadt03.reject.lc 3:13-3:35 353:13-3:35
36 Type 36 Type
37gadt03.reject.lc 3:18-3:35 373:18-3:35
38 Type 38 Type
39gadt03.reject.lc 3:29-3:31 393:29-3:31
40 Type -> String -> Type 40 Type -> String -> Type
41gadt03.reject.lc 3:29-3:33 413:29-3:33
42 String -> Type 42 String -> Type
43gadt03.reject.lc 3:29-3:35 433:29-3:35
44 Type | Type 44 Type | Type
45gadt03.reject.lc 3:32-3:33 453:32-3:33
46 Type 46 Type
47gadt03.reject.lc 3:34-3:35 473:34-3:35
48 _b | String 48 _b | String
49gadt03.reject.lc 5:6-5:8 495:6-5:8
50 Type -> String -> Type 50 Type -> String -> Type
51gadt03.reject.lc 5:15-5:19 515:15-5:19
52 Type 52 Type
53gadt03.reject.lc 5:24-5:30 535:24-5:30
54 Type 54 Type
55gadt03.reject.lc 5:24-5:38 555:24-5:38
56 Type 56 Type
57gadt03.reject.lc 5:34-5:38 575:34-5:38
58 Type | Type \ No newline at end of file 58 Type | Type \ No newline at end of file
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out
index 1d03ccc1..515f2069 100644
--- a/testdata/language-features/adt/gadt04.reject.out
+++ b/testdata/language-features/adt/gadt04.reject.out
@@ -1,7 +1,7 @@
1already defined Value at gadt04.reject.lc:6:3: 1already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3:
2 Value :: a -> forall m . M2 a m 2 Value :: a -> forall m . M2 a m
3 ^^^^^ 3 ^^^^^
4and at gadt04.reject.lc:3:3: 4and at ./testdata/language-features/adt/gadt04.reject.lc:3:3:
5 Value :: a -> forall m . M a m 5 Value :: a -> forall m . M a m
6 ^^^^^ 6 ^^^^^
7------------ trace 7------------ trace
@@ -16,71 +16,71 @@ match'M
16 -> (forall b (c :: String) -> a (M b c)) -> forall d -> a d -> a d 16 -> (forall b (c :: String) -> a (M b c)) -> forall d -> a d -> a d
17'M2 :: Type -> String -> Type 17'M2 :: Type -> String -> Type
18Value :: forall a . a -> forall (b :: String) . M2 a b 18Value :: forall a . a -> forall (b :: String) . M2 a b
19!already defined Value at gadt04.reject.lc:6:3: 19!already defined Value at ./testdata/language-features/adt/gadt04.reject.lc:6:3:
20 Value :: a -> forall m . M2 a m 20 Value :: a -> forall m . M2 a m
21 ^^^^^ 21 ^^^^^
22and at gadt04.reject.lc:3:3: 22and at ./testdata/language-features/adt/gadt04.reject.lc:3:3:
23 Value :: a -> forall m . M a m 23 Value :: a -> forall m . M a m
24 ^^^^^ 24 ^^^^^
25------------ tooltips 25------------ tooltips
26gadt04.reject.lc 2:6-2:7 262:6-2:7
27 Type -> String -> Type | Type -> String -> Type | Type | Type | Type 27 Type -> String -> Type | Type -> String -> Type | Type | Type | Type
28 -> String -> Type | Type | Type | Type 28 -> String -> Type | Type | Type | Type
29gadt04.reject.lc 2:6-3:33 292:6-3:33
30 Type 30 Type
31gadt04.reject.lc 2:11-2:15 312:11-2:15
32 Type 32 Type
33gadt04.reject.lc 2:19-2:25 332:19-2:25
34 Type 34 Type
35gadt04.reject.lc 2:19-2:33 352:19-2:33
36 Type 36 Type
37gadt04.reject.lc 2:29-2:33 372:29-2:33
38 Type | Type 38 Type | Type
39gadt04.reject.lc 3:3-3:8 393:3-3:8
40 forall a . a -> forall (b :: String) . M a b | M _c _a 40 forall a . a -> forall (b :: String) . M a b | M _c _a
41gadt04.reject.lc 3:3-3:33 413:3-3:33
42 Type | Type | Type | Type 42 Type | Type | Type | Type
43gadt04.reject.lc 3:12-3:13 433:12-3:13
44 _b 44 _b
45gadt04.reject.lc 3:12-3:33 453:12-3:33
46 Type 46 Type
47gadt04.reject.lc 3:17-3:33 473:17-3:33
48 Type 48 Type
49gadt04.reject.lc 3:28-3:29 493:28-3:29
50 Type -> String -> Type 50 Type -> String -> Type
51gadt04.reject.lc 3:28-3:31 513:28-3:31
52 String -> Type 52 String -> Type
53gadt04.reject.lc 3:28-3:33 533:28-3:33
54 Type | Type 54 Type | Type
55gadt04.reject.lc 3:30-3:31 553:30-3:31
56 Type | Type 56 Type | Type
57gadt04.reject.lc 3:30-3:33 573:30-3:33
58 M _c _a -> Type 58 M _c _a -> Type
59gadt04.reject.lc 3:32-3:33 593:32-3:33
60 _b | String 60 _b | String
61gadt04.reject.lc 5:6-5:8 615:6-5:8
62 Type -> String -> Type 62 Type -> String -> Type
63gadt04.reject.lc 5:12-5:16 635:12-5:16
64 Type 64 Type
65gadt04.reject.lc 5:20-5:26 655:20-5:26
66 Type 66 Type
67gadt04.reject.lc 5:20-5:34 675:20-5:34
68 Type 68 Type
69gadt04.reject.lc 5:30-5:34 695:30-5:34
70 Type | Type 70 Type | Type
71gadt04.reject.lc 6:12-6:13 716:12-6:13
72 _b 72 _b
73gadt04.reject.lc 6:12-6:34 736:12-6:34
74 Type 74 Type
75gadt04.reject.lc 6:17-6:34 756:17-6:34
76 Type 76 Type
77gadt04.reject.lc 6:28-6:30 776:28-6:30
78 Type -> String -> Type 78 Type -> String -> Type
79gadt04.reject.lc 6:28-6:32 796:28-6:32
80 String -> Type 80 String -> Type
81gadt04.reject.lc 6:28-6:34 816:28-6:34
82 Type | Type 82 Type | Type
83gadt04.reject.lc 6:31-6:32 836:31-6:32
84 Type 84 Type
85gadt04.reject.lc 6:33-6:34 856:33-6:34
86 _b \ No newline at end of file 86 _b \ No newline at end of file
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 20:33:48 +0000