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


236b575573e08f2dcefbe0432ba1a5f11731a52a
[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_succeed / tc008.hs
1 module ShouldSucceed where
2
3 n True = 1
4 n False = 0
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)