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

ERROR "tcfail002.hs":4 - Type error in function binding
*** Term           : c
*** Type           : a -> a
*** Does not match : [a] -> a
*** Because        : unification would give infinite type