all.T 3.68 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', expect_fail, compile, [''])
TomSchrijvers's avatar
TomSchrijvers committed
12
test('Simple9', normal, compile, [''])
13 14
test('Simple10', normal, compile, [''])
test('Simple11', normal, compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
15
test('Simple12', if_compiler_lt('ghc','6.9',expect_fail), compile, [''])
16
test('Simple13', normal, compile, [''])
17
test('Simple14', expect_fail, compile, [''])
18
test('Simple15', normal, compile, [''])
19
test('Simple16', normal, compile, [''])
rl@cse.unsw.edu.au's avatar
rl@cse.unsw.edu.au committed
20
test('Simple17', expect_fail, 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

28
test('ind1', normal, compile, [''])
29
test('ind2', normal, multimod_compile, ['ind2', '-v0'])
30
test('impexp', normal, multimod_compile, 
31 32
     ['Imp', '-Wnot -no-hs-main -no-link'])
clean(['Ind2_help.hi', 'Ind2_help.o', 'Exp.hi', 'Imp.o'])
33

34
test('ATLoop', normal, multimod_compile, ['ATLoop','-v0'])
35 36
clean(['ATLoop_Help.o','ATLoop_Help.hi'])

37 38
test('Deriving', normal, compile, [''])
test('DerivingNewType', expect_fail, compile, [''])
39
test('Records', normal, compile, [''])
40 41 42 43 44 45

# The point about this test is that it compiles NewTyCo1 and NewTyCo2
# *separately*
#
test('NewTyCo', ignore_output, run_command, ['$MAKE NewTyCo'])
clean(['NewTyCo1.o', 'NewTyCo1.hi', 'NewTyCo2.o', 'NewTyCo2.hi'])
46

47
test('Infix', normal, compile, [''])
48
test('Kind', normal, compile, [''])
49 50

test('GADT1', expect_fail, compile, [''])
51
test('GADT2', normal, compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
52
test('GADT3', if_compiler_ge('ghc', '6.9', expect_fail), compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
53 54 55
test('GADT4', if_compiler_lt('ghc', '6.9', expect_fail), compile, [''])
test('GADT5', if_compiler_lt('ghc', '6.9', expect_fail), compile, [''])
test('GADT6', if_compiler_lt('ghc', '6.9', expect_fail), compile, [''])
56
test('GADT7', expect_fail, compile, [''])
57
test('GADT8', normal, compile, [''])
58
test('GADT9', normal, compile, [''])
59
test('GADT10', expect_fail, compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
60
test('GADT11', normal, compile, [''])
chak@cse.unsw.edu.au.'s avatar
chak@cse.unsw.edu.au. committed
61
test('GADT12', expect_fail, compile, [''])
62

63
test('Class1', normal, compile, [''])
64
test('Class2', normal, compile, [''])
65
test('Class3', expect_fail, compile, [''])
66

67
test('Refl', normal, compile, [''])
68
test('Refl2', normal, compile, [''])
69

70 71
test('Rules1', normal, compile, [''])

72 73
test('RankN1', expect_fail, compile, [''])

74
test('Numerals', normal, compile, [''])
75 76 77 78 79 80 81 82 83

test('ColInference', normal, compile, [''])
test('ColInference2', normal, compile, [''])
test('ColInference3', normal, compile, [''])
test('ColInference4', normal, compile, [''])
test('ColInference5', normal, compile, [''])
test('ColInference6', normal, compile, [''])

test('ClassEqContext', normal, compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
84
test('ClassEqContext2', normal, compile, [''])
85 86 87 88 89 90 91
test('ClassEqContext3', normal, compile, [''])

test('Col', normal, compile, [''])
test('Col2', normal, compile, [''])

test('ColGivenCheck', normal, compile, [''])
test('ColGivenCheck2', normal, compile, [''])
92

TomSchrijvers's avatar
TomSchrijvers committed
93
test('InstEqContext', normal, compile, [''])
Ian Lynagh's avatar
Ian Lynagh committed
94 95
test('InstEqContext2', if_compiler_lt('ghc', '6.9', expect_fail),
                       compile, [''])
96
test('InstEqContext3', normal, compile, [''])
97 98 99 100 101 102 103

test('HO', normal, compile, [''])

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

test('Gentle', normal, compile, [''])