diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T2664.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T2664.stderr | 40 |
1 files changed, 20 insertions, 20 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T2664.stderr b/testsuite/tests/indexed-types/should_fail/T2664.stderr index bba0274108..2ed47d9e1a 100644 --- a/testsuite/tests/indexed-types/should_fail/T2664.stderr +++ b/testsuite/tests/indexed-types/should_fail/T2664.stderr @@ -1,20 +1,20 @@ - -T2664.hs:31:17: - Could not deduce (b ~ a) - 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) - `b' is a rigid type variable bound by - the instance declaration at T2664.hs:22:30 - `a' is a rigid type variable bound by - the instance declaration at T2664.hs:22:19 - Expected type: PChan (a :*: b) - Actual type: PChan (b :*: a) - In the expression: O $ takeMVar v - In the first argument of `return', namely - `(O $ takeMVar v, - E (pchoose Right v newPChan) (pchoose Left v newPChan))' +
+T2664.hs:31:17:
+ Could not deduce (a ~ 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)
+ `a' is a rigid type variable bound by
+ the instance declaration at T2664.hs:22:19
+ `b' is a rigid type variable bound by
+ the instance declaration at T2664.hs:22:30
+ Expected type: PChan (a :*: b)
+ Actual type: PChan (b :*: a)
+ In the expression: O $ takeMVar v
+ In the first argument of `return', namely
+ `(O $ takeMVar v,
+ E (pchoose Right v newPChan) (pchoose Left v newPChan))'
|