1903d7caf32faef24a2ea686fa14229e5c4be5e9
[ghc.git] / testsuite / tests / indexed-types / should_fail / T4179.stderr
1
2 T4179.hs:26:16:
3     Could not deduce (DoC (x (A2 (x (Con x)) -> A3 (x (Con x)))))
4       arising from a use of `op'
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     Possible fix:
11       add (DoC (x (A2 (x (Con x)) -> A3 (x (Con x))))) to the context of
12         the type signature for
13           fCon :: (Functor x, DoC (FCon x)) =>
14                   Con x -> A2 (FCon x) -> A3 (FCon x)
15       or add an instance declaration for
16          (DoC (x (A2 (x (Con x)) -> A3 (x (Con x)))))
17     In the first argument of `foldDoC', namely `op'
18     In the expression: foldDoC op
19     In an equation for `fCon': fCon = foldDoC op
20
21 T4179.hs:26:16:
22     Could not deduce (A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
23                       ~ A3 (x (Con x)))
24     from the context (Functor x, DoC (FCon x))
25       bound by the type signature for
26                  fCon :: (Functor x, DoC (FCon x)) =>
27                          Con x -> A2 (FCon x) -> A3 (FCon x)
28       at T4179.hs:26:1-17
29     NB: `A3' is a type function, and may not be injective
30     Expected type: A2 (x (Con x)) -> A3 (x (Con x))
31       Actual type: A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
32                    -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
33     Expected type: x (A2 (x (Con x)) -> A3 (x (Con x)))
34                    -> A2 (x (Con x)) -> A3 (x (Con x))
35       Actual type: x (A2 (x (Con x)) -> A3 (x (Con x)))
36                    -> A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
37                    -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
38     In the first argument of `foldDoC', namely `op'
39     In the expression: foldDoC op
40
41 T4179.hs:26:16:
42     Could not deduce (A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
43                       ~ A2 (x (Con x)))
44     from the context (Functor x, DoC (FCon x))
45       bound by the type signature for
46                  fCon :: (Functor x, DoC (FCon x)) =>
47                          Con x -> A2 (FCon x) -> A3 (FCon x)
48       at T4179.hs:26:1-17
49     NB: `A2' is a type function, and may not be injective
50     Expected type: A2 (x (Con x)) -> A3 (x (Con x))
51       Actual type: A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
52                    -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
53     Expected type: x (A2 (x (Con x)) -> A3 (x (Con x)))
54                    -> A2 (x (Con x)) -> A3 (x (Con x))
55       Actual type: x (A2 (x (Con x)) -> A3 (x (Con x)))
56                    -> A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
57                    -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
58     In the first argument of `foldDoC', namely `op'
59     In the expression: foldDoC op