module TcSplice where

tcSpliceExpr :: Name.Name
	     -> HsExpr.LHsExpr Name.Name
	     -> TcUnify.Expected TcType.TcType
	     -> TcRnTypes.TcM (HsExpr.HsExpr Var.Id)

tcBracket :: HsExpr.HsBracket Name.Name 
	  -> TcUnify.Expected TcType.TcType
	  -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)

tcSpliceDecls :: HsExpr.LHsExpr Name.Name
	      -> TcRnTypes.TcM [HsDecls.LHsDecl RdrName.RdrName]