summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail001.stderr
blob: 3c67882546001d68c292a0a99e4d5af5f17eafce (plain)
1
2
3
4
5
6
7

tcfail001.hs:9:2:
    Couldn't match expected type ‘[t0] -> [t1]’ with actual type ‘[a]’
    Relevant bindings include op :: [a] (bound at tcfail001.hs:9:2)
    The equation(s) for ‘op’ have one argument,
    but its type ‘[a]’ has none
    In the instance declaration for ‘A [a]’