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