Test #14038 in dependent/should_compile/T14038
[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, [''])
12 test('T9632', normal, compile, [''])
13 # Simon says in #11330: The "simplifier ticks exhausted" error is expected;
14 # see Section 7 of the paper:
15 # http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-dynamic/
16 test('dynamic-paper', expect_fail_for(['optasm', 'optllvm']), compile, [''])
17 test('T11311', normal, compile, [''])
18 test('T11405', normal, compile, [''])
19 test('T11241', normal, compile, [''])
20 test('T11711', normal, compile, [''])
21 test('RaeJobTalk', normal, compile, [''])
22 test('T11635', normal, compile, [''])
23 test('T11719', normal, compile, [''])
24 test('T11966', normal, compile, [''])
25 test('T12442', normal, compile, [''])
26 test('T13538', normal, compile, [''])
27 test('T12176', normal, compile, [''])
28 test('T14038', expect_broken(14038), compile, [''])