Improve error messages for skolems
[ghc.git] / testsuite / tests / backpack / should_fail / bkpfail44.stderr
1 [1 of 1] Processing p
2   [1 of 2] Compiling A[sig]           ( p/A.hsig, nothing )
3   [2 of 2] Compiling B                ( p/B.hs, nothing )
4
5 bkpfail44.bkp:10:15: error:
6     • Could not deduce: a ~ b
7       from the context: Coercible (T a) (T b)
8         bound by the type signature for:
9                    f :: forall a b. Coercible (T a) (T b) => a -> b
10         at bkpfail44.bkp:9:9-44
11       ‘a’ is a rigid type variable bound by
12         the type signature for:
13           f :: forall a b. Coercible (T a) (T b) => a -> b
14         at bkpfail44.bkp:9:9-44
15       ‘b’ is a rigid type variable bound by
16         the type signature for:
17           f :: forall a b. Coercible (T a) (T b) => a -> b
18         at bkpfail44.bkp:9:9-44
19     • In the expression: x
20       In an equation for ‘f’: f x = x
21     • Relevant bindings include
22         x :: a (bound at bkpfail44.bkp:10:11)
23         f :: a -> b (bound at bkpfail44.bkp:10:9)