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