all.T 2.43 KB
Newer Older
ross's avatar
ross committed
1
setTestOpts(only_compiler_types(['ghc']))
2 3
setTestOpts(only_ways(['normal']));

4 5
# In fast mode, we omit all the compile_and_run tests except a couple

6
test('gadt1', normal, compile, [''])
7
test('gadt2', skip_if_fast, compile_and_run, [''])
8
test('gadt3', normal, compile, [''])
9 10
test('gadt4', skip_if_fast, compile_and_run, [''])
test('gadt5', skip_if_fast, 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 16
test('gadt10', normal, compile_fail, [''])
test('gadt11', normal, compile_fail, [''])
17
test('gadt13', normal, compile_fail, [''])
18
test('gadt14', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
19
test('gadt15', normal, compile, [''])
20
test('gadt16', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
21

22
test('gadt17', ignore_output, run_command, ['$MAKE gadt17'])
Ian Lynagh's avatar
Ian Lynagh committed
23
clean(['Gadt17_help.hi', 'Gadt17_help.o'])
24

Simon Peyton Jones's avatar
Simon Peyton Jones committed
25
test('gadt18', normal, compile, [''])
26
test('gadt19', normal, compile, [''])
27
test('gadt20', normal, compile, [''])
28 29
test('gadt21', normal, compile_fail, [''])
test('gadt22', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
30

31
test('red-black', normal, compile, [''])
32
test('type-rep', skip_if_fast, compile_and_run, [''])
33 34 35
test('equal', normal, compile, [''])
test('nbe', normal, compile, [''])
test('while', normal, compile_and_run, [''])
36 37
test('rw', normal, compile_fail, [''])
test('lazypat', normal, compile_fail, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
38
test('lazypatok', normal, compile, [''])
39
test('tc', normal, compile_and_run, [''])
40 41
test('arrow', normal, compile, [''])
test('tdpe', normal, compile, [''])
42
test('Nilsson', skip_if_fast, compile, [''])
43

44
test('records', skip_if_fast, compile_and_run, [''])
45
test('ubx-records', skip_if_fast, compile_and_run, [''])
46
test('records-fail1', normal, compile_fail, [''])
47

48
test('doaitse', normal, compile, [''])
49 50 51
test('josef', normal, compile, [''])

# Interaction of fundeps with GADTs doesn't work well 
Ian Lynagh's avatar
Ian Lynagh committed
52
test('gadt-fd', expect_broken(345), compile, [''])
53

54 55
test('karl1', normal, compile, [''])
test('karl2', normal, compile, [''])
Simon Peyton Jones's avatar
Simon Peyton Jones committed
56 57 58
test('data1', normal, compile, [''])
test('data2', normal, compile, [''])

59

60 61 62 63 64 65 66 67 68 69 70
# New ones from Dimitrios

# test('gadt-dim1', normal, compile, [''])
# test('gadt-dim2', normal, compile_fail, [''])
# test('gadt-dim3', normal, compile_fail, [''])
# test('gadt-dim4', normal, compile, [''])
# test('gadt-dim5', normal, compile, [''])
# test('gadt-dim6', normal, compile, [''])
# test('gadt-dim7', normal, compile, [''])
# test('gadt-dim8', normal, compile, [''])
# test('Arith', normal, compile, [''])
71