Kill non-deterministic foldUFM in TrieMap and TcAppMap
[ghc.git] / testsuite / tests / partial-sigs / should_fail / InstantiatedNamedWildcardsInConstraints.stderr
1
2 InstantiatedNamedWildcardsInConstraints.hs:4:14: error:
3     • Found type wildcard ‘_a’ standing for ‘b’
4       Where: ‘b’ is a rigid type variable bound by
5                the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
6                at InstantiatedNamedWildcardsInConstraints.hs:4:8
7       To use the inferred type, enable PartialTypeSignatures
8     • In the type signature:
9         foo :: (Enum _a, _) => _a -> (String, b)
10     • Relevant bindings include
11         foo :: b -> (String, b)
12           (bound at InstantiatedNamedWildcardsInConstraints.hs:5:1)
13
14 InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
15     Found constraint wildcard ‘_’ standing for ‘Show b’
16     To use the inferred type, enable PartialTypeSignatures
17     In the type signature:
18       foo :: (Enum _a, _) => _a -> (String, b)