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


cdbb8f4b4d81f0a1c9b4431826bba1541a565ffb
[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc055.hs
1 module ShouldSucceed where
2
3 (x,y) = (\p -> p,\q -> q)
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)