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


a0ef679c8fc93c029737cea1f8ee0194427aa9c0
[ghc-hetmet.git] / ghc / tests / typecheck / should_compile / tc020.hs
1 module ShouldSucceed where
2
3 f x = a where a = x:a
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)