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