Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T6018failclosed2.stderr
1
2 T6018failclosed2.hs:17:14:
3     Couldn't match expected type ‘Bar a0’ with actual type ‘Char’
4     The type variable ‘a0’ is ambiguous
5     In the first argument of ‘bar’, namely ‘'c'’
6     In the expression: bar 'c'
7     In an equation for ‘barapp’: barapp = bar 'c'