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