Kill inaccessible-branch complaints in record update
[ghc.git] / testsuite / tests / pmcheck / should_compile / all.T
1
2 # Tests for pattern match checker (coverage and exhaustiveness)
3
4 # Just do the normal way...
5 def f( name, opts ):
6   opts.only_ways = ['normal']
7
8 setTestOpts(f)
9
10 # Bug reports / feature requests
11 test('T2006', [], compile,
12      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
13 test('T2204', [], compile,
14      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
15 test('T3078', [], compile,
16      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
17 test('T322', [], compile,
18      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
19 test('T366', [], compile,
20      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
21 test('T3927a', [], compile,
22      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
23 test('T3927b', [], compile,
24      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
25 test('T3927', [], compile,
26      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
27 test('T4139', [], compile,
28      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
29 test('T6124', [], compile,
30      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
31 test('T7669a', [], compile,
32      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
33 test('T8970', [], compile,
34      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
35 test('T9951b', [], compile,
36      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
37 test('T9951', [], compile,
38      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
39 test('T11303', normal, compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns +RTS -M1G -RTS'])
40 test('T11276', compile_timeout_multiplier(0.01), compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns +RTS -M1G -RTS'])
41 test('T11303b', compile_timeout_multiplier(0.01), compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns +RTS -M1G -RTS'])
42 test('T11374', compile_timeout_multiplier(0.01), compile, ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns +RTS -M1G -RTS'])
43 test('T11195', compile_timeout_multiplier(0.40), compile, ['-package ghc -fwarn-incomplete-patterns -fwarn-overlapping-patterns +RTS -M2G -RTS'])
44
45 # Other tests
46 test('pmc001', [], compile,
47      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
48 test('pmc002', [], compile,
49      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
50 test('pmc003', [], compile,
51      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
52 test('pmc004', [], compile,
53      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
54 test('pmc005', [], compile,
55      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
56 test('pmc006', [], compile,
57      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
58 test('pmc007', [], compile,
59      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
60 test('T11245', [], compile,
61      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
62 test('T12957', [], compile, ['-fwarn-overlapping-patterns'])
63 test('T12957a', [], compile, ['-fwarn-overlapping-patterns'])
64
65 # EmptyCase
66 test('T10746', [], compile,
67      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
68 test('EmptyCase001', [], compile,
69      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
70 test('EmptyCase002', [], compile,
71      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
72 test('EmptyCase003', [], compile,
73      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
74 test('EmptyCase004', [], compile,
75      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
76 test('EmptyCase005', [], compile,
77      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
78 test('EmptyCase006', [],  compile,
79      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
80 test('EmptyCase007', [],  compile,
81      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
82 test('EmptyCase008', [],  compile,
83      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
84 test('EmptyCase009', [],  compile,
85      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])
86 test('EmptyCase010', [],  compile,
87      ['-fwarn-incomplete-patterns -fwarn-overlapping-patterns'])