blob: b3b8428a55d808097c44e4f108490e4198f467a3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
T2664.hs:31:33:
Could not deduce (Dual a ~ Dual b)
from the context (Connect a, Connect b)
bound by the instance declaration at T2664.hs:22:10-52
or from ((a :*: b) ~ Dual c, c ~ Dual (a :*: b))
bound by the type signature for
newPChan :: ((a :*: b) ~ Dual c, c ~ Dual (a :*: b)) =>
IO (PChan (a :*: b), PChan c)
at T2664.hs:(23,5)-(31,87)
NB: `Dual' is a type function, and may not be injective
Expected type: c
Actual type: Dual b :+: Dual a
Expected type: PChan c
Actual type: PChan (Dual b :+: Dual a)
In the return type of a call of `E'
In the expression:
E (pchoose Right v newPChan) (pchoose Left v newPChan)
|
