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

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