projects / ghc-hetmet.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Deal correctly with infix type constructors in GADT decls
[ghc-hetmet.git] / compiler / iface / TcIface.hi-boot-6
1 module TcIface where
2
3 tcIfaceDecl  :: IfaceSyn.IfaceDecl -> TcRnTypes.IfL TypeRep.TyThing
4 tcIfaceInst  :: IfaceSyn.IfaceInst -> TcRnTypes.IfL InstEnv.Instance
5 tcIfaceRule  :: IfaceSyn.IfaceRule -> TcRnTypes.IfL CoreSyn.CoreRule
6
7
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)