X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMatches.hi-boot-5;h=43e2330683ef7fd79f5986df69710f28c58dfe5c;hb=9492466167fd396aef8c51704ecd4d65b970d6dc;hp=3ab2fb8d974490f20b5c6a8f600ca946c0ca4abd;hpb=c86e9006fbdc9cb229080dd6a64ce462e9e460af;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcMatches.hi-boot-5 b/ghc/compiler/typecheck/TcMatches.hi-boot-5 index 3ab2fb8..43e2330 100644 --- a/ghc/compiler/typecheck/TcMatches.hi-boot-5 +++ b/ghc/compiler/typecheck/TcMatches.hi-boot-5 @@ -1,12 +1,10 @@ __interface TcMatches 1 0 where -__export TcMatches tcGRHSs tcMatchesFun; -1 tcGRHSs :: HsExpr.HsMatchContext Name.Name - -> RnHsSyn.RenamedGRHSs - -> TcType.TcType - -> TcRnTypes.TcM TcHsSyn.TcGRHSs ; -1 tcMatchesFun :: - Name.Name - -> TcType.TcType - -> [RnHsSyn.RenamedMatch] - -> TcRnTypes.TcM [TcHsSyn.TcMatch] ; +__export TcMatches tcGRHSsPat tcMatchesFun; +1 tcGRHSsPat :: HsExpr.GRHSs Name.Name + -> TcUnify.Expected TcType.TcType + -> TcRnTypes.TcM (HsExpr.GRHSs Var.Id) ; +1 tcMatchesFun :: Name.Name + -> [HsExpr.LMatch Name.Name] + -> TcUnify.Expected TcType.TcType + -> TcRnTypes.TcM [HsExpr.LMatch Var.Id] ;