Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail179.stderr
1
2 tcfail179.hs:14:41: error:
3     • Couldn't match type ‘x’ with ‘s’
4       ‘x’ is a rigid type variable bound by
5         a pattern with constructor:
6           T :: forall s x. (s -> (x -> s) -> (x, s, Int)) -> T s,
7         in a case alternative
8         at tcfail179.hs:14:14
9       ‘s’ is a rigid type variable bound by
10         the type signature for:
11           run :: forall s. T s -> Int
12         at tcfail179.hs:12:8
13       Expected type: x -> s
14         Actual type: s -> s
15     • In the second argument of ‘g’, namely ‘id’
16       In the expression: g x id
17       In a pattern binding: (x, _, b) = g x id
18     • Relevant bindings include
19         x :: s (bound at tcfail179.hs:14:26)
20         g :: s -> (x -> s) -> (x, s, Int) (bound at tcfail179.hs:14:16)
21         ts :: T s (bound at tcfail179.hs:13:5)
22         run :: T s -> Int (bound at tcfail179.hs:13:1)