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