summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail014.stderr-hugs
blob: 773b9ec586d3372c4d5abc8c65f538aa85324d58 (plain)
1
2
3
4
5
6
ERROR "tcfail014.hs":5 - Type error in application
*** Expression     : z z
*** Term           : z
*** Type           : a -> b
*** Does not match : a
*** Because        : unification would give infinite type