summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail001.stderr
blob: 3403057fa9dee921e91717eb72ac0090538c372d (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 for ‘op’ has 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)