Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / indexed-types / should_fail / T3330a.stderr
1
2 T3330a.hs:19:34:
3     Couldn't match type ‘s’ with ‘(->) (s0 ix0 -> ix1)’
4       ‘s’ is a rigid type variable bound by
5           the type signature for: children :: s ix -> PF s r ix -> [AnyF s]
6           at T3330a.hs:18:13
7     Expected type: (s0 ix0 -> ix1)
8                    -> r ix1 -> Writer [AnyF s] (r'0 ix1)
9       Actual type: s ix
10     Relevant bindings include
11       x :: PF s r ix (bound at T3330a.hs:19:12)
12       p :: s ix (bound at T3330a.hs:19:10)
13       children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
14     In the first argument of ‘hmapM’, namely ‘p’
15     In the first argument of ‘execWriter’, namely ‘(hmapM p collect x)’
16
17 T3330a.hs:19:34:
18     Couldn't match type ‘ix’ with ‘r ix1 -> Writer [AnyF s] (r'0 ix1)’
19       ‘ix’ is a rigid type variable bound by
20            the type signature for: children :: s ix -> PF s r ix -> [AnyF s]
21            at T3330a.hs:18:13
22     Expected type: (s0 ix0 -> ix1)
23                    -> r ix1 -> Writer [AnyF s] (r'0 ix1)
24       Actual type: s ix
25     Relevant bindings include
26       x :: PF s r ix (bound at T3330a.hs:19:12)
27       p :: s ix (bound at T3330a.hs:19:10)
28       children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
29     In the first argument of ‘hmapM’, namely ‘p’
30     In the first argument of ‘execWriter’, namely ‘(hmapM p collect x)’
31
32 T3330a.hs:19:44:
33     Couldn't match type ‘ix’ with ‘r0 ix0 -> Writer [AnyF s0] (r0 ix0)’
34       ‘ix’ is a rigid type variable bound by
35            the type signature for: children :: s ix -> PF s r ix -> [AnyF s]
36            at T3330a.hs:18:13
37     Expected type: PF s r (r0 ix0 -> Writer [AnyF s0] (r0 ix0))
38       Actual type: PF s r ix
39     Relevant bindings include
40       x :: PF s r ix (bound at T3330a.hs:19:12)
41       p :: s ix (bound at T3330a.hs:19:10)
42       children :: s ix -> PF s r ix -> [AnyF s] (bound at T3330a.hs:19:1)
43     In the third argument of ‘hmapM’, namely ‘x’
44     In the first argument of ‘execWriter’, namely ‘(hmapM p collect x)’