blob: b495f17b1c6eb1690ad2c249d4cb8c3dd786c718 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T1897a.hs:9:1:
Could not deduce (Wob a0 b)
arising from the ambiguity check for ‛foo’
from the context (Wob a b)
bound by the inferred type for ‛foo’: Wob a b => b -> [b]
at T1897a.hs:9:1-24
The type variable ‛a0’ is ambiguous
When checking that ‛foo’
has the inferred type ‛forall a b. Wob a b => b -> [b]’
Probable cause: the inferred type is ambiguous
|