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


3cfe5ea62699a673848ec7cfd0d4ff2f721c4b0c
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc019.hs
1 module ShouldSucceed where
2
3 (al:am) = [y+1 | (y,z) <- [(1,2)]]
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)