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


8b793355da2f1bb924ac2fffe1b52e117b0ded1d
[ghc-hetmet.git] / ghc / tests / typecheck / should_fail / tcfail010.hs
1 module ShouldFail where
2
3 q = \ (y:z) -> z+2
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)