X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcExpr.hi-boot;h=ffa855a73775447a2b772eef534087c36a900ce9;hb=b085ee40c7f265a5977ea6ec1c415e573be5ff8c;hp=0429702f2e178c01049e16b1163a614b53d92f54;hpb=438596897ebbe25a07e1c82085cfbc5bdb00f09e;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcExpr.hi-boot b/ghc/compiler/typecheck/TcExpr.hi-boot index 0429702..ffa855a 100644 --- a/ghc/compiler/typecheck/TcExpr.hi-boot +++ b/ghc/compiler/typecheck/TcExpr.hi-boot @@ -1,9 +1,14 @@ _interface_ TcExpr 1 _exports_ -TcExpr tcExpr ; +TcExpr tcExpr tcMonoExpr ; _declarations_ 1 tcExpr _:_ _forall_ [s] => RnHsSyn.RenamedHsExpr - -> TcMonad.TcType s - -> TcMonad.TcM s (TcHsSyn.TcExpr s, Inst.LIE s) ;; + -> TcType.TcType + -> TcMonad.TcM s (TcHsSyn.TcExpr, Inst.LIE) ;; +1 tcMonoExpr _:_ _forall_ [s] => + RnHsSyn.RenamedHsExpr + -> TcType.TcType + -> TcMonad.TcM s (TcHsSyn.TcExpr, Inst.LIE) ;; +