Test Trac #6081

testsuite/tests/polykinds/T6081.hs

+{-# LANGUAGE KindSignatures, PolyKinds, DataKinds, RankNTypes #-}
+
+module T6081 where
+
+data KProxy (a :: *) = KP
+
+class KindClass (kp :: KProxy k)
+instance KindClass (KP :: KProxy [k])
+
+

testsuite/tests/polykinds/all.T

@@ -44,3 +44,4 @@ test('T6021', normal, compile_fail, [''])
 test('T6020a', normal, compile, [''])
 test('T6044', normal, compile, [''])
 test('T6054', normal, run_command, ['$MAKE -s --no-print-directory T6054'])
+test('T6081', normal, compile, [''])