all.T 6.55 KB
Newer Older
1
setTestOpts(only_compiler_types(['ghc']))
2
# Keep optimised tests, so we test coercion optimisation
dterei's avatar
dterei committed
3
setTestOpts(omit_ways(['optasm', 'optllvm', 'hpc']))
4

5 6 7 8 9 10
test('Simple1', normal, compile, [''])
test('Simple2', normal, compile, [''])
test('Simple3', normal, compile, [''])
test('Simple4', normal, compile, [''])
test('Simple5', normal, compile, [''])
test('Simple6', normal, compile, [''])
11
test('Simple7', normal, compile, [''])
12
test('Simple8', normal, compile, [''])
TomSchrijvers's avatar
TomSchrijvers committed
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, [''])
simonpj's avatar
simonpj committed
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 27
test('Simple22', normal, compile, [''])
test('Simple23', normal, compile, [''])
28
test('Simple24', normal, compile, [''])
29

30
test('RelaxedExamples', normal, compile, [''])
31 32
test('NonLinearLHS', normal, compile, [''])

33
test('ind1', normal, compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
34
test('ind2',
Ian Lynagh's avatar
Ian Lynagh committed
35
     extra_clean(['Ind2_help.hi', 'Ind2_help.o']),
Ian Lynagh's avatar
Ian Lynagh committed
36 37 38
     multimod_compile,
     ['ind2', '-v0'])
test('impexp',
Ian Lynagh's avatar
Ian Lynagh committed
39
     extra_clean(['Exp.hi', 'Exp.o', 'Imp.hi', 'Imp.o']),
Ian Lynagh's avatar
Ian Lynagh committed
40
     multimod_compile, 
Ian Lynagh's avatar
Ian Lynagh committed
41
     ['Imp', '-w -no-hs-main -c'])
42

Ian Lynagh's avatar
Ian Lynagh committed
43
test('ATLoop',
Ian Lynagh's avatar
Ian Lynagh committed
44
     extra_clean(['ATLoop_help.o','ATLoop_help.hi']),
Ian Lynagh's avatar
Ian Lynagh committed
45
     multimod_compile,
46
     ['ATLoop.hs','-v0'])
47

48 49
test('Deriving', normal, compile, [''])
test('DerivingNewType', expect_fail, compile, [''])
50
test('Records', normal, compile, [''])
51 52 53 54

# The point about this test is that it compiles NewTyCo1 and NewTyCo2
# *separately*
#
Ian Lynagh's avatar
Ian Lynagh committed
55 56 57 58
test('NewTyCo',
     extra_clean(['NewTyCo1.o', 'NewTyCo1.hi', 'NewTyCo2.o', 'NewTyCo2.hi']),
     run_command,
     ['$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 67 68
test('GADT4', normal, compile, [''])
test('GADT5', normal, compile, [''])
test('GADT6', normal, compile, [''])
69
test('GADT7', normal, compile, [''])
70
test('GADT8', normal, compile, [''])
71
test('GADT9', normal, compile, [''])
72
test('GADT10', normal, compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
73
test('GADT11', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
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 86
test('Rules1', normal, compile, [''])

87
test('Numerals', normal, compile, [''])
88

89 90 91 92 93
test('ColInference', normal, compile, [''])
test('ColInference2', normal, compile, [''])
test('ColInference3', normal, compile, [''])
test('ColInference4', normal, compile, [''])
test('ColInference5', normal, compile, [''])
94 95 96
test('ColInference6', normal, compile, [''])

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 109
test('GivenCheck', normal, compile, [''])
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

Simon Peyton Jones's avatar
Simon Peyton Jones committed
116
test('T1981', normal, compile, [''])
117
test('T2238', normal, compile, [''])
118
test('OversatDecomp', normal, compile, [''])
119

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

Simon Peyton Jones's avatar
Simon Peyton Jones committed
149
test('T4120', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
150
test('T3787', reqlib('mtl'), compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
151 152 153 154
test('T3826', normal, compile, [''])
test('T4200', normal, compile, [''])
test('T3851', normal, compile, [''])
test('T4178', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
155 156
test('T3023', normal, compile, [''])
test('T4358', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
157
test('T4356', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
158 159
test('T4484', normal, compile, [''])
test('T4492', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
160
test('T4494', normal, compile, [''])
161
test('DataFamDeriv', normal, compile, [''])
162
test('T1769', if_compiler_lt('ghc', '7.1', expect_fail), compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
163
test('T4497', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
164
test('T3484', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
165
test('T3460', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
166
test('T4935', normal, compile, [''])
167 168 169 170 171 172 173

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

test('T5002', normal, compile, [''])
test('PushedInAsGivens', normal, compile, [''])
174 175 176 177 178 179 180 181 182 183 184

# 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
185 186 187 188 189 190
# 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
191

Simon Peyton Jones's avatar
Simon Peyton Jones committed
192 193 194 195 196
test('T6152',
     normal,
     run_command,
     ['$MAKE -s --no-print-directory T6152'])

Simon Peyton Jones's avatar
Simon Peyton Jones committed
197
test('T6088', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
198
test('T7082', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
199
test('T7156', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
200 201
test('T5591a', normal, compile, [''])
test('T5591b', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
202
test('T7280', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
203

Simon Peyton Jones's avatar
Simon Peyton Jones committed
204