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