More helper conversions
[ghc.git] / testsuite / tests / gadt / all.T
1 setTestOpts(only_compiler_types(['ghc']))
2
3 # setTestOpts(only_ways(['normal']));
4 # Not only-normal: want optimisation too, to check coercion optimiser
5
6 # In fast mode, we omit all the compile_and_run tests except a couple
7
8 test('gadt1', normal, compile, [''])
9 test('gadt2', when(fast(), skip), compile_and_run, [''])
10 test('gadt3', normal, compile, [''])
11 test('gadt4', when(fast(), skip), compile_and_run, [''])
12 test('gadt5', when(fast(), skip), compile_and_run, [''])
13 test('gadt6', normal, compile, [''])
14 test('gadt7', normal, compile_fail, [''])
15 test('gadt8', normal, compile, [''])
16 test('gadt9', normal, compile, [''])
17 test('gadt10', normal, compile_fail, [''])
18 test('gadt11', normal, compile_fail, [''])
19 test('gadt13', normal, compile_fail, [''])
20 test('gadt14', normal, compile, [''])
21 test('gadt15', normal, compile, [''])
22 test('gadt16', normal, compile, [''])
23
24 test('gadt17',
25      extra_clean(['Gadt17_help.hi', 'Gadt17_help.o']),
26      run_command,
27      ['$MAKE -s --no-print-directory gadt17'])
28
29 test('gadt18', normal, compile, [''])
30 test('gadt19', normal, compile, [''])
31 test('gadt20', normal, compile, [''])
32 test('gadt21', normal, compile_fail, [''])
33 test('gadt22', normal, compile, [''])
34
35 test('gadt23',
36      extra_clean(['Gadt23_AST.hi', 'Gadt23_AST.o']),
37      run_command,
38      ['$MAKE -s --no-print-directory gadt23'])
39
40 test('gadt24', normal, compile, [''])
41
42 test('red-black', normal, compile, [''])
43 test('type-rep', when(fast(), skip), compile_and_run, [''])
44 test('equal', normal, compile, [''])
45 test('nbe', normal, compile, [''])
46 test('while', normal, compile_and_run, [''])
47 test('rw', normal, compile_fail, [''])
48 test('lazypat', normal, compile_fail, [''])
49 test('lazypatok', expect_fail, compile, [''])
50 test('tc', normal, compile_and_run, [''])
51 test('arrow', normal, compile, [''])
52 test('tdpe', normal, compile, [''])
53 test('Nilsson', when(fast(), skip), compile, [''])
54
55 if config.fast:
56     test('records', normal, compile, [''])
57 else:
58     test('records', normal, compile_and_run, [''])
59 test('ubx-records', when(fast(), skip), compile_and_run, [''])
60 test('records-fail1', normal, compile_fail, [''])
61
62 test('doaitse', normal, compile, [''])
63 test('josef', normal, compile, [''])
64
65 # Interaction of fundeps with GADTs doesn't work well 
66 test('gadt-fd', expect_broken(345), compile, [''])
67
68 test('karl1', normal, compile, [''])
69 test('karl2', normal, compile, [''])
70 test('data1', normal, compile, [''])
71 test('data2', normal, compile, [''])
72
73 test('termination', normal, compile, [''])
74 test('set', normal, compile, [''])
75 test('scoped', normal, compile, [''])
76 test('gadt-escape1', normal, compile_fail, [''])
77
78 # New ones from Dimitrios
79
80 # test('gadt-dim1', normal, compile, [''])
81 # test('gadt-dim2', normal, compile_fail, [''])
82 # test('gadt-dim3', normal, compile_fail, [''])
83 # test('gadt-dim4', normal, compile, [''])
84 # test('gadt-dim5', normal, compile, [''])
85 # test('gadt-dim6', normal, compile, [''])
86 # test('gadt-dim7', normal, compile, [''])
87 # test('gadt-dim8', normal, compile, [''])
88 # test('Arith', normal, compile, [''])
89
90 test('Session', normal, compile_and_run, [''])
91 test('CasePrune', normal, compile_and_run, [''])
92
93 test('T1999', normal, compile, [''])
94 test('T1999a', normal, compile, [''])
95
96 test('T2587', normal, compile, [''])
97 test('T2040', normal, compile, [''])
98 test('T2151', normal, compile, [''])
99 test('T3013', normal, compile, [''])
100 test('T3163', normal, compile_fail, [''])
101 test('gadt25', normal, compile, [''])
102 test('T3651', normal, compile_fail, [''])
103 test('T3638', normal, compile, [''])
104
105 test('gadtSyntax001', when(compiler_lt('ghc', '7.1'), expect_fail), compile, [''])
106 test('gadtSyntaxFail001', when(compiler_lt('ghc', '7.1'), expect_fail), compile_fail, [''])
107 test('gadtSyntaxFail002', when(compiler_lt('ghc', '7.1'), expect_fail), compile_fail, [''])
108 test('gadtSyntaxFail003', when(compiler_lt('ghc', '7.1'), expect_fail), compile_fail, [''])
109 test('T3169', normal, compile_fail, [''])
110 test('T5424',
111      extra_clean(['T5424a.hi', 'T5424a.o']),
112      multimod_compile,
113      ['T5424', '-v0 -O0'])
114
115 test('FloatEq', normal, compile, [''])
116 test('T7205', normal, compile, [''])
117 test('T7293', normal, compile_fail, [''])
118 test('T7294', normal, compile, [''])
119 test('T7321',
120      extra_clean(['T7321a.hi', 'T7321a.o']),
121      run_command,
122      ['$MAKE -s --no-print-directory T7321'])