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

tcfail004.hs:3:9:
    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)