Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / T2664.stderr
1
2 T2664.hs:31:33:
3     Could not deduce (Dual b ~ Dual a)
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     NB: ‘Dual’ is a type function, and may not be injective
10     Expected type: PChan c
11       Actual type: PChan (Dual b :+: Dual a)
12     Relevant bindings include
13       v :: MVar (Either (PChan a) (PChan b)) (bound at T2664.hs:24:9)
14       newPChan :: IO (PChan (a :*: b), PChan c) (bound at T2664.hs:23:5)
15     In the expression:
16       E (pchoose Right v newPChan) (pchoose Left v newPChan)
17     In the first argument of ‘return’, namely
18       ‘(O $ takeMVar v, 
19         E (pchoose Right v newPChan) (pchoose Left v newPChan))’