Test Trac #5858
[ghc.git] / testsuite / tests / typecheck / should_fail / T5858.stderr
1
2 T5858.hs:11:7:
3     No instance for (InferOverloaded ([a0], [a1]))
4       arising from a use of `infer'
5     The type variables `a0', `a1' are ambiguous
6     Possible fix: add a type signature that fixes these type variable(s)
7     Note: there is a potential instance available:
8       instance t1 ~ String => InferOverloaded (t1, t1)
9         -- Defined at T5858.hs:8:10
10     Possible fix:
11       add an instance declaration for (InferOverloaded ([a0], [a1]))
12     In the expression: infer ([], [])
13     In an equation for `foo': foo = infer ([], [])