169c43d312e13cb9e2eaca61c59afdb75ec74d50
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2664.stderr
1
2 T2664.hs:31:52:
3     Could not deduce (a ~ b)
4     from the context ((a :*: b) ~ Dual c, c ~ Dual (a :*: b))
5       bound by the type signature for
6                  newPChan :: ((a :*: b) ~ Dual c, c ~ Dual (a :*: b)) =>
7                              IO (PChan (a :*: b), PChan c)
8       at T2664.hs:23:5-12
9       ‘a’ is a rigid type variable bound by
10           the instance declaration at T2664.hs:22:10
11       ‘b’ is a rigid type variable bound by
12           the instance declaration at T2664.hs:22:10
13     Expected type: Dual (Dual a)
14       Actual type: b
15     Relevant bindings include
16       v :: MVar (Either (PChan a) (PChan b)) (bound at T2664.hs:24:9)
17       newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:23:5)
18     In the third argument of ‘pchoose’, namely ‘newPChan’
19     In the first argument of ‘E’, namely ‘(pchoose Right v newPChan)’
20     In the expression:
21       E (pchoose Right v newPChan) (pchoose Left v newPChan)