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

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