testsuite/tests/typecheck/should_fail/tcfail013.stderr


1
2
3
4
5
6


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