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