Add location to the extra-constraints wildcard
[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:5:1-26
7       To use the inferred type, enable PartialTypeSignatures
8     • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)
9
10 InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
11     • Found type wildcard ‘_’ standing for ‘Show b’
12       Where: ‘b’ is a rigid type variable bound by
13                the inferred type of foo :: (Enum b, Show b) => b -> (String, b)
14                at InstantiatedNamedWildcardsInConstraints.hs:5:1-26
15       To use the inferred type, enable PartialTypeSignatures
16     • In the type signature: foo :: (Enum _a, _) => _a -> (String, b)