X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcExpr.hi-boot;h=10c75a3791163fff0d69b9ea234ae704853de901;hb=c2527e8dea810f1584609ad20408a38691131d28;hp=532d3adf68cf091e6e888fe4bc1dad535a42a685;hpb=974799c229c27cdf244a6c51cab3764ea040c91a;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcExpr.hi-boot b/ghc/compiler/typecheck/TcExpr.hi-boot index 532d3ad..10c75a3 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 - -> TcType.TcType s - -> TcMonad.TcM s (TcHsSyn.TcExpr s, Inst.LIE s) ;; + -> TcType.TcType + -> TcMonad.TcM s (TcHsSyn.TcExpr, TcMonad.LIE) ;; +1 tcMonoExpr _:_ _forall_ [s] => + RnHsSyn.RenamedHsExpr + -> TcType.TcType + -> TcMonad.TcM s (TcHsSyn.TcExpr, TcMonad.LIE) ;; +