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

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