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

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