summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail142.stderr
blob: 3fd20cc2f9d5c4c26743e0bfca4c63fe3ad5ef05 (plain)
1
2
3
4
5
6
7
8
9

tcfail142.hs:21:12:
    No instance for (Bar a0 r0)
      arising from a use of `bar'
    The type variables `a0', `r0' are ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    In the first argument of `foo', namely `bar'
    In the expression: foo bar
    In an equation for `test': test = foo bar