summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail001.stderr
blob: 32418ac5c2b1c1187f9101acc22f92e7057fc7fa (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]’