module TcMatches where
tcGRHSsPat :: HsExpr.GRHSs Name.Name
- -> TcUnify.Expected TcType.TcType
+ -> TcType.BoxyRhoType
-> TcRnTypes.TcM (HsExpr.GRHSs Var.Id)
tcMatchesFun :: Name.Name
-> HsExpr.MatchGroup Name.Name
- -> TcUnify.Expected TcType.TcType
- -> TcRnTypes.TcM (HsExpr.MatchGroup Var.Id)
+ -> TcType.BoxyRhoType
+ -> TcRnTypes.TcM (HsBinds.ExprCoFn, HsExpr.MatchGroup Var.Id)