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