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'
    Relevant bindings include f :: [t] -> a (bound at tcfail013.hs:3:1)
    In the pattern: True
    In an equation for `f': f True = 2