753b983a1592b5779af14d059bd2bd58dfe79830
[ghc.git] / testsuite / tests / partial-sigs / should_compile / T10403.stderr
1 \r
2 T10403.hs:15:7: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
3     • Found type wildcard ‘_’ standing for ‘Functor f’\r
4       Where: ‘f’ is a rigid type variable bound by\r
5                the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f\r
6                at T10403.hs:17:1-41\r
7     • In the type signature: h1 :: _ => _\r
8 \r
9 T10403.hs:15:12: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
10     • Found type wildcard ‘_’ standing for ‘(a -> b) -> f a -> H f’\r
11       Where: ‘f’ is a rigid type variable bound by\r
12                the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f\r
13                at T10403.hs:17:1-41\r
14              ‘b’ is a rigid type variable bound by\r
15                the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f\r
16                at T10403.hs:17:1-41\r
17              ‘a’ is a rigid type variable bound by\r
18                the inferred type of h1 :: Functor f => (a -> b) -> f a -> H f\r
19                at T10403.hs:17:1-41\r
20     • In the type signature: h1 :: _ => _\r
21 \r
22 T10403.hs:19:7: warning: [-Wpartial-type-signatures (in -Wdefault)]\r
23     • Found type wildcard ‘_’ standing for ‘(a -> b) -> f0 a -> H f0’\r
24       Where: ‘f0’ is an ambiguous type variable\r
25              ‘b’ is a rigid type variable bound by\r
26                the inferred type of h2 :: (a -> b) -> f0 a -> H f0\r
27                at T10403.hs:22:1-41\r
28              ‘a’ is a rigid type variable bound by\r
29                the inferred type of h2 :: (a -> b) -> f0 a -> H f0\r
30                at T10403.hs:22:1-41\r
31     • In the type signature: h2 :: _\r
32 \r
33 T10403.hs:22:15: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
34     • Ambiguous type variable ‘f0’ arising from a use of ‘fmap’\r
35       prevents the constraint ‘(Functor f0)’ from being solved.\r
36       Relevant bindings include\r
37         b :: f0 a (bound at T10403.hs:22:6)\r
38         h2 :: (a -> b) -> f0 a -> H f0 (bound at T10403.hs:22:1)\r
39       Probable fix: use a type annotation to specify what ‘f0’ should be.\r
40       These potential instances exist:\r
41         instance Functor IO -- Defined in ‘GHC.Base’\r
42         instance Functor (B t) -- Defined at T10403.hs:10:10\r
43         instance Functor I -- Defined at T10403.hs:6:10\r
44         ...plus four others\r
45         (use -fprint-potential-instances to see them all)\r
46     • In the second argument of ‘(.)’, namely ‘fmap (const ())’\r
47       In the expression: H . fmap (const ())\r
48       In the expression: (H . fmap (const ())) (fmap f b)\r
49 \r
50 T10403.hs:28:8: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
51     • Couldn't match type ‘f0’ with ‘B t’\r
52         because type variable ‘t’ would escape its scope\r
53       This (rigid, skolem) type variable is bound by\r
54         the type signature for:\r
55           app2 :: H (B t)\r
56         at T10403.hs:27:1-15\r
57       Expected type: H (B t)\r
58         Actual type: H f0\r
59     • In the expression: h2 (H . I) (B ())\r
60       In an equation for ‘app2’: app2 = h2 (H . I) (B ())\r
61     • Relevant bindings include\r
62         app2 :: H (B t) (bound at T10403.hs:28:1)\r
63 \r
64 T10403.hs:28:20: warning: [-Wdeferred-type-errors (in -Wdefault)]\r
65     • Couldn't match type ‘f0’ with ‘B t’\r
66         because type variable ‘t’ would escape its scope\r
67       This (rigid, skolem) type variable is bound by\r
68         the type signature for:\r
69           app2 :: H (B t)\r
70         at T10403.hs:27:1-15\r
71       Expected type: f0 ()\r
72         Actual type: B t ()\r
73     • In the second argument of ‘h2’, namely ‘(B ())’\r
74       In the expression: h2 (H . I) (B ())\r
75       In an equation for ‘app2’: app2 = h2 (H . I) (B ())\r
76     • Relevant bindings include\r
77         app2 :: H (B t) (bound at T10403.hs:28:1)\r