Error message wibbles, re partial type sigs
[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 :: (Enum a, Show a) => a -> String\r
6                at WildcardInstantiations.hs:6:1\r
7       To use the inferred type, enable PartialTypeSignatures\r
8     • In the type signature: foo :: (Show _a, _) => _a -> _\r
9     • Relevant bindings include\r
10         foo :: a -> String (bound at WildcardInstantiations.hs:6:1)\r
11 \r
12 WildcardInstantiations.hs:5:18: error:\r
13     Found constraint wildcard ‘_’ standing for ‘Enum a’\r
14     To use the inferred type, enable PartialTypeSignatures\r
15     In the type signature: foo :: (Show _a, _) => _a -> _\r
16 \r
17 WildcardInstantiations.hs:5:30: error:\r
18     • Found type wildcard ‘_’ standing for ‘String’\r
19       To use the inferred type, enable PartialTypeSignatures\r
20     • In the type signature: foo :: (Show _a, _) => _a -> _\r
21     • Relevant bindings include\r
22         foo :: a -> String (bound at WildcardInstantiations.hs:6:1)\r
23 \r
24 WildcardInstantiations.hs:8:8: error:\r
25     • Found type wildcard ‘_’ standing for ‘t1’\r
26       Where: ‘t1’ is a rigid type variable bound by\r
27                the inferred type of bar :: t1 -> (t1 -> t) -> t\r
28                at WildcardInstantiations.hs:9:1\r
29       To use the inferred type, enable PartialTypeSignatures\r
30     • In the type signature: bar :: _ -> _ -> _\r
31     • Relevant bindings include\r
32         bar :: t1 -> (t1 -> t) -> t\r
33           (bound at WildcardInstantiations.hs:9:1)\r
34 \r
35 WildcardInstantiations.hs:8:13: error:\r
36     • Found type wildcard ‘_’ standing for ‘t1 -> t’\r
37       Where: ‘t’ is a rigid type variable bound by\r
38                the inferred type of bar :: t1 -> (t1 -> t) -> t\r
39                at WildcardInstantiations.hs:9:1\r
40              ‘t1’ is a rigid type variable bound by\r
41                the inferred type of bar :: t1 -> (t1 -> t) -> t\r
42                at WildcardInstantiations.hs:9:1\r
43       To use the inferred type, enable PartialTypeSignatures\r
44     • In the type signature: bar :: _ -> _ -> _\r
45     • Relevant bindings include\r
46         bar :: t1 -> (t1 -> t) -> t\r
47           (bound at WildcardInstantiations.hs:9:1)\r
48 \r
49 WildcardInstantiations.hs:8:18: error:\r
50     • Found type wildcard ‘_’ standing for ‘t’\r
51       Where: ‘t’ is a rigid type variable bound by\r
52                the inferred type of bar :: t1 -> (t1 -> t) -> t\r
53                at WildcardInstantiations.hs:9:1\r
54       To use the inferred type, enable PartialTypeSignatures\r
55     • In the type signature: bar :: _ -> _ -> _\r
56     • Relevant bindings include\r
57         bar :: t1 -> (t1 -> t) -> t\r
58           (bound at WildcardInstantiations.hs:9:1)\r