Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / T10534.stderr
1
2 T10534a.hs:10:9: error:
3     • Could not deduce: Coercible a b arising from a use of ‘coerce’
4       from the context: Coercible (DF a) (DF b)
5         bound by the type signature for:
6                    silly :: Coercible (DF a) (DF b) => a -> b
7         at T10534a.hs:9:1-42
8       ‘a’ is a rigid type variable bound by
9         the type signature for:
10           silly :: forall a b. Coercible (DF a) (DF b) => a -> b
11         at T10534a.hs:9:10
12       ‘b’ is a rigid type variable bound by
13         the type signature for:
14           silly :: forall a b. Coercible (DF a) (DF b) => a -> b
15         at T10534a.hs:9:10
16     • In the expression: coerce
17       In an equation for ‘silly’: silly = coerce
18     • Relevant bindings include
19         silly :: a -> b (bound at T10534a.hs:10:1)