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