blob: dc3ee90189710d33e239085402d30d0bf1c56ed5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T5858.hs:11:7: error:
• Ambiguous type variables ‘a0’, ‘a1’ arising from a use of ‘infer’
prevents the constraint ‘(InferOverloaded
([a0], [a1]))’ from being solved.
Probable fix: use a type annotation to specify what ‘a0’, ‘a1’ should be.
These potential instance exist:
instance t1 ~ String => InferOverloaded (t1, t1)
-- Defined at T5858.hs:8:10
• In the expression: infer ([], [])
In an equation for ‘foo’: foo = infer ([], [])
|