Error message wibbles, following TcErrors refactoring
[ghc.git] / testsuite / tests / indexed-types / should_fail / T3330c.stderr
1 \r
2 T3330c.hs:23:43:\r
3     Could not deduce (f1 ~ f1 x)\r
4     from the context (f ~ (f1 :+: g))\r
5       bound by a pattern with constructor\r
6                  RSum :: forall (f :: * -> *) (g :: * -> *).\r
7                          R f -> R g -> R (f :+: g),\r
8                in an equation for ‛plug'’\r
9       at T3330c.hs:23:8-17\r
10       ‛f1’ is a rigid type variable bound by\r
11            a pattern with constructor\r
12              RSum :: forall (f :: * -> *) (g :: * -> *).\r
13                      R f -> R g -> R (f :+: g),\r
14            in an equation for ‛plug'’\r
15            at T3330c.hs:23:8\r
16     Expected type: Der ((->) x) (f1 x)\r
17       Actual type: R f1\r
18     Relevant bindings include\r
19       plug' :: R f -> Der f x -> x -> f x (bound at T3330c.hs:23:1)\r
20       rf :: R f1 (bound at T3330c.hs:23:13)\r
21       df :: f1 x (bound at T3330c.hs:23:25)\r
22       x :: x (bound at T3330c.hs:23:29)\r
23     In the first argument of ‛plug’, namely ‛rf’\r
24     In the first argument of ‛Inl’, namely ‛(plug rf df x)’\r
25     In the expression: Inl (plug rf df x)\r