484d843672cb981e97f630aaea2c469a33cbe72f
[ghc.git] / testsuite / tests / indexed-types / should_compile / all.T
1 test('Simple1', normal, compile, [''])
2 test('Simple2', normal, compile, [''])
3 test('Simple3', normal, compile, [''])
4 test('Simple4', normal, compile, [''])
5 test('Simple5', normal, compile, [''])
6 test('Simple6', normal, compile, [''])
7 test('Simple7', normal, compile, [''])
8 test('Simple8', normal, compile, [''])
9 test('Simple9', normal, compile, [''])
10 test('Simple10', normal, compile, [''])
11 test('Simple11', normal, compile, [''])
12 test('Simple12', normal, compile, [''])
13 test('Simple13', normal, compile, [''])
14 test('Simple14', normal, compile_fail, [''])
15 test('Simple15', normal, compile, [''])
16 test('Simple16', normal, compile, [''])
17 test('Simple17', normal, compile, [''])
18 test('Simple18', normal, compile, [''])
19 test('Simple19', normal, compile, [''])
20 test('Simple20', expect_broken(4296), compile, ['-fcontext-stack=10'])
21 test('Simple21', normal, compile, [''])
22 test('Simple22', normal, compile, [''])
23 test('Simple23', normal, compile, [''])
24 test('Simple24', normal, compile, [''])
25
26 test('RelaxedExamples', normal, compile, [''])
27 test('NonLinearLHS', normal, compile, [''])
28
29 test('ind1', normal, compile, [''])
30 test('ind2', [extra_files(['Ind2_help.hs'])], multimod_compile, ['ind2', '-v0'])
31 test('impexp', [extra_files(['Exp.hs', 'Imp.hs'])], multimod_compile, ['Imp', '-w -no-hs-main -c'])
32
33 test('ATLoop', [], multimod_compile, ['ATLoop.hs', '-v0'])
34
35 test('Deriving', normal, compile, [''])
36 test('DerivingNewType', normal, compile, [''])
37 test('Records', normal, compile, [''])
38
39 # The point about this test is that it compiles NewTyCo1 and NewTyCo2
40 # *separately*
41 #
42 test('NewTyCo', [], run_command, ['$MAKE -s --no-print-directory NewTyCo'])
43
44 test('Infix', normal, compile, [''])
45 test('Kind', normal, compile, [''])
46
47 test('GADT1', normal, compile, [''])
48 test('GADT2', normal, compile, [''])
49 test('GADT3', normal, compile, [''])
50 test('GADT4', normal, compile, [''])
51 test('GADT5', normal, compile, [''])
52 test('GADT6', normal, compile, [''])
53 test('GADT7', normal, compile, [''])
54 test('GADT8', normal, compile, [''])
55 test('GADT9', normal, compile, [''])
56 test('GADT10', normal, compile, [''])
57 test('GADT11', normal, compile, [''])
58 test('GADT12', normal, compile, [''])
59 test('GADT13', normal, compile, [''])
60 test('GADT14', normal, compile, [''])
61
62 test('Class1', normal, compile, [''])
63 test('Class2', normal, compile, [''])
64 test('Class3', normal, compile, [''])
65
66 test('Refl', normal, compile, [''])
67 test('Refl2', normal, compile, [''])
68
69 test('Rules1', normal, compile, [''])
70
71 test('Numerals', normal, compile, [''])
72
73 test('ColInference', normal, compile, [''])
74 test('ColInference2', normal, compile, [''])
75 test('ColInference3', normal, compile, [''])
76 test('ColInference4', normal, compile, [''])
77 test('ColInference5', normal, compile, [''])
78 test('ColInference6', normal, compile, [''])
79
80 test('Col', normal, compile, [''])
81 test('Col2', normal, compile, [''])
82
83 test('ColGivenCheck', normal, compile, [''])
84 test('ColGivenCheck2', normal, compile, [''])
85
86 test('InstEqContext', normal, compile, [''])
87 test('InstEqContext2', normal, compile, [''])
88 test('InstEqContext3', normal, compile, [''])
89
90 test('InstContextNorm', normal, compile, [''])
91
92 test('GivenCheck', normal, compile, [''])
93 test('GivenCheckSwap', normal, compile, [''])
94 test('GivenCheckDecomp', normal, compile, [''])
95 test('GivenCheckTop', normal, compile, [''])
96
97 test('ExplicitForAllFams1', normal, compile, [''])
98 test('ExplicitForAllFams2', normal, compile, ['-Wunused-foralls -Wunused-type-patterns'])
99
100 # A very delicate test
101 test('Gentle', normal, compile, [''])
102
103 test('T1981', normal, compile, [''])
104 test('T2238', normal, compile, [''])
105 test('OversatDecomp', normal, compile, [''])
106
107 test('T2219', normal, compile, [''])
108 test('T2627', normal, compile, [''])
109 test('T2448', normal, compile, [''])
110 test('T2291', normal, compile, [''])
111 test('T2639', normal, compile, [''])
112 test('T2944', normal, compile, [''])
113 test('T3017', normal, compile, ['-ddump-types'])
114 test('TF_GADT', normal, compile, [''])
115 test('T2203b', normal, compile, [''])
116 test('T2767', normal, compile, [''])
117 test('T3208a', normal, compile, [''])
118 test('T3208b', normal, compile_fail, [''])
119 test('T3418', normal, compile, [''])
120 test('T3423', normal, compile, [''])
121 test('T2850', normal, compile, [''])
122 test('T3220', normal, compile, [''])
123 test('T3590', normal, compile, [''])
124 test('CoTest3', normal, compile, [''])
125 test('Roman1', normal, compile, [''])
126 test('T4160', normal, compile, [''])
127 test('IndTypesPerf',
128      [ # expect_broken(5224),
129        # unbroken temporarily: #5227
130        extra_clean(['IndTypesPerf.o', 'IndTypesPerf.hi',
131                     'IndTypesPerfMerge.o', 'IndTypesPerfMerge.hi'])
132      ] ,
133      run_command,
134      ['$MAKE -s --no-print-directory IndTypesPerf'])
135
136 test('T4120', normal, compile, [''])
137 test('T3787', normal, compile, [''])
138 test('T3826', normal, compile, [''])
139 test('T4200', normal, compile, [''])
140 test('T3851', normal, compile, [''])
141 test('T4178', normal, compile, [''])
142 test('T3023', normal, compile, [''])
143 test('T4358', normal, compile, [''])
144 test('T4356', normal, compile, [''])
145 test('T4484', normal, compile, [''])
146 test('T4492', normal, compile, [''])
147 test('T4494', normal, compile, [''])
148 test('DataFamDeriv', normal, compile, [''])
149 test('T1769', normal, compile, [''])
150 test('T4497', normal, compile, [''])
151 test('T3484', normal, compile, [''])
152 test('T3460', normal, compile, [''])
153 test('T4935', normal, compile, [''])
154
155 test('T4981-V1', normal, compile, [''])
156 test('T4981-V2', normal, compile, [''])
157 test('T4981-V3', normal, compile, [''])
158
159 test('T5002', normal, compile, [''])
160 test('PushedInAsGivens', normal, compile_fail, [''])
161
162 # Superclass equalities
163 test('T4338', normal, compile, [''])
164 test('T2715', normal, compile, [''])
165 test('T2102', normal, compile, [''])
166 test('ClassEqContext', normal, compile, [''])
167 test('ClassEqContext2', normal, compile, [''])
168 test('ClassEqContext3', normal, compile, [''])
169 test('HO', normal, compile, [''])
170
171
172 # The point about this test is that it compiles the two T5955
173 # modules *separately*
174 test('T5955', [], run_command, ['$MAKE -s --no-print-directory T5955'])
175
176 test('T6152',
177      normal,
178      run_command,
179      ['$MAKE -s --no-print-directory T6152'])
180
181 test('T7082', normal, compile, [''])
182
183 test('Overlap1', normal, compile, [''])
184 test('Overlap2', normal, compile, [''])
185 test('Overlap12', normal, compile, [''])
186 test('Overlap13', normal, compile, [''])
187 test('Overlap14', normal, compile, [''])
188 test('T7156', normal, compile, [''])
189 test('T5591a', normal, compile, [''])
190 test('T5591b', normal, compile, [''])
191 test('T6088', normal, compile, [''])
192 test('T7280', normal, compile, [''])
193 test('T7474', normal, compile, [''])
194 test('T7489', normal, compile, [''])
195 test('T7585', normal, compile, [''])
196 test('T7282', normal, compile, [''])
197 test('T7804', normal, compile, [''])
198
199 # This test has sometimes been marked as
200 # expect_broken_for(9406, prof_ways),
201 # so ticket #9406 can be used to track
202 # future failures as well.
203 test('T7837', normal, compile,
204      ['-O -ddump-rule-firings'])
205
206 test('T4185', normal, compile, [''])
207
208 # Caused infinite loop in the compiler
209 test('T8002',
210      normal,
211      run_command,
212      ['$MAKE -s --no-print-directory T8002'])
213
214 # Import and export of associated types
215 test('T8011',
216      normal,
217      run_command,
218      ['$MAKE -s --no-print-directory T8011'])
219
220 # Marshalling of associated types
221 test('T8500',
222      normal,
223      run_command,
224      ['$MAKE -s --no-print-directory T8500'])
225
226 test('T8018', normal, compile, [''])
227 test('T8020', normal, compile, [''])
228 test('ClosedFam1', [], multimod_compile, ['ClosedFam1', '-v0'])
229 test('ClosedFam2', [], multimod_compile, ['ClosedFam2', '-v0'])
230 test('T8651', normal, compile, [''])
231 test('T8889', normal, compile, [''])
232 test('T8913', normal, compile, [''])
233 test('T8978', normal, compile, [''])
234 test('T8979', normal, compile, [''])
235 test('T9085', normal, compile, [''])
236 test('T9316', normal, compile, [''])
237 test('red-black-delete', normal, compile, [''])
238 test('Sock', normal, compile, [''])
239 test('T9211', normal, compile, [''])
240 test('T9747', normal, compile, [''])
241 test('T9582', normal, compile, [''])
242 test('T9840', [], multimod_compile, ['T9840', '-v0'])
243 test('T9090', normal, compile, [''])
244 test('T10020', normal, compile, [''])
245 test('T10079', normal, compile, [''])
246 test('T10139', normal, compile, [''])
247 test('T10340', normal, compile, [''])
248 test('T10226', normal, compile, [''])
249 test('T10507', normal, compile, [''])
250 test('T10634', normal, compile, [''])
251 test('T10713', normal, compile, [''])
252 test('T10753', normal, compile, [''])
253 test('T10806', normal, compile_fail, [''])
254 test('T10815', normal, compile, [''])
255 test('T10931', normal, compile, [''])
256 test('T11187', normal, compile, [''])
257 test('T11067', normal, compile, [''])
258 test('T10318', normal, compile, [''])
259 test('UnusedTyVarWarnings', normal, compile, ['-Wunused-type-patterns'])
260 test('UnusedTyVarWarningsNamedWCs', normal, compile, ['-Wunused-type-patterns'])
261 test('T11408', normal, compile, [''])
262 test('T11361', normal, compile, ['-dunique-increment=-1'])
263   # -dunique-increment=-1 doesn't work inside the file
264 test('T11361a', normal, compile_fail, [''])
265 test('T11581', normal, compile, [''])
266 test('T12175', normal, compile, [''])
267 test('T12522', normal, compile, [''])
268 test('T12522b', normal, compile, [''])
269 test('T12676', normal, compile, [''])
270 test('T12526', normal, compile, [''])
271 test('T12538', normal, compile_fail, [''])
272 test('T13244', normal, compile, [''])
273 test('T13398a', normal, compile, [''])
274 test('T13398b', normal, compile, [''])
275 test('T13662', normal, compile, [''])
276 test('T13705', normal, compile, [''])
277 test('T12369', normal, compile, [''])
278 test('T14045', normal, compile, [''])
279 test('T12938', normal, compile, [''])
280 test('T14131', normal, compile, [''])
281 test('T14162', normal, compile, [''])
282 test('T14237', normal, compile, [''])
283 test('T14554', normal, compile, [''])
284 test('T14680', normal, compile, [''])
285 test('T15057', normal, compile, [''])
286 test('T7786', normal, compile, [''])
287 test('T15144', normal, compile, [''])
288 test('T15122', normal, compile, [''])
289 test('T13777', normal, compile, [''])
290 test('T14164', normal, compile, [''])
291 test('T15318', normal, compile, [''])
292 test('T15322', normal, compile, [''])
293 test('T15322a', normal, compile_fail, [''])
294 test('T15142', normal, compile, [''])
295 test('T15352', normal, compile, [''])
296 test('T15664', normal, compile, [''])
297 test('T15943', normal, compile, [''])
298 test('T15704', normal, compile, [''])
299 test('T15711', normal, compile, ['-ddump-types'])
300 test('T15852', normal, compile, ['-ddump-types'])
301 test('T15764a', normal, compile, [''])
302 test('T15740a', normal, compile, [''])