summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail055.hs
blob: f61c5a81be72f69d0ac0e99fa2fc63ff1d7d1602 (plain)
1
2
3
module ShouldFail where

f x = (x + 1 :: Int) :: Float