projects / ghc-hetmet.git / blob
? search:


f61c5a81be72f69d0ac0e99fa2fc63ff1d7d1602
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail055.hs
1 module ShouldFail where
2
3 f x = (x + 1 :: Int) :: Float
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)