Define TyCoRep.ppSuggestExplicitKinds, and use it
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail174.stderr
1
2 tcfail174.hs:14:14: error:
3     • Couldn't match type ‘a’ with ‘a1’
4         because type variable ‘a1’ would escape its scope
5       This (rigid, skolem) type variable is bound by
6         the type a1 -> a1
7         at tcfail174.hs:14:1-14
8       Expected type: Capture (forall x. x -> a)
9         Actual type: Capture (forall a. a -> a)
10     • In the first argument of ‘Capture’, namely ‘g’
11       In the expression: Capture g
12       In an equation for ‘h1’: h1 = Capture g
13     • Relevant bindings include
14         h1 :: Capture a (bound at tcfail174.hs:14:1)
15
16 tcfail174.hs:17:14: error:
17     • Couldn't match type ‘a’ with ‘b’
18       ‘a’ is a rigid type variable bound by
19         the type a -> a at tcfail174.hs:1:1
20       ‘b’ is a rigid type variable bound by
21         the type signature for:
22           h2 :: forall b. Capture b
23         at tcfail174.hs:16:7
24       Expected type: Capture (forall x. x -> b)
25         Actual type: Capture (forall a. a -> a)
26     • In the first argument of ‘Capture’, namely ‘g’
27       In the expression: Capture g
28       In an equation for ‘h2’: h2 = Capture g
29     • Relevant bindings include
30         h2 :: Capture b (bound at tcfail174.hs:17:1)