Bump base version to 4.8.2.0
[ghc.git] / testsuite / tests / partial-sigs / should_compile / WarningWildcardInstantiations.stderr
1 TYPE SIGNATURES
2   bar :: forall w_ w_1. w_ -> (w_ -> w_1) -> w_1
3   foo :: forall w_a. (Show w_a, Enum w_a) => w_a -> String
4 TYPE CONSTRUCTORS
5 COERCION AXIOMS
6 Dependent modules: []
7 Dependent packages: [base-4.8.2.0, ghc-prim-0.4.0.0,
8                      integer-gmp-1.0.0.0]
9
10 WarningWildcardInstantiations.hs:5:14: Warning:
11     Found hole ‘_a’ with type: w_a
12     Where: ‘w_a’ is a rigid type variable bound by
13                  the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String
14                  at WarningWildcardInstantiations.hs:6:1
15     In the type signature for ‘foo’: (Show _a, _) => _a -> _
16
17 WarningWildcardInstantiations.hs:5:18: Warning:
18     Found hole ‘_’ with inferred constraints: Enum w_a
19     In the type signature for ‘foo’: (Show _a, _) => _a -> _
20
21 WarningWildcardInstantiations.hs:5:30: Warning:
22     Found hole ‘_’ with type: String
23     In the type signature for ‘foo’: (Show _a, _) => _a -> _
24
25 WarningWildcardInstantiations.hs:8:8: Warning:
26     Found hole ‘_’ with type: w_
27     Where: ‘w_’ is a rigid type variable bound by
28                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
29                 at WarningWildcardInstantiations.hs:9:1
30     In the type signature for ‘bar’: _ -> _ -> _
31
32 WarningWildcardInstantiations.hs:8:13: Warning:
33     Found hole ‘_’ with type: w_ -> w_1
34     Where: ‘w_’ is a rigid type variable bound by
35                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
36                 at WarningWildcardInstantiations.hs:9:1
37            ‘w_1’ is a rigid type variable bound by
38                  the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
39                  at WarningWildcardInstantiations.hs:9:1
40     In the type signature for ‘bar’: _ -> _ -> _
41
42 WarningWildcardInstantiations.hs:8:18: Warning:
43     Found hole ‘_’ with type: w_1
44     Where: ‘w_1’ is a rigid type variable bound by
45                  the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
46                  at WarningWildcardInstantiations.hs:9:1
47     In the type signature for ‘bar’: _ -> _ -> _