blob: 30efb8fc140ffcc2c76da8984ef91d8158164650 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
InstantiatedNamedWildcardsInConstraints.hs:4:14: error:
• Found type wildcard ‘_a’ standing for ‘b’
Where: ‘b’ is a rigid type variable bound by
the inferred type of foo :: (Show b, Enum b) => b -> (String, b)
at InstantiatedNamedWildcardsInConstraints.hs:4:8
To use the inferred type, enable PartialTypeSignatures
• In the type signature:
foo :: (Enum _a, _) => _a -> (String, b)
• Relevant bindings include
foo :: b -> (String, b)
(bound at InstantiatedNamedWildcardsInConstraints.hs:5:1)
InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
Found constraint wildcard ‘_’ standing for ‘Show b’
To use the inferred type, enable PartialTypeSignatures
In the type signature:
foo :: (Enum _a, _) => _a -> (String, b)
|
