Test case for #7961.
[ghc.git] / testsuite / tests / dependent / should_compile / all.T
1 test('Dep1', only_ways('normal'), compile, [''])
2 test('Dep2', only_ways('normal'), compile, [''])
3 test('Dep3', only_ways('normal'), compile, [''])
4 test('KindEqualities', only_ways('normal'), compile, [''])
5 test('KindEqualities2', only_ways('normal'), compile, [''])
6 test('Rae31', only_ways('normal'), compile, [''])
7 test('RAE_T32b', only_ways('normal'), compile, [''])
8 test('KindLevels', normal, compile, [''])
9 test('RaeBlogPost', normal, compile, [''])
10 test('mkGADTVars', normal, compile, [''])
11 test('TypeLevelVec',normal,compile, [''])