testsuite/tests/typecheck/should_fail/tcfail013.stderr


1
2
3
4
5
6
7


tcfail013.hs:4:3: error:
    • Couldn't match expected type ‘[a]’ with actual type ‘Bool’
    • In the pattern: True
      In an equation for ‘f’: f True = 2
    • Relevant bindings include
        f :: [a] -> a1 (bound at tcfail013.hs:3:1)