Fix #13391 by checking for kind-GADTs
[ghc.git] / testsuite / tests / polykinds / all.T
index 78c1697..0e5bcf1 100644 (file)
@@ -169,3 +169,5 @@ test('BadKindVar', normal, compile_fail, [''])
 test('T13738', normal, compile_fail, [''])
 test('T14209', normal, compile, [''])
 test('T14265', normal, compile_fail, [''])
+test('T13391', normal, compile_fail, [''])
+test('T13391a', normal, compile, [''])