[project @ 2004-10-01 13:42:04 by simonpj]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcSplice.hi-boot-6
1 module TcSplice where
2
3 tcSpliceExpr :: HsExpr.HsSplice Name.Name
4              -> TcUnify.Expected TcType.TcType
5              -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)
6
7 kcSpliceType :: HsExpr.HsSplice Name.Name
8              -> TcRnTypes.TcM (HsTypes.HsType Name.Name, TcType.TcKind)
9
10 tcBracket :: HsExpr.HsBracket Name.Name 
11           -> TcUnify.Expected TcType.TcType
12           -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
13
14 tcSpliceDecls :: HsExpr.LHsExpr Name.Name
15               -> TcRnTypes.TcM [HsDecls.LHsDecl RdrName.RdrName]