Modify a couple of error messages slightly
[ghc.git] / testsuite / tests / typecheck / should_compile / T9834.stderr
1 \r
2 T9834.hs:23:10: Warning:\r
3     Couldn't match type ‘p’ with ‘(->) (p a0)’\r
4       ‘p’ is a rigid type variable bound by\r
5           the class declaration for ‘ApplicativeFix’ at T9834.hs:21:39\r
6     Expected type: (forall (q :: * -> *).\r
7                     Applicative q =>\r
8                     Comp p q a -> Comp p q a)\r
9                    -> p a\r
10       Actual type: (forall (q :: * -> *).\r
11                     Applicative q =>\r
12                     Nat (Comp p q) (Comp p q))\r
13                    -> p a0 -> p a0\r
14     Relevant bindings include\r
15       afix :: (forall (q :: * -> *).\r
16                Applicative q =>\r
17                Comp p q a -> Comp p q a)\r
18               -> p a\r
19         (bound at T9834.hs:23:3)\r
20     In the expression: wrapIdComp\r
21     In an equation for ‘afix’: afix = wrapIdComp\r
22 \r
23 T9834.hs:23:10: Warning:\r
24     Couldn't match type ‘a’ with ‘p a0’\r
25       ‘a’ is a rigid type variable bound by\r
26           the type signature for:\r
27           afix :: (forall (q :: * -> *).\r
28                    Applicative q =>\r
29                    Comp p q a -> Comp p q a)\r
30                   -> p a\r
31           at T9834.hs:22:11\r
32     Expected type: (forall (q :: * -> *).\r
33                     Applicative q =>\r
34                     Comp p q a -> Comp p q a)\r
35                    -> p a\r
36       Actual type: (forall (q :: * -> *).\r
37                     Applicative q =>\r
38                     Nat (Comp p q) (Comp p q))\r
39                    -> p a0 -> p a0\r
40     Relevant bindings include\r
41       afix :: (forall (q :: * -> *).\r
42                Applicative q =>\r
43                Comp p q a -> Comp p q a)\r
44               -> p a\r
45         (bound at T9834.hs:23:3)\r
46     In the expression: wrapIdComp\r
47     In an equation for ‘afix’: afix = wrapIdComp\r
48 \r
49 T9834.hs:23:10: Warning:\r
50     Couldn't match type ‘a’ with ‘a1’\r
51       ‘a’ is a rigid type variable bound by\r
52           the type signature for:\r
53           afix :: (forall (q :: * -> *).\r
54                    Applicative q =>\r
55                    Comp p q a -> Comp p q a)\r
56                   -> p a\r
57           at T9834.hs:22:11\r
58       ‘a1’ is a rigid type variable bound by\r
59            a type expected by the context:\r
60              Applicative q => Comp p q a1 -> Comp p q a1\r
61            at T9834.hs:23:10\r
62     Expected type: Comp p q a1 -> Comp p q a1\r
63       Actual type: Comp p q a -> Comp p q a\r
64     Relevant bindings include\r
65       afix :: (forall (q :: * -> *).\r
66                Applicative q =>\r
67                Comp p q a -> Comp p q a)\r
68               -> p a\r
69         (bound at T9834.hs:23:3)\r
70     In the expression: wrapIdComp\r
71     In an equation for ‘afix’: afix = wrapIdComp\r