Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T7609.stderr
1
2 T7609.hs:7:16: error:
3     • Expecting one more argument to ‘Maybe’
4       Expected a type, but ‘Maybe’ has kind ‘* -> *’
5     • In the type signature:
6         f :: (a `X` a, Maybe)
7
8 T7609.hs:10:7: error:
9     • Expected a constraint, but ‘X a a’ has kind ‘*’
10     • In the type signature:
11         g :: (a `X` a) => Maybe
12
13 T7609.hs:10:19: error:
14     • Expecting one more argument to ‘Maybe’
15       Expected a type, but ‘Maybe’ has kind ‘* -> *’
16     • In the type signature:
17         g :: (a `X` a) => Maybe