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