53312d23fee99912154542c69238677f19b8b586
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail24.stderr
1 [1 of 1] Processing p
2   [1 of 3] Compiling H1[sig]          ( p/H1.hsig, nothing )
3   [2 of 3] Compiling H2[sig]          ( p/H2.hsig, nothing )
4   [3 of 3] Compiling M                ( p/M.hs, nothing )
5
6 bkpfail24.bkp:14:15: error:
7     • Could not deduce: a ~ b
8       from the context: {H1.T} ~ {H2.T}
9         bound by the type signature for:
10                    f :: {H1.T} ~ {H2.T} => a -> b
11         at bkpfail24.bkp:13:9-34
12       ‘a’ is a rigid type variable bound by
13         the type signature for:
14           f :: forall a b. {H1.T} ~ {H2.T} => a -> b
15         at bkpfail24.bkp:13:9-34
16       ‘b’ is a rigid type variable bound by
17         the type signature for:
18           f :: forall a b. {H1.T} ~ {H2.T} => a -> b
19         at bkpfail24.bkp:13:9-34
20     • In the expression: x
21       In an equation for ‘f’: f x = x
22     • Relevant bindings include
23         x :: a (bound at bkpfail24.bkp:14:11)
24         f :: a -> b (bound at bkpfail24.bkp:14:9)
25
26 bkpfail24.bkp:19:15: error:
27     • Couldn't match expected type ‘{H2.T}’
28                   with actual type ‘{H1.T}’
29       NB: ‘{H1.T}’ is defined at bkpfail24.bkp:4:9-14
30           ‘{H2.T}’ is defined at bkpfail24.bkp:6:9-14
31     • In the expression: x
32       In an equation for ‘g’: g x = x