module TcMatches where

tcGRHSs ::  HsExpr.HsMatchContext Name.Name
	      -> RnHsSyn.RenamedGRHSs
	      -> TcType.TcType
	      -> TcRnTypes.TcM TcHsSyn.TcGRHSs

tcMatchesFun :: 
		[(Name.Name,Var.Id)]
	     ->	Name.Name
	     -> TcType.TcType
	     -> [RnHsSyn.RenamedMatch]
	     -> TcRnTypes.TcM [TcHsSyn.TcMatch]