Implement Partial Type Signatures
[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.0.0, ghc-prim-0.3.1.0,
8                      integer-gmp-1.0.0.0]
9
10
11 WarningWildcardInstantiations.hs:5:14: Warning:
12     Found hole ‘_a’ with type: w_a
13     Where: ‘w_a’ is a rigid type variable bound by
14                  the inferred type of foo :: (Enum w_a, Show w_a) => w_a -> String
15                  at WarningWildcardInstantiations.hs:6:1
16     In the type signature for ‘foo’: (Show _a, _) => _a -> _
17
18 WarningWildcardInstantiations.hs:5:18: Warning:
19     Found hole ‘_’ with inferred constraints: (Enum w_a)
20     In the type signature for ‘foo’: (Show _a, _) => _a -> _
21
22 WarningWildcardInstantiations.hs:5:30: Warning:
23     Found hole ‘_’ with type: String
24     In the type signature for ‘foo’: (Show _a, _) => _a -> _
25
26 WarningWildcardInstantiations.hs:8:8: Warning:
27     Found hole ‘_’ with type: w_
28     Where: ‘w_’ is a rigid type variable bound by
29                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
30                 at WarningWildcardInstantiations.hs:9:1
31     In the type signature for ‘bar’: _ -> _ -> _
32
33 WarningWildcardInstantiations.hs:8:13: Warning:
34     Found hole ‘_’ with type: w_ -> w_1
35     Where: ‘w_’ is a rigid type variable bound by
36                 the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
37                 at WarningWildcardInstantiations.hs:9:1
38            ‘w_1’ is a rigid type variable bound by
39                  the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
40                  at WarningWildcardInstantiations.hs:9:1
41     In the type signature for ‘bar’: _ -> _ -> _
42
43   WarningWildcardInstantiations.hs:8:18: Warning:
44     Found hole ‘_’ with type: w_1
45     Where: ‘w_1’ is a rigid type variable bound by
46                  the inferred type of bar :: w_ -> (w_ -> w_1) -> w_1
47                  at WarningWildcardInstantiations.hs:9:1
48     In the type signature for ‘bar’: _ -> _ -> _