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