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


3b451bf9b9624f97be511d3a0a0827838f145935
[ghc-hetmet.git] / ghc / tests / typecheck / should_run / tcrun007.stdout
1 [0,3,0,6,1,1,1]
2 (MkT 3 (MkT 6 Nil Nil) Nil,[])
3 2
4 5
5 5
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)