Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / AssocTyDef05.stderr
1
2 AssocTyDef05.hs:6:5: error:
3     • Number of parameters must match family declaration; expected 1
4     • In the default type instance declaration for ‘Typ’
5       In the class declaration for ‘Cls’