X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcExpr.hi-boot-5;h=14714cd2f6b6d08609886a781f4fc2143902ea47;hb=550421384b8364cdaf3135f7859c9f7d7ee1fff1;hp=017d27d4c8877063c57f8ae5c73ccdeb9c08b4fa;hpb=60ea58ab5cbf8428997d5aa8ec9163a50fe5aed3;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcExpr.hi-boot-5 b/ghc/compiler/typecheck/TcExpr.hi-boot-5 index 017d27d..14714cd 100644 --- a/ghc/compiler/typecheck/TcExpr.hi-boot-5 +++ b/ghc/compiler/typecheck/TcExpr.hi-boot-5 @@ -1,14 +1,16 @@ __interface TcExpr 1 0 where __export TcExpr tcCheckSigma tcCheckRho tcMonoExpr ; 1 tcCheckSigma :: - RnHsSyn.RenamedHsExpr + HsExpr.LHsExpr Name.Name -> TcType.TcType - -> TcRnTypes.TcM TcHsSyn.TcExpr ; + -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ; + 1 tcCheckRho :: - RnHsSyn.RenamedHsExpr + HsExpr.LHsExpr Name.Name -> TcType.TcType - -> TcRnTypes.TcM TcHsSyn.TcExpr ; + -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ; + 1 tcMonoExpr :: - RnHsSyn.RenamedHsExpr + HsExpr.LHsExpr Name.Name -> TcUnify.Expected TcType.TcType - -> TcRnTypes.TcM TcHsSyn.TcExpr ; + -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;