Test Trac #6039

testsuite/tests/polykinds/T6039.hs

+{-# LANGUAGE PolyKinds, KindSignatures #-}
+
+module Foo where
+
+data T (a :: j k) = MkT
+

testsuite/tests/polykinds/T6039.stderr

+
+T6039.hs:5:14:
+    Kind variable `j' cannot appear in a function position
+    In the kind `j k'
+    In the data declaration for `T'

testsuite/tests/polykinds/all.T

@@ -37,3 +37,4 @@ test('T5948', normal, compile, [''])
 test('T6020', normal, compile, [''])
 test('T6025', normal, run_command, ['$MAKE -s --no-print-directory T6025'])
 test('T6002', normal, compile, [''])
+test('T6039', normal, compile_fail, [''])