Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
1 TYPE SIGNATURES
2   bar :: forall w t. t -> (t -> w) -> w
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-21
15     • In the type signature: foo :: (Show _a, _) => _a -> _
16
17 WarningWildcardInstantiations.hs:5:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
18     • Found type wildcard ‘_’ standing for ‘Enum a’
19       Where: ‘a’ is a rigid type variable bound by
20                the inferred type of foo :: (Show a, Enum a) => a -> String
21                at WarningWildcardInstantiations.hs:6:1-21
22     • In the type signature: foo :: (Show _a, _) => _a -> _
23
24 WarningWildcardInstantiations.hs:5:30: warning: [-Wpartial-type-signatures (in -Wdefault)]
25     • Found type wildcard ‘_’ standing for ‘String’
26     • In the type signature: foo :: (Show _a, _) => _a -> _
27
28 WarningWildcardInstantiations.hs:8:8: warning: [-Wpartial-type-signatures (in -Wdefault)]
29     • Found type wildcard ‘_’ standing for ‘t’
30       Where: ‘t’ is a rigid type variable bound by
31                the inferred type of bar :: t -> (t -> w) -> w
32                at WarningWildcardInstantiations.hs:9:1-13
33     • In the type signature: bar :: _ -> _ -> _
34
35 WarningWildcardInstantiations.hs:8:13: warning: [-Wpartial-type-signatures (in -Wdefault)]
36     • Found type wildcard ‘_’ standing for ‘t -> w’
37       Where: ‘t’ is a rigid type variable bound by
38                the inferred type of bar :: t -> (t -> w) -> w
39                at WarningWildcardInstantiations.hs:9:1-13
40              ‘w’ is a rigid type variable bound by
41                the inferred type of bar :: t -> (t -> w) -> w
42                at WarningWildcardInstantiations.hs:9:1-13
43     • In the type signature: bar :: _ -> _ -> _
44
45 WarningWildcardInstantiations.hs:8:18: warning: [-Wpartial-type-signatures (in -Wdefault)]
46     • Found type wildcard ‘_’ standing for ‘w’
47       Where: ‘w’ is a rigid type variable bound by
48                the inferred type of bar :: t -> (t -> w) -> w
49                at WarningWildcardInstantiations.hs:9:1-13
50     • In the type signature: bar :: _ -> _ -> _