testsuite/tests/typecheck/should_fail/tcfail005.stderr


1
2
3
4
5
6
7
8


tcfail005.hs:3:9:
    Couldn't match expected type ‘[t]’ with actual type ‘(t0, Char)’
    Relevant bindings include
      h :: t (bound at tcfail005.hs:3:2)
      i :: [t] (bound at tcfail005.hs:3:4)
    In the expression: (1, 'a')
    In a pattern binding: (h : i) = (1, 'a')