Test Trac #7601

testsuite/tests/polykinds/T7601.hs

+{-# LANGUAGE PolyKinds              #-}
+{-# LANGUAGE TypeFamilies           #-}
+
+module T7601 where
+
+import GHC.Exts
+
+class C (a :: k) where
+   type F (a :: k)
+
+class Category (c :: k -> k -> *) where
+   type Ob c :: k -> Constraint
\ No newline at end of file

testsuite/tests/polykinds/all.T

@@ -84,3 +84,4 @@ test('T7502', normal, compile,[''])
 test('T7488', normal, compile,[''])
 test('T7594', normal, compile_fail,[''])
 test('T7524', normal, compile_fail,[''])
+test('T7601', normal, compile,[''])