Improve error messages for skolems
[ghc.git] / testsuite / tests / typecheck / should_compile / T9834.stderr
1
2 T9834.hs:23:10: warning: [-Wdeferred-type-errors (in -Wdefault)]
3     • Couldn't match type ‘p’ with ‘(->) (p a0)’
4       ‘p’ is a rigid type variable bound by
5         the class declaration for ‘ApplicativeFix’ at T9834.hs:21:39
6       Expected type: (forall (q :: * -> *).
7                       Applicative q =>
8                       Comp p q a -> Comp p q a)
9                      -> p a
10         Actual type: (forall (q :: * -> *).
11                       Applicative q =>
12                       Nat (Comp p q) (Comp p q))
13                      -> p a0 -> p a0
14     • In the expression: wrapIdComp
15       In an equation for ‘afix’: afix = wrapIdComp
16     • Relevant bindings include
17         afix :: (forall (q :: * -> *).
18                  Applicative q =>
19                  Comp p q a -> Comp p q a)
20                 -> p a
21           (bound at T9834.hs:23:3)
22
23 T9834.hs:23:10: warning: [-Wdeferred-type-errors (in -Wdefault)]
24     • Couldn't match type ‘a’ with ‘a1’
25       ‘a’ is a rigid type variable bound by
26         the type signature for:
27           afix :: forall a.
28                   (forall (q :: * -> *). Applicative q => Comp p q a -> Comp p q a)
29                   -> p a
30         at T9834.hs:22:11-74
31       ‘a1’ is a rigid type variable bound by
32         a type expected by the context:
33           forall (q :: * -> *). Applicative q => Nat (Comp p q) (Comp p q)
34         at T9834.hs:23:10-19
35       Expected type: Comp p q a1 -> Comp p q a1
36         Actual type: Comp p q a -> Comp p q a
37     • In the expression: wrapIdComp
38       In an equation for ‘afix’: afix = wrapIdComp
39     • Relevant bindings include
40         afix :: (forall (q :: * -> *).
41                  Applicative q =>
42                  Comp p q a -> Comp p q a)
43                 -> p a
44           (bound at T9834.hs:23:3)