Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail085.stderr
1
2 tcfail085.hs:9:5:
3     Constructor ā€˜Fā€™ does not have the required strict field(s): y
4     In the expression: F {x = 2}
5     In an equation for ā€˜zā€™: z = F {x = 2}