Apply the right substitution in ty-fam improvement
[ghc.git] / testsuite / tests / dependent / should_fail / all.T
1 test('DepFail1', normal, compile_fail, [''])
2 test('RAE_T32a', normal, compile_fail, [''])
3 test('TypeSkolEscape', normal, compile_fail, [''])
4 test('BadTelescope', normal, compile_fail, [''])
5 test('BadTelescope2', normal, compile_fail, [''])
6 test('BadTelescope3', normal, compile_fail, [''])
7 test('PromotedClass', normal, compile_fail, [''])
8 test('SelfDep', normal, compile_fail, [''])
9 test('BadTelescope4', normal, compile_fail, [''])
10 test('RenamingStar', normal, compile_fail, [''])
11 test('T11407', normal, compile_fail, [''])
12 test('T11334b', normal, compile_fail, [''])
13 test('InferDependency', normal, compile_fail, [''])
14 test('KindLevelsB', normal, compile_fail, [''])
15 test('T11473', normal, compile_fail, [''])
16 test('T11471', normal, compile_fail, [''])
17 test('T12174', normal, compile_fail, [''])
18 test('T12081', normal, compile_fail, [''])
19 test('T13135', normal, compile_fail, [''])