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

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