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


e153bfa51a2cb6ad4676e16be4cf4e1df2841405
[ghc-hetmet.git] / ghc / compiler / tests / deSugar / ds039.hs
1 --!!! make sure correct type applications get put in
2 --!!!   when (:) is saturated.
3
4 module ShouldSucceed where
5
6
7 f = (:)
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)