testsuite/tests/typecheck/should_fail/tcfail002.stderr


1
2
3
4
5
6
7
8


tcfail002.hs:4:7: error:
    • Couldn't match expected type ‘a’ with actual type ‘[a]’
    • In the expression: z
      In an equation for ‘c’: c z = z
    • Relevant bindings include
        z :: [a] (bound at tcfail002.hs:4:3)
        c :: [a] -> a (bound at tcfail002.hs:3:1)