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