[project @ 2004-10-11 16:16:20 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcExpr.hi-boot

diff --git a/ghc/compiler/typecheck/TcExpr.hi-boot b/ghc/compiler/typecheck/TcExpr.hi-boot
index 532d3ad..10c75a3 100644 (file)
--- 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) ;;
+