X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.hi-boot-6;h=fb723a452771f048ed94927801a0491283d8410b;hb=5ca2f4dd447e8961e2ae09c0a45f4bd45d015411;hp=aca8a45c9d790c018916c0813a320fe5eb5ea052;hpb=dbaa3bb30eaf9d806357e41435dab32695c47842;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcMatches.hi-boot-6 b/ghc/compiler/typecheck/TcMatches.hi-boot-6 index aca8a45..fb723a4 100644 --- a/ghc/compiler/typecheck/TcMatches.hi-boot-6 +++ b/ghc/compiler/typecheck/TcMatches.hi-boot-6 @@ -1,11 +1,10 @@ module TcMatches where -tcGRHSsPat :: RnHsSyn.RenamedGRHSs - -> TcUnify.Expected TcType.TcType - -> TcRnTypes.TcM TcHsSyn.TcGRHSs +tcGRHSsPat :: HsExpr.GRHSs Name.Name + -> TcType.BoxyRhoType + -> TcRnTypes.TcM (HsExpr.GRHSs Var.Id) tcMatchesFun :: Name.Name - -> [RnHsSyn.RenamedMatch] - -> TcUnify.Expected TcType.TcType - -> TcRnTypes.TcM [TcHsSyn.TcMatch] - + -> HsExpr.MatchGroup Name.Name + -> TcType.BoxyRhoType + -> TcRnTypes.TcM (HsBinds.ExprCoFn, HsExpr.MatchGroup Var.Id)