Fold template-haskell.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_fail / T5858.stderr
1
2 T5858.hs:11:7:
3     No instance for (InferOverloaded ([t0], [t1]))
4       arising from a use of ‘infer’
5     The type variables ‘t0’, ‘t1’ are ambiguous
6     Note: there is a potential instance available:
7       instance t1 ~ String => InferOverloaded (t1, t1)
8         -- Defined at T5858.hs:8:10
9     In the expression: infer ([], [])
10     In an equation for ‘foo’: foo = infer ([], [])