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

tcfail004.hs:3:9: error:
    • Couldn't match expected type ‘(a, b)’
                  with actual type ‘(a0, b0, c0)’
    • In the expression: (1, 2, 3)
      In a pattern binding: (f, g) = (1, 2, 3)
    • Relevant bindings include
        f :: a (bound at tcfail004.hs:3:2)
        g :: b (bound at tcfail004.hs:3:4)