b5268acb6097fa1bb1b2f174455bc7bd3b072c94
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
1 TYPE SIGNATURES
2   bar :: forall t t1. t -> (t -> t1) -> t1
3   foo :: forall a. (Show a, Enum a) => a -> String
4 TYPE CONSTRUCTORS
5 COERCION AXIOMS
6 Dependent modules: []
7 Dependent packages: [base-4.9.0.0, ghc-prim-0.5.0.0,
8                      integer-gmp-1.0.0.1]
9
10 WarningWildcardInstantiations.hs:5:14: warning: [-Wpartial-type-signatures (in -Wdefault)]
11     • Found type wildcard ‘_a’ standing for ‘a’
12       Where: ‘a’ is a rigid type variable bound by
13                the inferred type of foo :: (Show a, Enum a) => a -> String
14                at WarningWildcardInstantiations.hs:6:1
15     • In the type signature:
16         foo :: (Show _a, _) => _a -> _
17     • Relevant bindings include
18         foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)
19
20 WarningWildcardInstantiations.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
21     Found constraint wildcard ‘_’ standing for ‘Enum a’
22     In the type signature:
23       foo :: (Show _a, _) => _a -> _
24
25 WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures (in -Wdefault)]
26     • Found type wildcard ‘_’ standing for ‘String’
27     • In the type signature:
28         foo :: (Show _a, _) => _a -> _
29     • Relevant bindings include
30         foo :: a -> String (bound at WarningWildcardInstantiations.hs:6:1)
31
32 WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
33     • Found type wildcard ‘_’ standing for ‘t’
34       Where: ‘t’ is a rigid type variable bound by
35                the inferred type of bar :: t -> (t -> t1) -> t1
36                at WarningWildcardInstantiations.hs:9:1
37     • In the type signature:
38         bar :: _ -> _ -> _
39     • Relevant bindings include
40         bar :: t -> (t -> t1) -> t1
41           (bound at WarningWildcardInstantiations.hs:9:1)
42
43 WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in -Wdefault)]
44     • Found type wildcard ‘_’ standing for ‘t -> t1’
45       Where: ‘t1’ is a rigid type variable bound by
46                the inferred type of bar :: t -> (t -> t1) -> t1
47                at WarningWildcardInstantiations.hs:9:1
48              ‘t’ is a rigid type variable bound by
49                the inferred type of bar :: t -> (t -> t1) -> t1
50                at WarningWildcardInstantiations.hs:9:1
51     • In the type signature:
52         bar :: _ -> _ -> _
53     • Relevant bindings include
54         bar :: t -> (t -> t1) -> t1
55           (bound at WarningWildcardInstantiations.hs:9:1)
56
57 WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
58     • Found type wildcard ‘_’ standing for ‘t1’
59       Where: ‘t1’ is a rigid type variable bound by
60                the inferred type of bar :: t -> (t -> t1) -> t1
61                at WarningWildcardInstantiations.hs:9:1
62     • In the type signature:
63         bar :: _ -> _ -> _
64     • Relevant bindings include
65         bar :: t -> (t -> t1) -> t1
66           (bound at WarningWildcardInstantiations.hs:9:1)