Lots of error message wibbling, following the
[ghc.git] / testsuite / tests / indexed-types / should_fail / T4179.stderr
1
2 T4179.hs:26:16:
3     Could not deduce (A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
4                       ~ A3 (x (Con x)))
5     from the context (Functor x, DoC (FCon x))
6       bound by the type signature for
7                  fCon :: (Functor x, DoC (FCon x)) =>
8                          Con x -> A2 (FCon x) -> A3 (FCon x)
9       at T4179.hs:26:1-17
10     NB: `A3' is a type function, and may not be injective
11     Expected type: x (A2 (x (Con x)) -> A3 (x (Con x)))
12                    -> A2 (x (Con x)) -> A3 (x (Con x))
13       Actual type: x (A2 (x (Con x)) -> A3 (x (Con x)))
14                    -> A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
15                    -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
16     In the first argument of `foldDoC', namely `op'
17     In the expression: foldDoC op
18     In an equation for `fCon': fCon = foldDoC op