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