module TcMatches where

tcGRHSs ::  HsExpr.HsMatchContext Name.Name
	      -> RnHsSyn.RenamedGRHSs
	      -> TcType.TcType
	      -> TcMonad.TcM (TcHsSyn.TcGRHSs, Inst.LIE)

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