1
2
3
4
5
6
7
8
9
10
11
12
13
|
setTestOpts(normalise_version('base','ghc-prim'))
test('Roles1', only_ways(['normal']), compile, ['-ddump-tc -fprint-explicit-foralls -dsuppress-uniques'])
test('Roles2', only_ways(['normal']), compile, ['-ddump-tc -fprint-explicit-foralls -dsuppress-uniques'])
test('Roles3', only_ways(['normal']), compile, ['-ddump-tc -dsuppress-uniques'])
test('Roles4', only_ways(['normal']), compile, ['-ddump-tc -dsuppress-uniques'])
test('Roles13', only_ways(['normal']), compile, ['-ddump-simpl -dsuppress-uniques'])
test('Roles14', only_ways(['normal']), compile, ['-ddump-tc -dsuppress-uniques'])
test('T8958', [normalise_fun(normalise_errmsg), only_ways(['normal'])], compile, ['-ddump-tc -dsuppress-uniques -fprint-typechecker-elaboration'])
test('T10263', normal, compile, [''])
test('T9204b', [], multimod_compile, ['T9204b', '-v0'])
test('T14101', normal, compile, [''])
test('T16718', req_th, compile, ['-v0 -ddump-splices -dsuppress-uniques'])
|
