Add kind equalities to GHC.
[ghc.git] / testsuite / tests / roles / should_compile / all.T
1 test('Roles1', only_ways('normal'), compile, ['-ddump-tc -fprint-explicit-foralls -dsuppress-uniques'])
2 test('Roles2', only_ways('normal'), compile, ['-ddump-tc -fprint-explicit-foralls -dsuppress-uniques'])
3 test('Roles3', only_ways('normal'), compile, ['-ddump-tc -dsuppress-uniques'])
4 test('Roles4', only_ways('normal'), compile, ['-ddump-tc -dsuppress-uniques'])
5 test('Roles13', only_ways('normal'), compile, ['-ddump-simpl -dsuppress-uniques'])
6 test('Roles14', only_ways('normal'), compile, ['-ddump-tc -dsuppress-uniques'])
7 test('T8958', [normalise_fun(normalise_errmsg), only_ways('normal')], compile, ['-ddump-tc -dsuppress-uniques'])
8 test('T10263', normal, compile, [''])
9 test('T9204b', extra_clean(['T9204b.o-boot', 'T9204b.hi-boot', 'T9204b2.hi', 'T9204b2.o']), multimod_compile, ['T9204b', '-v0'])