all.T 9.26 KB
Newer Older
1
2
3
4
5
6
test('Simple1', normal, compile, [''])
test('Simple2', normal, compile, [''])
test('Simple3', normal, compile, [''])
test('Simple4', normal, compile, [''])
test('Simple5', normal, compile, [''])
test('Simple6', normal, compile, [''])
7
test('Simple7', normal, compile, [''])
8
test('Simple8', normal, compile, [''])
TomSchrijvers's avatar
TomSchrijvers committed
9
test('Simple9', normal, compile, [''])
10
test('Simple10', normal, compile, [''])
11
test('Simple11', normal, compile, [''])
12
test('Simple12', normal, compile, [''])
simonpj's avatar
simonpj committed
13
test('Simple13', normal, compile, [''])
simonpj's avatar
simonpj committed
14
test('Simple14', normal, compile_fail, [''])
15
test('Simple15', normal, compile, [''])
16
test('Simple16', normal, compile, [''])
simonpj's avatar
simonpj committed
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
23
test('Simple22', normal, compile, [''])
test('Simple23', normal, compile, [''])
24
test('Simple24', normal, compile, [''])
25

26
test('RelaxedExamples', normal, compile, [''])
27
28
test('NonLinearLHS', normal, compile, [''])

29
test('ind1', normal, compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
30
test('ind2',
Ian Lynagh's avatar
Ian Lynagh committed
31
     extra_clean(['Ind2_help.hi', 'Ind2_help.o']),
Ian Lynagh's avatar
Ian Lynagh committed
32
33
34
     multimod_compile,
     ['ind2', '-v0'])
test('impexp',
Ian Lynagh's avatar
Ian Lynagh committed
35
     extra_clean(['Exp.hi', 'Exp.o', 'Imp.hi', 'Imp.o']),
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
36
     multimod_compile,
Ian Lynagh's avatar
Ian Lynagh committed
37
     ['Imp', '-w -no-hs-main -c'])
38

Ian Lynagh's avatar
Ian Lynagh committed
39
test('ATLoop',
Ian Lynagh's avatar
Ian Lynagh committed
40
     extra_clean(['ATLoop_help.o','ATLoop_help.hi']),
Ian Lynagh's avatar
Ian Lynagh committed
41
     multimod_compile,
42
     ['ATLoop.hs','-v0'])
43

44
test('Deriving', normal, compile, [''])
45
test('DerivingNewType', normal, compile, [''])
46
test('Records', normal, compile, [''])
47
48
49
50

# The point about this test is that it compiles NewTyCo1 and NewTyCo2
# *separately*
#
Ian Lynagh's avatar
Ian Lynagh committed
51
52
53
54
test('NewTyCo',
     extra_clean(['NewTyCo1.o', 'NewTyCo1.hi', 'NewTyCo2.o', 'NewTyCo2.hi']),
     run_command,
     ['$MAKE -s --no-print-directory NewTyCo'])
55

56
test('Infix', normal, compile, [''])
57
test('Kind', normal, compile, [''])
58

59
test('GADT1', normal, compile, [''])
60
test('GADT2', normal, compile, [''])
61
test('GADT3', normal, compile, [''])
62
63
64
test('GADT4', normal, compile, [''])
test('GADT5', normal, compile, [''])
test('GADT6', normal, compile, [''])
simonpj's avatar
simonpj committed
65
test('GADT7', normal, compile, [''])
66
test('GADT8', normal, compile, [''])
67
test('GADT9', normal, compile, [''])
simonpj's avatar
simonpj committed
68
test('GADT10', normal, compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
69
test('GADT11', normal, compile, [''])
simonpj's avatar
simonpj committed
70
test('GADT12', normal, compile, [''])
71
test('GADT13', normal, compile, [''])
72
test('GADT14', normal, compile, [''])
73

74
test('Class1', normal, compile, [''])
75
test('Class2', normal, compile, [''])
76
test('Class3', normal, compile, [''])
77

78
test('Refl', normal, compile, [''])
79
test('Refl2', normal, compile, [''])
80

81
test('Rules1', normal, compile, [''])
82

83
test('Numerals', normal, compile, [''])
84

85
86
test('ColInference', normal, compile, [''])
test('ColInference2', normal, compile, [''])
87
test('ColInference3', normal, compile, [''])
88
89
test('ColInference4', normal, compile, [''])
test('ColInference5', normal, compile, [''])
90
91
92
test('ColInference6', normal, compile, [''])

test('Col', normal, compile, [''])
93
test('Col2', normal, compile, [''])
94
95

test('ColGivenCheck', normal, compile, [''])
96
test('ColGivenCheck2', normal, compile, [''])
97

98
test('InstEqContext', normal, compile, [''])
99
test('InstEqContext2', normal, compile, [''])
100
test('InstEqContext3', normal, compile, [''])
101

102
test('InstContextNorm', normal, compile, [''])
103

104
105
test('GivenCheck', normal, compile, [''])
test('GivenCheckSwap', normal, compile, [''])
106
test('GivenCheckDecomp', normal, compile, [''])
107
test('GivenCheckTop', normal, compile, [''])
108

109
# A very delicate test
simonpj's avatar
simonpj committed
110
test('Gentle', normal, compile, [''])
111

simonpj's avatar
simonpj committed
112
test('T1981', normal, compile, [''])
113
test('T2238', normal, compile, [''])
114
test('OversatDecomp', normal, compile, [''])
115

chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
116
test('T2219', normal, compile, [''])
chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
117
test('T2627', normal, compile, [''])
chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
118
test('T2448', normal, compile, [''])
chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
119
test('T2291', normal, compile, [''])
chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
120
test('T2639', normal, compile, [''])
simonpj's avatar
simonpj committed
121
test('T2944', normal, compile, [''])
122
123
124
125
126
test('T3017', normal, compile, ['-ddump-types'])
test('TF_GADT', normal, compile, [''])
test('T2203b', normal, compile, [''])
test('T2767', normal, compile, [''])
test('T3208a', normal, compile, [''])
simonpj's avatar
simonpj committed
127
test('T3208b', normal, compile_fail, [''])
128
test('T3418', normal, compile, [''])
simonpj's avatar
simonpj committed
129
test('T3423', normal, compile, [''])
simonpj's avatar
simonpj committed
130
test('T2850', normal, compile, [''])
131
test('T3220', normal, compile, [''])
simonpj's avatar
simonpj committed
132
test('T3590', normal, compile, [''])
133
134
test('CoTest3', normal, compile, [''])
test('Roman1', normal, compile, [''])
simonpj's avatar
simonpj committed
135
test('T4160', normal, compile, [''])
136
test('IndTypesPerf',
137
138
139
     [ # expect_broken(5224),
       # unbroken temporarily: #5227
       extra_clean(['IndTypesPerf.o', 'IndTypesPerf.hi',
140
141
                    'IndTypesPerfMerge.o', 'IndTypesPerfMerge.hi'])
     ] ,
142
143
     run_command,
     ['$MAKE -s --no-print-directory IndTypesPerf'])
simonpj's avatar
simonpj committed
144

Simon Peyton Jones's avatar
Simon Peyton Jones committed
145
test('T4120', normal, compile, [''])
simonpj's avatar
simonpj committed
146
test('T3787', reqlib('mtl'), compile, [''])
simonpj's avatar
simonpj committed
147
148
149
150
test('T3826', normal, compile, [''])
test('T4200', normal, compile, [''])
test('T3851', normal, compile, [''])
test('T4178', normal, compile, [''])
simonpj's avatar
simonpj committed
151
152
test('T3023', normal, compile, [''])
test('T4358', normal, compile, [''])
simonpj's avatar
simonpj committed
153
test('T4356', normal, compile, [''])
simonpj's avatar
simonpj committed
154
155
test('T4484', normal, compile, [''])
test('T4492', normal, compile, [''])
simonpj's avatar
simonpj committed
156
test('T4494', normal, compile, [''])
157
test('DataFamDeriv', normal, compile, [''])
158
test('T1769', normal, compile, [''])
simonpj's avatar
simonpj committed
159
test('T4497', normal, compile, [''])
simonpj's avatar
simonpj committed
160
test('T3484', normal, compile, [''])
simonpj's avatar
simonpj committed
161
test('T3460', normal, compile, [''])
simonpj's avatar
simonpj committed
162
test('T4935', normal, compile, [''])
163
164
165
166
167
168

test('T4981-V1', normal, compile, [''])
test('T4981-V2', normal, compile, [''])
test('T4981-V3', normal, compile, [''])

test('T5002', normal, compile, [''])
169
test('PushedInAsGivens', normal, compile_fail, [''])
170
171
172
173
174
175
176
177
178
179
180

# Superclass equalities
test('T4338', normal, compile, [''])
test('T2715', normal, compile, [''])
test('T2102', normal, compile, [''])
test('ClassEqContext', normal, compile, [''])
test('ClassEqContext2', normal, compile, [''])
test('ClassEqContext3', normal, compile, [''])
test('HO', normal, compile, [''])


Simon Peyton Jones's avatar
Simon Peyton Jones committed
181
182
183
184
185
186
# The point about this test is that it compiles the two T5955
# modules *separately*
test('T5955',
     extra_clean(['T5955.o', 'T5955.hi', 'T5955a.o', 'T5955a.hi']),
     run_command,
     ['$MAKE -s --no-print-directory T5955'])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
187

Simon Peyton Jones's avatar
Simon Peyton Jones committed
188
189
190
191
192
test('T6152',
     normal,
     run_command,
     ['$MAKE -s --no-print-directory T6152'])

Simon Peyton Jones's avatar
Simon Peyton Jones committed
193
test('T7082', normal, compile, [''])
194
195
196
197

test('Overlap1', normal, compile, [''])
test('Overlap2', normal, compile, [''])
test('Overlap12', normal, compile, [''])
198
199
test('Overlap13', normal, compile, [''])
test('Overlap14', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
200
test('T7156', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
201
202
test('T5591a', normal, compile, [''])
test('T5591b', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
203
test('T7280', normal, compile, [''])
204
test('T7474', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
205
test('T7489', normal, compile, [''])
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
206
test('T7585', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
207
test('T7282', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
208
test('T7804', normal, compile, [''])
thomie's avatar
thomie committed
209
210
test('T7837', expect_broken_for(9406, prof_ways), compile,
     ['-O -ddump-rule-firings'])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
211
test('T4185', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
212

Gabor Greif's avatar
Gabor Greif committed
213
# Caused infinite loop in the compiler
Simon Peyton Jones's avatar
Simon Peyton Jones committed
214
215
216
217
test('T8002',
     normal,
     run_command,
     ['$MAKE -s --no-print-directory T8002'])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
218
219
220
221
222
223

# Import and export of associated types
test('T8011',
     normal,
     run_command,
     ['$MAKE -s --no-print-directory T8011'])
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
224

Krzysztof Gogolewski's avatar
Krzysztof Gogolewski committed
225
# Marshalling of associated types
Simon Peyton Jones's avatar
Simon Peyton Jones committed
226
227
228
229
230
test('T8500',
     normal,
     run_command,
     ['$MAKE -s --no-print-directory T8500'])

eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
231
test('T8018', normal, compile, [''])
232
test('T8020', normal, compile, [''])
233
test('ClosedFam1', extra_clean(['ClosedFam1.o-boot', 'ClosedFam1.hi-boot', 'ClosedFam1a.o', 'ClosedFam1a.hi']),
234
     multimod_compile, ['ClosedFam1', '-v0'])
235
test('ClosedFam2', extra_clean(['ClosedFam2.o-boot', 'ClosedFam2.hi-boot', 'ClosedFam2a.o', 'ClosedFam2a.hi']),
236
     multimod_compile, ['ClosedFam2', '-v0'])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
237
test('T8651', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
238
test('T8889', normal, compile, [''])
239
test('T8913', normal, compile, [''])
240
241
test('T8978', normal, compile, [''])
test('T8979', normal, compile, [''])
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
242
test('T9085', normal, compile, [''])
243
test('T9316', normal, compile, [''])
244
test('red-black-delete', normal, compile, [''])
245
test('Sock', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
246
test('T9211', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
247
test('T9747', normal, compile, [''])
248
test('T9582', normal, compile, [''])
249
250
251
252
test('T9840',
     extra_clean(['T9840.hi-boot', 'T9840.o-boot', 'T9840a.hi', 'T9840a.o']),
     multimod_compile,
     ['T9840', '-v0'])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
253
test('T9090', normal, compile, [''])
254
test('T10020', normal, compile, [''])
255
test('T10079', normal, compile, [''])
256
test('T10139', normal, compile, [''])
257
test('T10340', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
258
test('T10226', normal, compile, [''])
259
test('T10507', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
260
test('T10634', normal, compile, [''])
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
261
test('T10713', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
262
test('T10753', normal, compile, [''])
263
test('T10806', normal, compile_fail, [''])
264
test('T10815', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
265
test('T10931', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
266
test('T11187', normal, compile, [''])
267
268
test('T11067', normal, compile, [''])
test('T10318', normal, compile, [''])
269
270
test('UnusedTyVarWarnings', normal, compile, ['-Wunused-type-patterns'])
test('UnusedTyVarWarningsNamedWCs', normal, compile, ['-Wunused-type-patterns'])
271
test('T11408', normal, compile, [''])
272
273
test('T11361', normal, compile, ['-dunique-increment=-1'])
  # -dunique-increment=-1 doesn't work inside the file
274
test('T11361a', normal, compile_fail, [''])
275
test('T11581', normal, compile, [''])
276
test('T12175', normal, compile, [''])
277
test('T12522', normal, compile, [''])
278
test('T12522b', normal, compile, [''])