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