module TcMatches where

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

tcMatchesFun :: Name.Name
	     -> [RnHsSyn.RenamedMatch]
	     -> TcUnify.Expected TcType.TcType
	     -> TcRnTypes.TcM [TcHsSyn.TcMatch]