summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail001.stderr
blob: 2d4caf2ac721006ad38f35162f63b8737269b883 (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)