Make equality print better. (#11712)
[ghc.git] / testsuite / tests / typecheck / should_fail / T5858.stderr
1
2 T5858.hs:11:7: error:
3     • Ambiguous type variables ‘t0’, ‘t1’ arising from a use of ‘infer’
4       prevents the constraint ‘(InferOverloaded
5                                   ([t0], [t1]))’ from being solved.
6       Probable fix: use a type annotation to specify what ‘t0’, ‘t1’ should be.
7       These potential instance exist:
8         instance t1 ~ String => InferOverloaded (t1, t1)
9           -- Defined at T5858.hs:8:10
10     • In the expression: infer ([], [])
11       In an equation for ‘foo’: foo = infer ([], [])