Test #1476 in th/T1476
[ghc.git] / testsuite / tests / th / all.T
1
2 # This test needs to come before the setTestOpts calls below, as we want
3 # to run it if !compiler_profiled
4 test('T4255', unless(compiler_profiled(), skip), compile_fail, ['-v0'])
5
6 def f(name, opts):
7     opts.extra_hc_opts = '-XTemplateHaskell -package template-haskell'
8     if (ghc_with_interpreter == 0):
9         opts.skip = 1
10
11 setTestOpts(f)
12 setTestOpts(only_compiler_types(['ghc']))
13 setTestOpts(only_ways(['normal','ghci']))
14 setTestOpts(when(compiler_profiled(), skip))
15
16 test('TH_mkName', normal, compile, ['-v0'])
17 test('TH_1tuple', normal, compile_fail, ['-v0'])
18
19 test('TH_repE1', normal, compile, [''])
20 test('TH_repE2', normal, compile_and_run, [''])
21 test('TH_repE3', normal, compile, [''])
22 test('TH_repPrim', normal, compile, ['-v0'])
23 test('TH_repPrim2', normal, compile, ['-v0'])
24 test('TH_repUnboxedTuples', normal, compile, ['-v0'])
25 test('TH_spliceGuard', normal, compile, ['-v0'])
26 test('TH_repPrimOutput', normal, compile_and_run, [''])
27 test('TH_repPrimOutput2', normal, compile_and_run, [''])
28 test('TH_repGuard', normal, compile, ['-v0'])
29 test('TH_repGuardOutput', normal, compile_and_run, [''])
30 test('TH_repPatSig', normal, compile_fail, [''])
31
32 test('TH_spliceE5',
33      extra_clean(['TH_spliceE5_Lib.hi', 'TH_spliceE5_Lib.o']),
34      multimod_compile_and_run,
35      ['TH_spliceE5.hs', '-v0 ' + config.ghc_th_way_flags])
36
37 test('TH_spliceE6', normal, compile, ['-v0'])
38
39 test('TH_NestedSplices',
40      extra_clean(['TH_NestedSplices_Lib.hi', 'TH_NestedSplices_Lib.o']),
41      multimod_compile,
42      ['TH_NestedSplices.hs', '-v0 ' + config.ghc_th_way_flags])
43
44 # Testing profiling with TH is a bit tricky; we've already disabled
45 # the prof way above, and also we want to add options specifically for
46 # profiling (-osuf p.o) because this is necessary when mixing
47 # profiling w/ TH.  Furthermore we must have built the program the
48 # normal way first, which is why the work is done by a Makefile rule.
49 test('TH_spliceE5_prof',
50      [req_profiling,
51       omit_ways(['ghci']),
52       extra_clean(['TH_spliceE5_prof_Lib.p.o', 'TH_spliceE5_prof_Lib.hi',
53                    'TH_spliceE5_prof_Lib.o','TH_spliceE5_prof.p.o'])],
54      run_command,
55      ['$MAKE -s --no-print-directory TH_spliceE5_prof'])
56
57 test('TH_spliceD1',
58      extra_clean(['TH_spliceD1_Lib.hi', 'TH_spliceD1_Lib.o']),
59      multimod_compile_fail,
60      ['TH_spliceD1', '-v0 ' + config.ghc_th_way_flags])
61
62 test('TH_spliceD2',
63      extra_clean(['TH_spliceD2_Lib.hi', 'TH_spliceD2_Lib.o']),
64      multimod_compile,
65      ['TH_spliceD2', '-v0'])
66
67 test('TH_reifyDecl1', normal, compile, ['-v0'])
68 test('TH_reifyDecl2', normal, compile, ['-v0'])
69
70 test('TH_reifyType1', normal, compile, [''])
71 test('TH_reifyType2', normal, compile, [''])
72 test('TH_reifyMkName', normal, compile, ['-v0'])
73
74 test('TH_reifyInstances', normal, compile, ['-v0'])
75
76 test('TH_spliceDecl1', normal, compile, ['-v0'])
77 test('TH_spliceDecl2', normal, compile, ['-v0'])
78 test('TH_spliceDecl3',
79      extra_clean(['TH_spliceDecl3_Lib.hi', 'TH_spliceDecl3_Lib.o']),
80      multimod_compile,
81      ['TH_spliceDecl3', '-v0 ' + config.ghc_th_way_flags])
82 test('TH_spliceDecl4',
83      extra_clean(['TH_spliceDecl4_Lib.hi', 'TH_spliceDecl4_Lib.o']),
84      multimod_compile,
85      ['TH_spliceDecl4', '-v0 ' + config.ghc_th_way_flags])
86
87 test('T2597a',
88      extra_clean(['T2597a_Lib.hi', 'T2597a_Lib.o']),
89      multimod_compile,
90      ['T2597a', '-v0 ' + config.ghc_th_way_flags])
91
92 test('T2597b',
93      extra_clean(['T2597b_Lib.hi', 'T2597b_Lib.o']),
94      multimod_compile_fail,
95      ['T2597b', '-v0 ' + config.ghc_th_way_flags])
96
97 test('TH_spliceE1', normal, compile_and_run, [''])
98 test('TH_spliceExpr1', normal, compile, ['-v0'])
99 test('TH_spliceE3', normal, compile, ['-v0'])
100 test('TH_spliceE4', normal, compile_and_run, [''])
101
102 test('TH_bracket1', normal, compile, [''])
103 test('TH_bracket2', normal, compile, [''])
104 test('TH_bracket3', normal, compile, [''])
105
106 test('TH_class1', normal, compile, ['-v0'])
107 test('TH_tuple1', normal, compile, ['-v0'])
108 test('TH_genEx',
109      extra_clean(['TH_genExLib.hi', 'TH_genExLib.o']),
110      multimod_compile,
111      ['TH_genEx', '-v0 ' + config.ghc_th_way_flags])
112
113 test('TH_where', normal, compile_and_run, [''])
114
115 test('TH_spliceInst', normal, compile, ['-v0'])
116
117 test('TH_exn1', normal, compile_fail, ['-v0'])
118
119 test('TH_dupdecl', normal, compile_fail, ['-v0'])
120 test('TH_exn2', normal, compile_fail, ['-v0'])
121
122 test('TH_recover', normal, compile_and_run, [''])
123 test('TH_dataD1', normal, compile_fail, ['-v0'])
124
125 test('TH_ppr1', normal, compile_and_run, [''])
126
127 test('TH_fail', normal, compile_fail, ['-v0'])
128 test('TH_scopedTvs', normal, compile, ['-v0'])
129
130 test('TH_runIO', normal, compile_fail, ['-v0'])
131
132 test('TH_ghci1', normal, ghci_script, ['TH_ghci1.script'])
133
134 test('TH_linePragma', normal, compile_fail, ['-v0'])
135
136 test('TH_scope', normal, compile, [''])
137 test('T2632', normal, compile, [''])
138 test('T2700', normal, compile, ['-v0'])
139 test('T2817', normal, compile, ['-v0'])
140 test('T2713', normal, compile_fail, ['-v0'])
141 test('T2674', normal, compile_fail, ['-v0'])
142 test('T2931', normal, compile, ['-v0'])
143 test('TH_emptycase', normal, compile, ['-v0'])
144
145 test('T2386', extra_clean(['T2386_Lib.hi', 'T2386_Lib.o']),
146               run_command,
147               ['$MAKE -s --no-print-directory T2386'] )
148
149 test('T2685', extra_clean(['T2685a.hi','T2685a.o']),
150               multimod_compile, ['T2685', '-v0 ' + config.ghc_th_way_flags])
151
152 test('TH_sections', normal, compile, ['-v0'])
153
154 test('TH_tf1', normal, compile, ['-v0'])
155 test('TH_tf2', normal, compile, ['-v0'])
156 test('TH_tf3', normal, compile, ['-v0'])
157
158 test('TH_pragma', normal, compile, ['-v0 -dsuppress-uniques'])
159 test('T3177', normal, compile, ['-v0'])
160 test('T3177a', normal, compile_fail, ['-v0'])
161
162 test('T3319', normal, compile, ['-ddump-splices -v0'])
163 test('TH_foreignInterruptible', normal, compile, ['-ddump-splices -v0'])
164 test('TH_foreignCallingConventions', normal,
165                                      compile,
166                                      ['-ddump-splices -dsuppress-uniques -v0'])
167
168 test('T3395', normal, compile_fail, ['-v0'])
169 test('T3467', normal, compile, [''])
170 test('T3572', normal, compile_and_run, [''])
171 test('T3100', normal, compile, ['-v0'])
172 test('T3920', normal, compile_and_run, ['-v0'])
173
174 test('T3600', extra_clean(['T3600a.hi','T3600a.o']),
175               multimod_compile, ['T3600', '-v0 ' + config.ghc_th_way_flags])
176 test('T3845', normal, compile, ['-v0'])
177 test('T3899', extra_clean(['T3899a.hi','T3899a.o']),
178               multimod_compile,
179               ['T3899','-v0 -ddump-splices -dsuppress-uniques ' + config.ghc_th_way_flags])
180 test('T4056', normal, compile, ['-v0'])
181 test('T4188', normal, compile, ['-v0'])
182 test('T4233', normal, compile, ['-v0'])
183 test('T4169', normal, compile, ['-v0'])
184 test('T1835', normal, compile_and_run, ['-v0'])
185
186 test('TH_viewPatPrint', normal, compile_and_run, [''])
187 test('T4436', normal, compile, ['-v0 -ddump-splices'])
188 test('T4949', normal, compile, ['-v0'])
189 test('T5126', normal, compile, ['-v0'])
190 test('T5217', normal, compile, ['-v0 -dsuppress-uniques -ddump-splices'])
191 test('T5037', normal, compile, ['-v0'])
192 test('TH_unboxedSingleton', normal, compile, ['-v0'])
193 test('T5290', normal, compile, ['-v0 -ddump-splices -dsuppress-uniques'])
194 test('T5362', normal, compile, ['-v0'])
195
196 test('TH_unresolvedInfix',
197      extra_clean(['TH_unresolvedInfix_Lib.hi', 'TH_unresolvedInfix_Lib.o']),
198      multimod_compile_and_run,
199      ['TH_unresolvedInfix.hs', '-v0 ' + config.ghc_th_way_flags])
200 test('TH_unresolvedInfix2',
201      normal,
202      compile_fail,
203      ['-v0'])
204
205 test('T5358', normal, compile_fail, [' -v0'])
206 test('T5379', normal, compile_and_run, [''])
207 test('T5404', normal, compile, ['-v0'])
208 test('T5410', normal, compile_and_run, ['-v0'])
209 test('TH_lookupName',
210      extra_clean(['TH_lookupName_Lib.hi', 'TH_lookupName_Lib.o']),
211      multimod_compile_and_run,
212      ['TH_lookupName.hs', config.ghc_th_way_flags])
213 test('T5452', normal, compile, ['-v0'])
214 test('T5434', extra_clean(['T5434a.hi','T5434a.o']),
215               multimod_compile,
216               ['T5434','-v0 -Wall ' + config.ghc_th_way_flags])
217 test('T5508', normal, compile, ['-v0 -ddump-splices -dsuppress-uniques'])
218 test('TH_Depends',
219      [extra_clean(['TH_Depends_External.o', 'TH_Depends_External.hi',
220                    'TH_Depends_external.txt'])],
221      run_command,
222      ['$MAKE -s --no-print-directory TH_Depends'])
223 test('T5597', extra_clean(['T5597a.hi','T5597a.o']),
224               multimod_compile, ['T5597', '-v0 ' + config.ghc_th_way_flags])
225 test('T5665', extra_clean(['T5665a.hi','T5665a.o']),
226               multimod_compile, ['T5665', '-v0 ' + config.ghc_th_way_flags])
227 test('T5700', extra_clean(['T5700a.hi','T5700a.o']),
228               multimod_compile,
229               ['T5700','-v0 -ddump-splices ' + config.ghc_th_way_flags])
230 test('T5721', normal, compile, ['-v0'])
231
232 test('TH_PromotedTuple', normal, compile, ['-v0 -ddump-splices -dsuppress-uniques'])
233 test('TH_PromotedList', normal, compile, ['-v0'])
234 test('TH_Promoted1Tuple', normal, compile_fail, ['-v0'])
235 test('TH_RichKinds', normal, compile, ['-v0'])
236 test('TH_RichKinds2', normal, compile, ['-v0'])
237
238 test('T1541', normal, compile, ['-v0'])
239 test('T5883', normal, compile, ['-v0 -dsuppress-uniques -ddump-splices'])
240 test('T5882', normal, compile, ['-v0'])
241 test('T5886', extra_clean(['T5886a.hi','T5886a.o']),
242               multimod_compile, ['T5886','-v0 ' + config.ghc_th_way_flags])
243 test('T4135',  normal, compile, ['-v0'])
244 test('T4135a', normal, compile, ['-v0'])
245 test('T5971', normal, compile_fail, ['-v0 -dsuppress-uniques'])
246 test('T5968', normal, compile, ['-v0'])
247 test('T5984', extra_clean(['T5984_Lib.hi', 'T5984_Lib.o']),
248               multimod_compile,
249               ['T5984', '-v0 -ddump-splices ' + config.ghc_th_way_flags])
250 test('T5555', extra_clean(['T5555_Lib.hi', 'T5555_Lib.o']),
251               multimod_compile, ['T5555', '-v0 ' + config.ghc_th_way_flags])
252 test('T5976', normal, compile_fail, ['-v0'])
253 test('T5795', normal, compile_fail, ['-v0'])
254 test('T6005', normal, compile, ['-v0'])
255 test('T6005a', normal, compile, ['-v0'])
256 test('T5737', normal, compile, ['-v0'])
257 test('T6114', normal, compile, ['-v0'])
258 test('TH_StringPrimL', normal, compile_and_run, [''])
259 test('T7064',
260      extra_clean(['T7064a.hi', 'T7064a.o']),
261      multimod_compile_and_run,
262      ['T7064.hs', '-v0 ' + config.ghc_th_way_flags])
263 test('T7092', extra_clean(['T7092a.hi','T7092a.o']),
264               multimod_compile, ['T7092', '-v0 ' + config.ghc_th_way_flags])
265 test('T7276', normal, compile_fail, ['-v0'])
266 test('T7276a', combined_output, ghci_script, ['T7276a.script'])
267
268 test('TH_TyInstWhere1', normal, compile, ['-v0 -ddump-splices -dsuppress-uniques'])
269 test('TH_TyInstWhere2', normal, compile, ['-v0'])
270
271 test('T7445', extra_clean(['T7445a.hi', 'T7445a.o']),
272               run_command,
273               ['$MAKE -s --no-print-directory T7445'] )
274 test('T7532',
275      extra_clean(['T7532a.hi', 'T7532a.o']),
276      multimod_compile,
277      ['T7532', '-v0 ' + config.ghc_th_way_flags])
278 test('T2222', normal, compile, ['-v0'])
279 test('T1849', normal, ghci_script, ['T1849.script'])
280 test('T7681', normal, compile, ['-v0'])
281 test('T7910', normal, compile_and_run, ['-v0'])
282
283 test('ClosedFam1TH', normal, compile, ['-dsuppress-uniques -v0'])
284 test('ClosedFam2TH', normal, compile, ['-v0'])
285
286 test('T8028',
287      extra_clean(['T8028a.hi', 'T8028a.o']),
288      multimod_compile_fail,
289      ['T8028', '-v0 ' + config.ghc_th_way_flags])
290
291 test('TH_Roles1', normal, compile_fail, ['-v0'])
292 test('TH_Roles2', normal, compile, ['-v0 -ddump-tc'])
293 test('TH_Roles3', normal, compile, ['-v0 -dsuppress-uniques'])
294 test('TH_Roles4', normal, compile, ['-v0'])
295
296 test('T8186', normal, compile_and_run, ['-v0'])
297
298 test('T8333',
299      normal,
300      run_command,
301      ['$MAKE -s --no-print-directory T8333'])
302
303 test('T4170', normal, compile, ['-v0'])
304 test('T4124', normal, compile, ['-v0'])
305 test('T4128', normal, compile, ['-v0'])
306 test('T6062', normal, compile, ['-v0'])
307 test('T4364', normal, compile, ['-v0'])
308 test('T8412', normal, compile_fail, ['-v0'])
309 test('T7667', normal, compile, ['-v0'])
310 test('T7667a', normal, compile_fail, ['-v0'])
311 test('T8455', normal, compile, ['-v0'])
312 test('T8499', normal, compile, ['-v0'])
313 test('T7477', normal, compile, ['-v0'])
314 test('T8507', normal, compile, ['-v0'])
315 test('T8540',
316      extra_clean(['T8540a.hi', 'T8540a.o']),
317      multimod_compile,
318      ['T8540', '-v0 ' + config.ghc_th_way_flags])
319 test('T8577',
320      extra_clean(['T8577a.hi', 'T8577a.o']),
321      multimod_compile_fail,
322      ['T8577', '-v0 ' + config.ghc_th_way_flags])
323 test('T8633', normal, compile_and_run, [''])
324 test('T8625', normal, ghci_script, ['T8625.script'])
325 test('T8759', normal, compile_fail, ['-v0'])
326 test('T8759a', normal, compile_fail, ['-v0'])
327 test('T7021',
328      extra_clean(['T7021a.hi', 'T7021a.o']), multimod_compile, ['T7021','-v0'])
329 test('T8807', normal, compile, ['-v0'])
330 test('T8884', normal, compile, ['-v0'])
331 test('T8954', normal, compile, ['-v0'])
332 test('T8932', normal, compile_fail, ['-v0'])
333 test('T8987', normal, compile_fail, ['-v0'])
334 test('T7241', normal, compile_fail, ['-v0'])
335 test('T9262', normal, compile, ['-v0'])
336 test('T9199', normal, compile, ['-v0'])
337 test('T9692', normal, compile, ['-v0'])
338 test('T8953', normal, compile, ['-v0'])
339 test('T9084', normal, compile_fail, ['-v0'])
340 test('T9738', normal, compile, ['-v0'])
341 test('T9081', normal, compile, ['-v0'])
342 test('T9066', normal, compile, ['-v0'])
343 test('T8100', normal, compile, ['-v0'])
344 test('T9064', normal, compile, ['-v0'])
345 test('T9209', normal, compile_fail, ['-v0'])
346 test('T7484', normal, compile_fail, ['-v0'])
347 test('T1476', expect_broken(1476), compile, ['-v0'])