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