module TcSplice where
-tcSpliceExpr :: Name.Name
- -> RnHsSyn.RenamedHsExpr
+tcSpliceExpr :: HsExpr.HsSplice Name.Name
-> TcUnify.Expected TcType.TcType
- -> TcRnTypes.TcM TcHsSyn.TcExpr
+ -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)
+
+kcSpliceType :: HsExpr.HsSplice Name.Name
+ -> TcRnTypes.TcM (HsType.HsType Name.Name, TcType.TcKind)
tcBracket :: HsExpr.HsBracket Name.Name
-> TcUnify.Expected TcType.TcType
- -> TcRnTypes.TcM TcHsSyn.TcExpr
-
-tcSpliceDecls :: RnHsSyn.RenamedHsExpr
- -> TcRnTypes.TcM [RdrHsSyn.RdrNameHsDecl]
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+tcSpliceDecls :: HsExpr.LHsExpr Name.Name
+ -> TcRnTypes.TcM [HsDecls.LHsDecl RdrName.RdrName]