1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
# safeInfered tests are for testing that the Safe Haskell
# mode safe inference works correctly.
# Just do the normal way, SafeHaskell is all in the frontend
def f( name, opts ):
opts.only_ways = ['normal']
setTestOpts(f)
# Tests that should compile fine as they should be inferred safe
test('SafeInfered01', [], multimod_compile, ['SafeInfered01', '-v0'])
test('SafeInfered02', [], multimod_compile, ['SafeInfered02', '-v0'])
test('SafeInfered03', [], multimod_compile, ['SafeInfered03', '-v0'])
test('SafeInfered04', [], multimod_compile, ['SafeInfered04', '-v0'])
test('SafeInfered05', [], multimod_compile, ['SafeInfered05', '-v0'])
# Tests that should fail to compile as they should be inferred unsafe
test('UnsafeInfered01', [], multimod_compile_fail, ['UnsafeInfered01', '-v0'])
test('UnsafeInfered02', [], multimod_compile_fail, ['UnsafeInfered02', '-v0'])
test('UnsafeInfered03', [], multimod_compile_fail, ['UnsafeInfered03', '-v0'])
test('UnsafeInfered05', [], multimod_compile_fail, ['UnsafeInfered05', '-v0'])
test('UnsafeInfered06', [], multimod_compile_fail, ['UnsafeInfered06', '-v0'])
test('UnsafeInfered08', [], multimod_compile, ['UnsafeInfered08', '-v0'])
test('UnsafeInfered09', [], multimod_compile_fail, ['UnsafeInfered09', '-v0'])
# Test that should fail as we disable safe inference
test('UnsafeInfered10', [], multimod_compile_fail, ['UnsafeInfered10', '-v0'])
test('UnsafeInfered11', [], multimod_compile_fail, ['UnsafeInfered11', '-v0'])
# Test TH is unsafe
test('UnsafeInfered12', normal, compile_fail, [''])
# Test various overlapping instance flags
# GHC 7.10 and earlier we regarded them as unsafe, but we now take an approach
# based on looking only at sites of actual overlaps
test('UnsafeInfered13', normal, compile, [''])
test('UnsafeInfered14', normal, compile, [''])
test('UnsafeInfered15', normal, compile, [''])
test('UnsafeInfered16', normal, compile, [''])
test('UnsafeInfered17', normal, compile, [''])
test('UnsafeInfered18', normal, compile, [''])
test('UnsafeInfered19', normal, compile, [''])
# Mixed tests
test('Mixed01', normal, compile_fail, [''])
test('Mixed02', normal, compile_fail, [''])
test('Mixed03', normal, compile_fail, [''])
# Trustworthy Safe modules
test('TrustworthySafe01', normal, compile, [''])
test('TrustworthySafe02', normal, compile, [''])
test('TrustworthySafe03', normal, compile, [''])
test('TrustworthySafe04', normal, compile, [''])
# Check -fwarn-unsafe works
test('UnsafeWarn01', normal, compile, [''])
test('UnsafeWarn02', normal, compile, [''])
test('UnsafeWarn03', normal, compile, [''])
test('UnsafeWarn04', normal, compile, [''])
test('UnsafeWarn05', normal, compile, [''])
test('UnsafeWarn06', normal, compile, [''])
test('UnsafeWarn07', normal, compile, [''])
# Check -fwa-safe works
test('SafeWarn01', normal, compile, [''])
test('T16689', normal, compile, ['-Wsafe'])
|
