Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / T5858.stderr
1
2 T5858.hs:11:7: error:
3     • Ambiguous type variables ‘a0’, ‘a1’ arising from a use of ‘infer’
4       prevents the constraint ‘(InferOverloaded
5                                   ([a0], [a1]))’ from being solved.
6       Probable fix: use a type annotation to specify what ‘a0’, ‘a1’ 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 ([], [])