b032121ad739c593a565abe87085fbeaf972fcca
[ghc.git] / testsuite / tests / typecheck / should_compile / all.T
1 # Args to vtc are: extra compile flags
2
3 def f( name, opts ):
4   opts.extra_hc_opts = '-fno-warn-incomplete-patterns'
5
6 setTestOpts(f)
7
8 test('tc001', normal, compile, [''])
9 test('tc002', normal, compile, [''])
10 test('tc003', normal, compile, [''])
11 test('tc004', normal, compile, [''])
12 test('tc005', normal, compile, [''])
13 test('tc006', normal, compile, [''])
14 test('tc007', normal, compile, [''])
15 test('tc008', normal, compile, [''])
16 test('tc009', normal, compile, [''])
17 test('tc010', normal, compile, [''])
18 test('tc011', normal, compile, [''])
19 test('tc012', normal, compile, [''])
20 test('tc013', normal, compile, [''])
21 test('tc014', normal, compile, [''])
22 test('tc015', normal, compile, [''])
23 test('tc016', normal, compile, [''])
24 test('tc017', normal, compile, [''])
25 test('tc018', normal, compile, [''])
26 test('tc019', normal, compile, [''])
27 test('tc020', normal, compile, [''])
28 test('tc021', normal, compile, [''])
29 test('tc022', normal, compile, [''])
30 test('tc023', normal, compile, [''])
31 test('tc024', normal, compile, [''])
32 test('tc025', normal, compile, [''])
33 test('tc026', normal, compile, [''])
34 test('tc027', normal, compile, [''])
35 test('tc028', normal, compile, [''])
36 test('tc029', normal, compile, [''])
37 test('tc030', normal, compile, [''])
38 test('tc031', normal, compile, [''])
39 test('tc032', normal, compile, [''])
40 test('tc033', normal, compile, [''])
41 test('tc034', normal, compile, [''])
42 test('tc035', normal, compile, [''])
43 test('tc036', normal, compile, [''])
44 test('tc037', normal, compile, [''])
45 test('tc038', normal, compile, [''])
46 test('tc039', normal, compile, [''])
47 test('tc040', normal, compile, [''])
48 test('tc041', normal, compile, [''])
49 test('tc042', normal, compile, [''])
50 test('tc043', normal, compile, [''])
51 test('tc044', normal, compile, [''])
52 test('tc045', normal, compile, [''])
53 test('tc046', normal, compile, [''])
54 test('tc047', normal, compile, [''])
55 test('tc048', normal, compile, [''])
56 test('tc049', normal, compile, [''])
57 test('tc050', normal, compile, [''])
58 test('tc051', normal, compile, [''])
59 test('tc052', normal, compile, [''])
60 test('tc053', normal, compile, [''])
61 test('tc054', normal, compile, [''])
62 test('tc055', normal, compile, [''])
63 test('tc056', normal, compile, [''])
64 test('tc057', normal, compile, [''])
65 test('tc058', normal, compile, [''])
66 test('tc059', normal, compile, [''])
67 test('tc060', normal, compile, [''])
68 test('tc061', normal, compile, [''])
69 test('tc062', normal, compile, [''])
70 test('tc063', normal, compile, [''])
71 test('tc064', normal, compile, [''])
72 test('tc065', normal, compile, [''])
73 test('tc066', normal, compile, [''])
74 test('tc067', normal, compile, [''])
75 test('tc068', normal, compile, [''])
76 test('tc069', normal, compile, [''])
77 test('tc070', normal, compile, [''])
78 test('tc073', normal, compile, [''])
79 test('tc074', normal, compile, [''])
80 test('tc076', normal, compile, [''])
81 test('tc077', normal, compile, [''])
82 test('tc078', normal, compile, [''])
83 test('tc079', normal, compile, [''])
84 test('tc080', normal, compile, [''])
85 test('tc081', normal, compile, [''])
86 test('tc082', normal, compile, [''])
87 test('tc084', normal, compile, [''])
88 test('tc085', normal, compile, [''])
89 test('tc086', normal, compile, [''])
90 test('tc087', normal, compile, [''])
91 test('tc088', normal, compile, [''])
92 test('tc089', normal, compile, [''])
93 test('tc090', normal, compile, [''])
94 test('tc091', normal, compile, [''])
95 test('tc092', normal, compile, [''])
96 test('tc093', normal, compile, [''])
97 test('tc094', normal, compile, [''])
98 test('tc095', normal, compile, [''])
99 test('tc096', normal, compile, [''])
100 test('tc097', normal, compile, [''])
101 test('tc098', normal, compile, [''])
102 test('tc099', normal, compile, [''])
103 test('tc100', normal, compile, [''])
104 test('tc101', normal, compile, [''])
105 test('tc102', normal, compile, [''])
106 # tc103 free
107 test('tc104', normal, compile, [''])
108 test('tc105', normal, compile, [''])
109 test('tc106', normal, compile, [''])
110 test('tc107', normal, compile, [''])
111 test('tc108', normal, compile, [''])
112 test('tc109', normal, compile, [''])
113 test('tc111', normal, compile, [''])
114 test('tc112', normal, compile, [''])
115 test('tc113', normal, compile, [''])
116 test('tc114', normal, compile, [''])
117 test('tc115', normal, compile, [''])
118 test('tc116', normal, compile, [''])
119 test('tc117', normal, compile, [''])
120 test('tc118', normal, compile, [''])
121 test('tc119', normal, compile, [''])
122 test('tc120', normal, compile, [''])
123 test('tc121', normal, compile, [''])
124 test('tc122', normal, compile, [''])
125 test('tc123', normal, compile, [''])
126 test('tc124', normal, compile, [''])
127 test('tc125', normal, compile, [''])
128 test('tc126', normal, compile, [''])
129 test('tc127', normal, compile, [''])
130 test('tc128', normal, compile, [''])
131 test('tc129', normal, compile, [''])
132 test('tc130', normal, compile, [''])
133 test('tc131', normal, compile, [''])
134 test('tc132', normal, compile, [''])
135 test('tc133', normal, compile, [''])
136
137 # tc134 tested result type signatures, which aren't supported any more
138 # test('tc134', normal, compile_fail, [''])
139
140 test('tc135', normal, compile, [''])
141 test('tc136', normal, compile, [''])
142 test('tc137', normal, compile, [''])
143 test('tc140', normal, compile, [''])
144 test('tc141', normal, compile_fail, [''])
145 test('tc142', normal, compile, [''])
146 test('tc143', normal, compile, [''])
147 test('tc144', normal, compile, [''])
148 test('tc145', normal, compile, [''])
149 test('tc146', normal, compile, [''])
150 test('tc147', normal, compile, [''])
151 test('tc148', normal, compile, [''])
152 test('tc149', normal, compile, [''])
153 test('tc150', normal, compile, [''])
154 test('tc151', normal, compile, [''])
155 test('tc152', normal, compile, [''])
156 test('tc153', normal, compile, [''])
157 test('tc154', normal, compile, [''])
158 test('tc155', normal, compile, [''])
159 test('tc156', normal, compile, [''])
160 test('tc157', normal, compile, [''])
161 test('tc158', normal, compile, [''])
162 test('tc159', normal, compile_and_run, [''])
163 test('tc160', normal, compile, [''])
164 test('tc161', normal, compile, [''])
165 test('tc162', normal, compile, [''])
166 test('tc163', normal, compile, [''])
167 test('tc164', normal, compile, [''])
168 test('tc165', normal, compile, [''])
169 test('tc166', normal, compile, [''])
170 test('tc167', normal, compile, [''])
171 test('tc168', normal, compile_fail, [''])
172 test('tc169', normal, compile, [''])
173
174 test('tc170', [extra_files(['Tc170_Aux.hs'])], run_command, ['$MAKE -s --no-print-directory tc170'])
175
176 test('tc171', normal, compile, [''])
177 test('tc172', normal, compile, [''])
178
179 # The point about this test is that it compiles Tc173a and Tc173b *separately*
180 test('tc173', [extra_files(['Tc173a.hs', 'Tc173b.hs'])], run_command, ['$MAKE -s --no-print-directory tc173'])
181
182 test('tc174', normal, compile, [''])
183 test('tc175', normal, compile, [''])
184 test('tc176', normal, compile, [''])
185 test('tc177', normal, compile, [''])
186 test('tc178', normal, compile, [''])
187 test('tc179', normal, compile, [''])
188 test('tc180', normal, compile, [''])
189 test('tc181', normal, compile, [''])
190 test('tc182', normal, compile, [''])
191 test('tc183', normal, compile, [''])
192 test('tc184', normal, compile, [''])
193 test('tc185', normal, compile, [''])
194 test('tc186', normal, compile, [''])
195 test('tc187', normal, compile, [''])
196 test('tc188', normal, compile, [''])
197 test('tc189', normal, compile, [''])
198 test('tc190', normal, compile, [''])
199 test('tc191', reqlib('syb'), compile, [''])
200 test('tc192', normal, compile, [''])
201 test('tc193', normal, compile, [''])
202 test('tc194', normal, compile, [''])
203 test('tc195', normal, compile, [''])
204 test('tc196', normal, compile, [''])
205 test('tc197', normal, compile, [''])
206 test('tc198', normal, compile, [''])
207 test('tc199', normal, compile, [''])
208 test('tc200', normal, compile, [''])
209 test('tc201', normal, compile, [''])
210 test('tc202', normal, compile, [''])
211 test('tc203', normal, compile, [''])
212 test('tc204', normal, compile, [''])
213 test('tc205', normal, compile, [''])
214 test('tc206', normal, compile, [''])
215 test('tc207', normal, compile, [''])
216 test('tc208', normal, compile, [''])
217 test('tc209', normal, compile, [''])
218 test('tc210', normal, compile, [''])
219 test('tc211', normal, compile_fail, [''])
220 test('tc212', normal, compile, [''])
221 test('tc213', normal, compile, [''])
222 test('tc214', normal, compile, [''])
223 test('tc215', normal, compile, [''])
224
225 # This one is very delicate, but I don't think the result really matters
226 test('tc216', normal, compile, [''])
227
228 test('tc217', normal, compile, [''])
229 test('tc218', normal, compile, [''])
230 test('tc219', normal, compile, [''])
231 test('tc220', [reqlib('syb')], compile, [''])
232 test('tc221', normal, compile, [''])
233 test('tc222', normal, compile, [''])
234 test('tc223', normal, compile, [''])
235 test('tc224', normal, compile, [''])
236 test('tc225', normal, compile, [''])
237 test('tc226', normal, compile, [''])
238 test('tc227', normal, compile, [''])
239 test('tc228', normal, compile, [''])
240 test('tc229', normal, compile, [''])
241 test('tc230', normal, compile, [''])
242 test('tc231', normal, compile, [''])
243 test('tc232', normal, compile, [''])
244 test('tc233', normal, compile, [''])
245 test('tc234', normal, compile, [''])
246 test('tc235', normal, compile, [''])
247 test('tc236', normal, compile, [''])
248 test('tc237', normal, compile, [''])
249 test('tc238', normal, compile, [''])
250
251 test('tc239', [extra_files(['Tc239_Help.hs'])], multimod_compile, ['tc239', '-v0'])
252
253 test('tc240', normal, compile, [''])
254 test('tc241', normal, compile, [''])
255 test('tc242', normal, compile, [''])
256 test('tc243', normal, compile, [''])
257 test('tc244', normal, compile, [''])
258 test('tc245', [extra_files(['Tc245_A.hs'])], run_command, ['$MAKE -s --no-print-directory tc245'])
259 test('tc246', normal, compile, [''])
260 test('tc247', normal, compile, [''])
261 test('tc248', normal, compile, [''])
262
263 test('FD1', normal, compile_fail, [''])
264 test('FD2', normal, compile_fail, [''])
265 test('FD3', normal, compile_fail, [''])
266 test('FD4', normal, compile, [''])
267
268 test('faxen', normal, compile, [''])
269 test('T1495', normal, compile, [''])
270 test('T2045', normal, compile, [''])   # Needs -fhpc
271 test('T2478', normal, compile, [''])
272 test('T2433', [], multimod_compile, ['T2433', '-v0'])
273 test('T2494', normal, compile_fail, [''])
274 test('T2494-2', normal, compile, [''])
275 test('T2497', normal, compile, [''])
276
277
278 # Omitting temporarily
279 test('syn-perf', normal, compile, ['-freduction-depth=30'])
280 test('syn-perf2', normal, compile, [''])
281
282 test('LoopOfTheDay1', normal, compile, [''])
283 test('LoopOfTheDay2', normal, compile, [''])
284 test('LoopOfTheDay3', normal, compile, [''])
285
286 test('T1470', normal, compile, [''])
287 test('T2572', normal, compile, [''])
288 test('T2735', normal, compile, [''])
289 test('T2799', normal, compile, [''])
290 test('T3219', normal, compile, [''])
291 test('T3342', normal, compile, [''])
292 test('T3346', normal, compile, [''])
293 test('T3409', normal, compile, [''])
294 test('T3955', normal, compile, [''])
295 test('PolyRec', normal, compile, [''])
296 test('twins', normal, compile, [''])
297
298 test('T2412', [], run_command, ['$MAKE --no-print-directory -s T2412'])
299
300 test('T2846', normal, compile, [''])
301 test('T4284', normal, compile, [''])
302 test('T2683', normal, compile, [''])
303 test('T3696', normal, compile, [''])
304 test('T1123', normal, compile, [''])
305 test('T3692', normal, compile, [''])
306 test('T700',  normal, compile, [''])
307 test('T4361', normal, compile, [''])
308 test('T4355', normal, compile, [''])
309 test('T1634', normal, compile, [''])
310 test('T4401', normal, compile, [''])
311 test('T4404', normal, compile, ['-Wall'])
312 test('HasKey', normal, compile, [''])
313 test('T4418', normal, compile, [''])
314 test('T4444', normal, compile, [''])
315 test('T4498', normal, compile, [''])
316 test('T4524', normal, compile, [''])
317 test('T4917', normal, compile, [''])
318
319 test('T4912', [], multimod_compile, ['T4912', '-v0'])
320
321 test('T4952', normal, compile, [''])
322 test('T4969', normal, compile, [''])
323 test('T5120', normal, compile, [''])
324 test('mc18', normal, compile, [''])
325 test('tc249', normal, compile, [''])
326 test('tc250', normal, compile, [''])
327 test('tc251', [extra_files(['Tc251_Help.hs'])], multi_compile, ['tc251', [('Tc251_Help.hs', '')], '-v0'])
328 test('tc252', normal, compile, [''])
329 test('tc253', normal, compile, [''])
330 test('tc254', normal, compile, [''])
331 test('tc255', normal, compile, [''])
332 test('tc256', normal, compile, [''])
333 test('tc257', normal, compile, [''])
334 test('tc258', normal, compile, [''])
335 test('tc259', normal, compile, [''])
336 test('tc260', normal, compile, [''])
337 test('tc261', normal, compile, [''])
338 test('tc262', normal, compile, [''])
339 test('tc263', [extra_files(['Tc263_Help.hs'])], multimod_compile, ['tc263', '-v0'])
340 test('tc265', normal, compile, [''])
341 test('tc266', [extra_files(['Tc266.hs', 'Tc266a.hs', 'Tc266.hs-boot'])], run_command, ['$MAKE -s --no-print-directory tc266'])
342 test('Tc267', [extra_files(['Tc267a.hs', 'Tc267b.hs', 'Tc267a.hs-boot', 'Tc267b.hs-boot'])], run_command, ['$MAKE -s --no-print-directory Tc267'])
343 test('tc268', normal, compile, [''])
344 test('tc269', normal, compile, [''])
345 test('tc270', normal, compile, [''])
346 test('Tc271', [extra_files(['Tc271a.hs', 'Tc271.hs', 'Tc271.hs-boot'])], run_command, ['$MAKE -s --no-print-directory Tc271'])
347
348 test('GivenOverlapping', normal, compile, [''])
349 test('GivenTypeSynonym', normal, compile, [''])
350 test('T3018', normal, compile, [''])
351 test('T5032', normal, compile, [''])
352 test('T2357', normal, compile, [''])
353 test('T5481', normal, compile_fail, [''])
354 test('T3743', normal, compile, [''])
355 test('T5490', normal, compile, [''])
356 test('T5514', normal, compile, [''])
357 test('T5581', normal, compile, [''])
358 test('T5655', normal, compile, [''])
359 test('T5643', normal, compile, [''])
360 test('T5595', normal, compile, [''])
361 test('T5676', normal, compile, [''])
362 test('T4310', normal, compile, [''])
363 test('T3108', normal, compile, [''])
364
365 test('T5792',normal,run_command,
366      ['$MAKE -s --no-print-directory T5792'])
367
368 test('PolytypeDecomp', normal, compile, [''])
369 test('T6011', normal, compile, [''])
370 test('T6055', normal, compile, [''])
371 test('DfltProb1', normal, compile, ['-O'])
372 # Add -O for DfltProb1 to expose Trac #11291
373 test('DfltProb2', normal, compile, [''])
374 test('T6134', normal, compile, [''])
375 test('T6018', [], multimod_compile, ['T6018', ''])
376 test('TcLambdaCase', [], compile, [''])
377 test('T7147', normal, compile, [''])
378 test('T7171',normal,run_command,
379      ['$MAKE -s --no-print-directory T7171'])
380 test('T7173', normal, compile, [''])
381 test('T7196', normal, compile, [''])
382 test('T7050', normal, compile, ['-O'])
383 test('T7312', normal, compile, [''])
384 test('T7384', normal, compile, [''])
385 test('T7451', normal, compile, [''])
386 test('holes', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -funclutter-valid-hole-fits'])
387 test('holes2', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -funclutter-valid-hole-fits'])
388 test('holes3', normal, compile_fail, ['-fno-max-valid-hole-fits -funclutter-valid-hole-fits'])
389 test('hole_constraints', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -funclutter-valid-hole-fits'])
390 test('hole_constraints_nested', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -funclutter-valid-hole-fits'])
391 test('valid_hole_fits', [extra_files(['ValidHoleFits.hs'])],
392     multimod_compile, ['valid_hole_fits','-fdefer-type-errors -fno-max-valid-hole-fits'])
393 test('local_hole_fits', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits'])
394 test('subsumption_sort_hole_fits', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -fsort-by-subsumption-hole-fits'])
395 test('valid_hole_fits_interactions', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits'])
396 test('refinement_hole_fits', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -fno-max-refinement-hole-fits -frefinement-level-hole-fits=2'])
397 test('abstract_refinement_hole_fits', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -fno-max-refinement-hole-fits -frefinement-level-hole-fits=2 -fabstract-refinement-hole-fits -funclutter-valid-hole-fits'])
398 test('free_monad_hole_fits', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -fno-max-refinement-hole-fits -frefinement-level-hole-fits=2 -funclutter-valid-hole-fits'])
399 test('constraint_hole_fits', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -fno-max-refinement-hole-fits -frefinement-level-hole-fits=2 -funclutter-valid-hole-fits'])
400 test('type_in_type_hole_fits', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits'])
401 test('T15370', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits -funclutter-valid-hole-fits'])
402 test('T7408', normal, compile, [''])
403 test('UnboxStrictPrimitiveFields', normal, compile, [''])
404 test('T7503a', normal, compile, [''])
405 test('T7541', normal, compile, [''])
406 test('T7562', normal, compile, [''])
407 test('T7641', normal, compile, [''])
408 test('T7827', normal, compile, [''])
409 test('T7875', normal, compile, [''])
410 test('T7268', normal, compile, [''])
411 test('T7888', normal, compile, [''])
412 test('T7891', normal, compile, [''])
413 test('T7903', normal, compile, [''])
414 test('TcTypeNatSimple', normal, compile, [''])
415 test('TcTypeSymbolSimple', normal, compile, [''])
416 test('TcCoercibleCompile', [], compile, [''])
417 test('T8392', normal, compile, [''])
418 test('T8474', normal, compile, [''])
419 test('T8563', normal, compile, [''])
420 test('T8565', normal, compile, [''])
421 test('T8644', normal, compile, [''])
422 test('TcStaticPointers01', normal, compile, [''])
423 test('TcStaticPointers02', normal, compile, [''])
424 test('T8762', normal, compile, [''])
425 test('MutRec', normal, compile, [''])
426 test('T8856', normal, compile, [''])
427 test('T9569a', normal, compile, [''])
428 test('T9117', normal, compile, [''])
429 test('T9117_2', normal, compile, [''])
430 test('T9117_3', normal, compile, [''])
431 test('T9708', expect_broken(9708), compile, [''])
432 test('T9404', normal, compile, [''])
433 test('T9404b', normal, compile, [''])
434 test('T7220', normal, compile, [''])
435 test('T7220a', normal, compile_fail, [''])
436 test('T9151', normal, compile, [''])
437 test('T9497a', normal, compile, ['-fdefer-typed-holes'])
438 test('T9497b', normal, compile, ['-fdefer-typed-holes -fno-warn-typed-holes'])
439 test('T9497c', normal, compile, ['-fdefer-type-errors -fno-warn-typed-holes'])
440 test('T7643', normal, compile, [''])
441 test('T9834', normal, compile, [''])
442 test('T9892', normal, compile, [''])
443 test('T9939', normal, compile, ['-Wredundant-constraints'])
444 test('T9973', normal, compile, [''])
445 test('T9971', normal, compile, [''])
446 test('T10031', normal, compile, [''])
447 test('T10184', expect_broken(10184), compile, [''])
448 test('T10072', normal, compile_fail, [''])
449 test('T10100', normal, compile, [''])
450 test('T10156', normal, compile, [''])
451 test('T10177', normal, compile, [''])
452 test('T10185', expect_broken(10185), compile, [''])
453 test('T10195', normal, compile, [''])
454 test('T10109', normal, compile, [''])
455 test('T10283', normal, compile, [''])
456 test('TcCustomSolverSuper', normal, compile, [''])
457 test('T10335', normal, compile, [''])
458 test('Improvement', normal, compile, [''])
459 test('T10009', normal, compile, [''])
460 test('T10390', normal, compile, [''])
461 test('T8555', normal, compile, [''])
462 test('T8799', normal, compile, [''])
463 test('T10432', normal, compile, [''])
464 test('T10423', normal, compile, [''])
465 test('T10489', unless(compiler_debugged(), skip), compile, [''])
466 test('T10348', normal, compile, [''])
467 test('T10494', normal, compile, [''])
468 test('T10493', normal, compile, [''])
469 test('T10428', normal, compile, [''])
470 test('RepArrow', normal, compile, [''])
471 test('T10562', normal, compile, [''])
472 test('T10564', normal, compile, [''])
473 test('Vta1', normal, compile, [''])
474 test('Vta2', normal, compile, [''])
475 test('PushHRIf', normal, compile, [''])
476 test('T10632', normal, compile, ['-Wredundant-constraints'])
477 test('T10642', normal, compile, [''])
478 test('T10744', normal, compile, [''])
479 test('update-existential', normal, compile, [''])
480 test('T10347', expect_broken(10347), compile, [''])
481 test('T11056', normal, compile, [''])
482 test('T10770a', expect_broken(10770), compile, [''])
483 test('T10770b', expect_broken(10770), compile, [''])
484 test('T10935', normal, compile, [''])
485 test('T10971a', normal, compile, [''])
486 test('T11062', [extra_files(['T11062.hs', 'T11062.hs-boot', 'T11062a.hs'])], multimod_compile, ['T11062', '-v0'])
487 test('T11237', normal, compile, [''])
488 test('T10592', normal, compile, [''])
489 test('T11305', normal, compile, [''])
490 test('T11254', normal, compile, [''])
491 test('T11379', normal, compile, [''])
492 test('T11462', [unless(have_dynamic(), expect_broken(10301))], multi_compile,
493      ['', [('T11462_Plugin.hs', '-package ghc'), ('T11462.hs', '')],
494       '-dynamic'])
495 test('T11480', normal, compile, [''])
496 test('RebindHR', normal, compile, [''])
497 test('RebindNegate', normal, compile, [''])
498 test('T11319', normal, compile, [''])
499 test('T11397', normal, compile, [''])
500 test('T11458', normal, compile, [''])
501 test('T11524', normal, compile, [''])
502 test('T11552', normal, compile, [''])
503 test('T11246', normal, compile, [''])
504 test('T11608', normal, compile, [''])
505 test('T11401', normal, compile, [''])
506 test('T11699', normal, compile, [''])
507 test('T11512', normal, compile, [''])
508 test('T11754', normal, compile, [''])
509 test('T11766', normal, compile, [''])
510 test('T11811', normal, compile, [''])
511 test('T11793', normal, compile, [''])
512 test('T11348', normal, compile, [''])
513 test('T11947', normal, compile, [''])
514 test('T11982a', expect_broken(11982), compile, [''])
515 test('T11982b', expect_broken(11982), compile, [''])
516 test('T11982c', normal, compile, [''])
517 test('T12045a', normal, compile, [''])
518 test('T12064', [], multimod_compile, ['T12064', '-v0'])
519 test('ExPat', normal, compile, [''])
520 test('ExPatFail', normal, compile_fail, [''])
521 test('SigTyVars', normal, compile, [''])
522 test('T12069', normal, compile, [''])
523 test('T11700', normal, compile, [''])
524 test('T11339', normal, compile_fail, [''])
525 test('T11339b', normal, compile, [''])
526 test('T11339c', normal, compile, [''])
527 test('T11339d', normal, compile, [''])
528 test('T11974', normal, compile, [''])
529 test('T12067', [], multimod_compile, ['T12067', '-v0'])
530 test('T12104', normal, compile, ['-fdefer-type-errors'])
531 test('T12185', normal, compile, [''])
532 test('T12133', normal, compile, [''])
533 test('T12381', normal, compile, [''])
534 test('T12082', normal, compile, [''])
535 test('T10635', normal, compile, [''])
536 test('T12170b', normal, compile, [''])
537 test('T12466', normal, compile, [''])
538 test('T12466a', normal, compile, [''])
539 test('T12644', normal, compile, [''])
540 test('T12427a', normal, compile_fail, [''])
541 test('T12427b', normal, compile, [''])
542 test('T12507', normal, compile, [''])
543 test('T12734', normal, compile, [''])
544 test('T12734a', normal, compile_fail, [''])
545 test('T12763', normal, compile, [''])
546 test('T12785a', normal, compile, [''])
547 test('T12797', normal, compile, [''])
548 test('T12850', normal, compile, [''])
549 test('T12911', normal, compile, [''])
550 test('T12925', normal, compile, [''])
551 test('T12919', normal, compile, [''])
552 test('T12936', normal, compile, [''])
553 test('T13050', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits'])
554 test('T13083', normal, compile, [''])
555 test('T11723', normal, compile, [''])
556 test('T12987', normal, compile, [''])
557 test('T11736', normal, compile, [''])
558 test('T13248', expect_broken(13248), compile, [''])
559 test('T11525', [unless(have_dynamic(), expect_broken(10301))], multi_compile,
560      ['', [('T11525_Plugin.hs', '-package ghc'), ('T11525.hs', '')],
561       '-dynamic'])
562 test('T12923', normal, compile, [''])
563 test('T12924', normal, compile, [''])
564 test('T12926', normal, compile, [''])
565 test('T13381', normal, compile_fail, [''])
566 test('T13337', normal, compile, [''])
567 test('T13343', normal, compile, [''])
568 test('T13458', normal, compile, [''])
569 test('T13490', normal, compile, [''])
570 test('T13474', normal, compile, [''])
571 test('T13524', normal, compile, [''])
572 test('T13509', normal, compile, [''])
573 test('T13526', normal, compile, [''])
574 test('T13594', normal, compile_fail, [''])
575 test('T13603', normal, compile, [''])
576 test('T13333', normal, compile, [''])
577 test('T13585', [extra_files(['T13585.hs', 'T13585a.hs', 'T13585b.hs'])], run_command, ['$MAKE -s --no-print-directory T13585'])
578 test('T13651', normal, compile_fail, [''])
579 test('T13651a', normal, compile, [''])
580 test('T13680', normal, compile, [''])
581 test('T13785', normal, compile, [''])
582 test('T13804', normal, compile, [''])
583 test('T13822', normal, compile, [''])
584 test('T13848', normal, compile, [''])
585 test('T13871', normal, compile, [''])
586 test('T13879', normal, compile, [''])
587 test('T13881', normal, compile, [''])
588 test('T13915a', expect_broken(15245), multimod_compile, ['T13915a', '-v0'])
589 test('T13915b', expect_broken(15245), compile, [''])
590 test('T13984', normal, compile, [''])
591 test('T14128', normal, multimod_compile, ['T14128Main', '-v0'])
592 test('T14149', normal, compile_fail, [''])
593 test('T14154', normal, compile, [''])
594 test('T14158', normal, compile, [''])
595 test('T13943', normal, compile, ['-fsolve-constant-dicts'])
596 test('T14333', normal, compile, [''])
597 test('T14363', normal, compile, [''])
598 test('T14363a', normal, compile, [''])
599 test('T7169', normal, compile, [''])
600 test('T14396', [extra_files(['T14396.hs', 'T14396.hs-boot', 'T14396a.hs', 'T14396b.hs', 'T14396f.hs'])], multimod_compile, ['T14396', '-v0'])
601 test('T14434', [], run_command, ['$MAKE -s --no-print-directory T14434'])
602 test('MissingExportList01', normal, compile, [''])
603 test('MissingExportList02', normal, compile, [''])
604 test('T14451', normal, compile, [''])
605 test('T14488', normal, compile, [''])
606 test('T14590', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits'])
607 # We omit the hpc/profasm ways because this test checks the
608 # desugarer's output and these ways add some
609 # annotations/ticks that prevent it from giving the exact
610 # output we expect (T13032.stderr).
611 test('T13032', omit_ways(['hpc', 'profasm']), compile, [''])
612 test('T14273', normal, compile, ['-fdefer-type-errors -fno-max-valid-hole-fits'])
613 test('T14366', normal, compile, [''])
614 test('T14732', normal, compile, [''])
615 test('T14774', [], run_command, ['$MAKE -s --no-print-directory T14774'])
616 test('T14763', normal, compile, [''])
617 test('T14811', normal, compile, [''])
618 test('T14934', [extra_files(['T14934.hs', 'T14934a.hs'])], run_command,
619                ['$MAKE -s --no-print-directory T14934'])
620 test('T13643', normal, compile, [''])
621 test('SplitWD', normal, compile, [''])
622 # we omit profasm because it fails with:
623 # T14441.hs:1:1: fatal:
624 #     Cannot load -prof objects when GHC is built with -dynamic
625 #     To fix this, either:
626 #       (1) Use -fexternal-interpreter, or
627 #       (2) Build the program twice: once with -dynamic, and then
628 #           with -prof using -osuf to set a different object file suffix.
629 test('T14441', omit_ways(['profasm']), compile, [''])
630 test('T15050', normal, compile, [''])
631 test('T14735', normal, compile, [''])
632 test('T15180', normal, compile, [''])
633 test('T15232', normal, compile, [''])
634 test('T15788', normal, compile, [''])
635 test('T15793', normal, compile, [''])
636 test('T15807a', normal, compile, [''])
637 test('T13833', normal, compile, [''])
638 test('T14185', expect_broken(14185), compile, [''])
639
640 def onlyHsParLocs(x):
641     """
642     We only want to check that all the parentheses are present with the correct location,
643     not compare the entire typechecked AST.
644     Located (HsPar GhcTc) are pretty printed with the form
645     ({ <location info>
646      (HsPar
647     This function tries to extract all such location infos from the typechecked AST.
648     """
649     ls = x.split("\n")
650     filteredLines = (loc.strip() for (loc,hspar) in zip(ls,ls[1:])
651                       if hspar.strip().startswith("(HsPar")
652                         and not "<no location info>" in loc)
653     return '\n'.join(filteredLines)
654 test('T15242', normalise_errmsg_fun(onlyHsParLocs), compile, [''])
655 test('T15431', normal, compile, [''])
656 test('T15431a', normal, compile, [''])
657 test('T15428', normal, compile, [''])
658 test('T15412', normal, compile, [''])
659 test('T15141', normal, compile, [''])
660 test('T15473', normal, compile_fail, [''])
661 test('T15499', normal, compile, [''])
662 test('T15586', normal, compile, [''])
663 test('T15368', normal, compile, ['-fdefer-type-errors'])
664 test('T15645', normal, compile, ['-Wwarn=missing-monadfail-instances'])
665 test('T15778', normal, compile, [''])
666 test('T14761c', normal, compile, [''])
667 test('T16008', normal, compile, [''])
668 test('T16033', normal, compile, [''])
669 test('T16141', normal, compile, ['-O'])