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


a6588a4d42a740a861f820d3f348157f8f42b9c5
[ghc-hetmet.git] / ghc / tests / deSugar / should_compile / 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)