path: root/testsuite/tests/typecheck/should_fail/tcfail013.stderr-hugs

ERROR "tcfail013.hs":4 - Type error in function binding
*** Term           : f
*** Type           : Bool -> b
*** Does not match : [a] -> b