Add location to the extra-constraints wildcard
[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 ‘_a -> _’
22       In the type signature: foo :: (Show _a, _) => _a -> _
23
24 WildcardInstantiations.hs:8:8: error:
25     • Found type wildcard ‘_’ standing for ‘t’
26       Where: ‘t’ is a rigid type variable bound by
27                the inferred type of bar :: t -> (t -> _) -> _
28                at WildcardInstantiations.hs:9:1-13
29       To use the inferred type, enable PartialTypeSignatures
30     • In the type ‘_ -> _ -> _’
31       In the type signature: bar :: _ -> _ -> _
32
33 WildcardInstantiations.hs:8:13: error:
34     • Found type wildcard ‘_’ standing for ‘t -> _’
35       Where: ‘t’, ‘_’ are rigid type variables bound by
36                the inferred type of bar :: t -> (t -> _) -> _
37                at WildcardInstantiations.hs:9:1-13
38       To use the inferred type, enable PartialTypeSignatures
39     • In the type ‘_ -> _ -> _’
40       In the type signature: bar :: _ -> _ -> _
41
42 WildcardInstantiations.hs:8:18: error:
43     • Found type wildcard ‘_’ standing for ‘_’
44       Where: ‘_’ is a rigid type variable bound by
45                the inferred type of bar :: t -> (t -> _) -> _
46                at WildcardInstantiations.hs:9:1-13
47       To use the inferred type, enable PartialTypeSignatures
48     • In the type ‘_ -> _ -> _’
49       In the type signature: bar :: _ -> _ -> _