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


4aa20a83e2a4419ffbcb6166ef01d63358f37d4b
[ghc-hetmet.git] / ghc / tests / deSugar / should_compile / ds050.hs
1 module ShouldCompile where
2
3 data Q = Q {f :: forall a. a -> a}
4 g1 = f
5 g2 x = f x
6 g3 x y = f x y
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)