Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_compile / all.T
1 setTestOpts(only_compiler_types(['ghc']))
2 # Keep optimised tests, so we test coercion optimisation
3 setTestOpts(omit_ways(['optasm', 'optllvm', 'hpc']))
4
5 test('Simple1', normal, compile, [''])
6 test('Simple2', normal, compile, [''])
7 test('Simple3', normal, compile, [''])
8 test('Simple4', normal, compile, [''])
9 test('Simple5', normal, compile, [''])
10 test('Simple6', normal, compile, [''])
11 test('Simple7', normal, compile, [''])
12 test('Simple8', normal, compile, [''])
13 test('Simple9', normal, compile, [''])
14 test('Simple10', normal, compile, [''])
15 test('Simple11', normal, compile, [''])
16 test('Simple12', normal, compile, [''])
17 test('Simple13', normal, compile, [''])
18 test('Simple14', normal, compile_fail, [''])
19 test('Simple15', normal, compile, [''])
20 test('Simple16', normal, compile, [''])
21 test('Simple17', normal, compile, [''])
22 test('Simple18', normal, compile, [''])
23 test('Simple19', normal, compile, [''])
24 test('Simple20', expect_broken(4296), compile, ['-fcontext-stack=10'])
25 test('Simple21', normal, compile, [''])
26 test('Simple22', normal, compile, [''])
27 test('Simple23', normal, compile, [''])
28 test('Simple24', normal, compile, [''])
29
30 test('RelaxedExamples', normal, compile, [''])
31 test('NonLinearLHS', normal, compile, [''])
32
33 test('ind1', normal, compile, [''])
34 test('ind2',
35      extra_clean(['Ind2_help.hi', 'Ind2_help.o']),
36      multimod_compile,
37      ['ind2', '-v0'])
38 test('impexp',
39      extra_clean(['Exp.hi', 'Exp.o', 'Imp.hi', 'Imp.o']),
40      multimod_compile, 
41      ['Imp', '-w -no-hs-main -c'])
42
43 test('ATLoop',
44      extra_clean(['ATLoop_help.o','ATLoop_help.hi']),
45      multimod_compile,
46      ['ATLoop.hs','-v0'])
47
48 test('Deriving', normal, compile, [''])
49 test('DerivingNewType', normal, compile, [''])
50 test('Records', normal, compile, [''])
51
52 # The point about this test is that it compiles NewTyCo1 and NewTyCo2
53 # *separately*
54 #
55 test('NewTyCo',
56      extra_clean(['NewTyCo1.o', 'NewTyCo1.hi', 'NewTyCo2.o', 'NewTyCo2.hi']),
57      run_command,
58      ['$MAKE -s --no-print-directory NewTyCo'])
59
60 test('Infix', normal, compile, [''])
61 test('Kind', normal, compile, [''])
62
63 test('GADT1', normal, compile, [''])
64 test('GADT2', normal, compile, [''])
65 test('GADT3', normal, compile, [''])
66 test('GADT4', normal, compile, [''])
67 test('GADT5', normal, compile, [''])
68 test('GADT6', normal, compile, [''])
69 test('GADT7', normal, compile, [''])
70 test('GADT8', normal, compile, [''])
71 test('GADT9', normal, compile, [''])
72 test('GADT10', normal, compile, [''])
73 test('GADT11', normal, compile, [''])
74 test('GADT12', normal, compile, [''])
75 test('GADT13', normal, compile, [''])
76 test('GADT14', normal, compile, [''])
77
78 test('Class1', normal, compile, [''])
79 test('Class2', normal, compile, [''])
80 test('Class3', normal, compile, [''])
81
82 test('Refl', normal, compile, [''])
83 test('Refl2', normal, compile, [''])
84
85 test('Rules1', normal, compile, [''])
86
87 test('Numerals', normal, compile, [''])
88
89 test('ColInference', normal, compile, [''])
90 test('ColInference2', normal, compile, [''])
91 test('ColInference3', normal, compile, [''])
92 test('ColInference4', normal, compile, [''])
93 test('ColInference5', normal, compile, [''])
94 test('ColInference6', normal, compile, [''])
95
96 test('Col', normal, compile, [''])
97 test('Col2', normal, compile, [''])
98
99 test('ColGivenCheck', normal, compile, [''])
100 test('ColGivenCheck2', normal, compile, [''])
101
102 test('InstEqContext', normal, compile, [''])
103 test('InstEqContext2', normal, compile, [''])
104 test('InstEqContext3', normal, compile, [''])
105
106 test('InstContextNorm', normal, compile, [''])
107
108 test('GivenCheck', normal, compile, [''])
109 test('GivenCheckSwap', normal, compile, [''])
110 test('GivenCheckDecomp', normal, compile, [''])
111 test('GivenCheckTop', normal, compile, [''])
112
113 # A very delicate test
114 test('Gentle', normal, compile, [''])
115
116 test('T1981', normal, compile, [''])
117 test('T2238', normal, compile, [''])
118 test('OversatDecomp', normal, compile, [''])
119
120 test('T2219', normal, compile, [''])
121 test('T2627', normal, compile, [''])
122 test('T2448', normal, compile, [''])
123 test('T2291', normal, compile, [''])
124 test('T2639', normal, compile, [''])
125 test('T2944', normal, compile, [''])
126 test('T3017', normal, compile, ['-ddump-types'])
127 test('TF_GADT', normal, compile, [''])
128 test('T2203b', normal, compile, [''])
129 test('T2767', normal, compile, [''])
130 test('T3208a', normal, compile, [''])
131 test('T3208b', normal, compile_fail, [''])
132 test('T3418', normal, compile, [''])
133 test('T3423', normal, compile, [''])
134 test('T2850', normal, compile, [''])
135 test('T3220', normal, compile, [''])
136 test('T3590', normal, compile, [''])
137 test('CoTest3', normal, compile, [''])
138 test('Roman1', normal, compile, [''])
139 test('T4160', normal, compile, [''])
140 test('IndTypesPerf',
141      [ # expect_broken(5224),
142        # unbroken temporarily: #5227
143        extra_clean(['IndTypesPerf.o', 'IndTypesPerf.hi',
144                     'IndTypesPerfMerge.o', 'IndTypesPerfMerge.hi'])
145      ] ,
146      run_command,
147      ['$MAKE -s --no-print-directory IndTypesPerf'])
148
149 test('T4120', normal, compile, [''])
150 test('T3787', reqlib('mtl'), compile, [''])
151 test('T3826', normal, compile, [''])
152 test('T4200', normal, compile, [''])
153 test('T3851', normal, compile, [''])
154 test('T4178', normal, compile, [''])
155 test('T3023', normal, compile, [''])
156 test('T4358', normal, compile, [''])
157 test('T4356', normal, compile, [''])
158 test('T4484', normal, compile, [''])
159 test('T4492', normal, compile, [''])
160 test('T4494', normal, compile, [''])
161 test('DataFamDeriv', normal, compile, [''])
162 test('T1769', when(compiler_lt('ghc', '7.1'), expect_fail), compile, [''])
163 test('T4497', normal, compile, [''])
164 test('T3484', normal, compile, [''])
165 test('T3460', normal, compile, [''])
166 test('T4935', normal, compile, [''])
167
168 test('T4981-V1', normal, compile, [''])
169 test('T4981-V2', normal, compile, [''])
170 test('T4981-V3', normal, compile, [''])
171
172 test('T5002', normal, compile, [''])
173 test('PushedInAsGivens', normal, compile_fail, [''])
174
175 # Superclass equalities
176 test('T4338', normal, compile, [''])
177 test('T2715', normal, compile, [''])
178 test('T2102', normal, compile, [''])
179 test('ClassEqContext', normal, compile, [''])
180 test('ClassEqContext2', normal, compile, [''])
181 test('ClassEqContext3', normal, compile, [''])
182 test('HO', normal, compile, [''])
183
184
185 # The point about this test is that it compiles the two T5955
186 # modules *separately*
187 test('T5955',
188      extra_clean(['T5955.o', 'T5955.hi', 'T5955a.o', 'T5955a.hi']),
189      run_command,
190      ['$MAKE -s --no-print-directory T5955'])
191
192 test('T6152',
193      normal,
194      run_command,
195      ['$MAKE -s --no-print-directory T6152'])
196
197 test('T6088', normal, compile, [''])
198 test('T7082', normal, compile, [''])
199
200 test('Overlap1', normal, compile, [''])
201 test('Overlap2', normal, compile, [''])
202 test('Overlap12', normal, compile, [''])
203 test('Overlap13', normal, compile, [''])
204 test('Overlap14', normal, compile, [''])
205 test('T7156', normal, compile, [''])
206 test('T5591a', normal, compile, [''])
207 test('T5591b', normal, compile, [''])
208 test('T7280', normal, compile, [''])
209 test('T7474', normal, compile, [''])
210 test('T7489', normal, compile, [''])
211 test('T7585', normal, compile, [''])
212 test('T7282', normal, compile, [''])
213 test('T7804', normal, compile, [''])
214 test('T7837', normal, compile, ['-O -ddump-rule-firings'])
215 test('T4185', normal, compile, [''])
216
217 # Caused infinite loop in the compiler
218 test('T8002',
219      normal,
220      run_command,
221      ['$MAKE -s --no-print-directory T8002'])
222
223 # Import and export of associated types
224 test('T8011',
225      normal,
226      run_command,
227      ['$MAKE -s --no-print-directory T8011'])
228
229 # Marshalling of associated types
230 test('T8500',
231      normal,
232      run_command,
233      ['$MAKE -s --no-print-directory T8500'])
234
235 test('T8018', normal, compile, [''])
236 test('T8020', normal, compile, [''])
237 test('ClosedFam1', extra_clean(['ClosedFam1.o-boot', 'ClosedFam1.hi-boot']),
238      multimod_compile, ['ClosedFam1', '-v0'])
239 test('ClosedFam2', extra_clean(['ClosedFam2.o-boot', 'ClosedFam2.hi-boot']),
240      multimod_compile, ['ClosedFam2', '-v0'])
241 test('T8651', normal, compile, [''])
242 test('T8889', normal, compile, [''])
243 test('T8913', normal, compile, [''])
244 test('T8978', normal, compile, [''])
245 test('T8979', normal, compile, [''])
246 test('T9085', normal, compile, [''])
247 test('T9316', normal, compile, [''])
248 test('red-black-delete', normal, compile, [''])
249 test('Sock', normal, compile, [''])
250 test('T9211', normal, compile, [''])
251 test('T9747', normal, compile, [''])