blob: 2bdc01e8ef67f3315db2913465091a5cb0a94502 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
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 :: (Enum b, Show b) => b -> (String, b)
at InstantiatedNamedWildcardsInConstraints.hs:4:8
To use the inferred type, enable PartialTypeSignatures
In the type signature for:
foo :: (Enum _a, _) => _a -> (String, b)
InstantiatedNamedWildcardsInConstraints.hs:4:18: error:
Found hole ‘_’ with inferred constraints: Show b
To use the inferred type, enable PartialTypeSignatures
In the type signature for:
foo :: (Enum _a, _) => _a -> (String, b)
|