all.T 4.25 KB
Newer Older
1
setTestOpts(only_compiler_types(['ghc']))
2
setTestOpts(omit_ways(['optc', 'optasm', 'hpc']))
3

4
5
6
7
8
9
test('Simple1', normal, compile, [''])
test('Simple2', normal, compile, [''])
test('Simple3', normal, compile, [''])
test('Simple4', normal, compile, [''])
test('Simple5', normal, compile, [''])
test('Simple6', normal, compile, [''])
10
test('Simple7', normal, compile, [''])
11
test('Simple8', normal, compile, [''])
TomSchrijvers's avatar
TomSchrijvers committed
12
test('Simple9', normal, compile, [''])
13
test('Simple10', normal, compile, [''])
14
test('Simple11', normal, compile, [''])
15
test('Simple12', normal, compile, [''])
16
test('Simple13', expect_fail, compile, [''])
17
test('Simple14', normal, compile, [''])
18
test('Simple15', normal, compile, [''])
19
test('Simple16', normal, compile, [''])
simonpj's avatar
simonpj committed
20
test('Simple17', normal, compile, [''])
21
test('Simple18', normal, compile, [''])
22
test('Simple19', normal, compile, [''])
23
test('Simple20', normal, compile, [''])
24
test('Simple21', normal, compile, [''])
25
26
test('Simple22', normal, compile, [''])
test('Simple23', normal, compile, [''])
27
test('Simple24', normal, compile, [''])
28

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

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

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

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

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

59
test('Infix', normal, compile, [''])
60
test('Kind', normal, compile, [''])
61

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

77
test('Class1', normal, compile, [''])
78
test('Class2', normal, compile, [''])
79
test('Class3', normal, compile, [''])
80

81
test('Refl', normal, compile, [''])
82
test('Refl2', normal, compile, [''])
83

84
85
test('Rules1', normal, compile, [''])

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

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

95
96
97
test('ClassEqContext', expect_fail, compile, [''])
test('ClassEqContext2', expect_fail, compile, [''])
test('ClassEqContext3', expect_fail, compile, [''])
98
99

test('Col', normal, compile, [''])
100
test('Col2', normal, compile, [''])
101
102

test('ColGivenCheck', normal, compile, [''])
103
test('ColGivenCheck2', normal, compile, [''])
104

105
test('InstEqContext', expect_fail, compile, [''])
106
test('InstEqContext2', normal, compile, [''])
107
test('InstEqContext3', expect_fail, compile, [''])
108

109
test('InstContextNorm', normal, compile, [''])
110

111
test('HO', expect_fail, compile, [''])
112
113
114

test('GivenCheck', normal, compile, [''])
test('GivenCheckSwap', normal, compile, [''])
115
test('GivenCheckDecomp', normal, compile, [''])
116
test('GivenCheckTop', normal, compile, [''])
117
118

test('Gentle', normal, compile, [''])
simonpj's avatar
simonpj committed
119
test('T1981', normal, compile, [''])
120
test('T2238', expect_fail, compile, [''])
121
test('OversatDecomp', normal, compile, [''])
122

chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
123
test('T2219', normal, compile, [''])
chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
124
test('T2627', normal, compile, [''])
chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
125
test('T2448', normal, compile, [''])
chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
126
test('T2291', normal, compile, [''])
chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
127
test('T2639', normal, compile, [''])
simonpj's avatar
simonpj committed
128
test('T2944', normal, compile, [''])
129
test('T3017', if_compiler_lt('ghc', '6.11', expect_fail), compile, ['-ddump-types'])
Ian Lynagh's avatar
Ian Lynagh committed
130
test('TF_GADT', if_compiler_lt('ghc', '6.11', expect_fail), compile, [''])