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


bef0085fe5427bb7569712affb677c1d6002e582
[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail057.hs
1 module ShouldFail where
2
3 --!!! inadvertently using -> instead of =>
4
5 f :: (RealFrac a) -> a -> a
6 f x = x
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)