--- /dev/null
+module TcSplice where
+
+tcSpliceExpr :: HsExpr.HsSplice Name.Name
+ -> TcType.BoxyRhoType
+ -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)
+
+kcSpliceType :: HsExpr.HsSplice Name.Name
+ -> TcRnTypes.TcM (HsTypes.HsType Name.Name, TcType.TcKind)
+
+tcBracket :: HsExpr.HsBracket Name.Name
+ -> TcType.BoxyRhoType
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcSpliceDecls :: HsExpr.LHsExpr Name.Name
+ -> TcRnTypes.TcM [HsDecls.LHsDecl RdrName.RdrName]