Improve error messages around kind mismatches.
[ghc.git] / testsuite / tests / dependent / should_fail / all.T
index f1ed340..af3efc6 100644 (file)
@@ -1,5 +1,5 @@
 test('DepFail1', normal, compile_fail, [''])
-test('RAE_T32a', normal, compile_fail, [''])
+test('RAE_T32a', expect_broken(12919), compile_fail, [''])
 test('TypeSkolEscape', normal, compile_fail, [''])
 test('BadTelescope', normal, compile_fail, [''])
 test('BadTelescope2', normal, compile_fail, [''])
@@ -15,3 +15,5 @@ test('KindLevelsB', normal, compile_fail, [''])
 test('T11473', normal, compile_fail, [''])
 test('T11471', normal, compile_fail, [''])
 test('T12174', normal, compile_fail, [''])
+test('T12081', normal, compile_fail, [''])
+test('T13135', normal, compile_fail, [''])