blob: 829c027135a52b6d6adde1c5ccd8f355ddee306e (
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 ([], [])
|