summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail055.stderr-hugs
blob: c9d13c2991ffa86a59900df5cdb4d86f5994963f (plain)
1
2
3
4
ERROR "tcfail055.hs":3 - Type error in type annotation
*** Term           : x + 1
*** Type           : Int
*** Does not match : Float