module TcSplice where

tcSpliceExpr :: Name.Name
	     -> RnHsSyn.RenamedHsExpr
	     -> TcUnify.Expected TcType.TcType
	     -> TcRnTypes.TcM TcHsSyn.TcExpr

tcBracket :: HsExpr.HsBracket Name.Name 
	  -> TcUnify.Expected TcType.TcType
	  -> TcRnTypes.TcM TcHsSyn.TcExpr

tcSpliceDecls :: RnHsSyn.RenamedHsExpr 
	      -> TcRnTypes.TcM [RdrHsSyn.RdrNameHsDecl]