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


b342618e1551036e890d5e9cd6d3d6fdc146f2bb
[ghc-hetmet.git] / ghc / compiler / tests / typecheck / should_fail / tcfail025.hs
1
2 type A = Int
3
4 type B = Bool
5
6 type A = [Bool]
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)