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


1b8e251c4083de3e28b34c7b7c0eaf6a25b57788
[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail051.hs
1 module ShouldFail where
2
3 instance B Bool where
4  op1 a = a
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)