X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Ftypecheck%2FTcExpr.hi-boot-5;h=14714cd2f6b6d08609886a781f4fc2143902ea47;hb=79a8b87c0bd61d56b4cf45bd584c9174aab48e61;hp=8e95ff1e5a8682264fff53bb6b76a4305d9b89ee;hpb=9af77fa423926fbda946b31e174173d0ec5ebac8;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcExpr.hi-boot-5 b/ghc/compiler/typecheck/TcExpr.hi-boot-5
index 8e95ff1..14714cd 100644
--- a/ghc/compiler/typecheck/TcExpr.hi-boot-5
+++ b/ghc/compiler/typecheck/TcExpr.hi-boot-5
@@ -1,10 +1,16 @@
 __interface TcExpr 1 0 where
-__export TcExpr tcExpr tcMonoExpr ;
-1 tcExpr :: 
-	  RnHsSyn.RenamedHsExpr
+__export TcExpr tcCheckSigma tcCheckRho tcMonoExpr ;
+1 tcCheckSigma :: 
+	  HsExpr.LHsExpr Name.Name
        -> TcType.TcType
-       -> TcRnTypes.TcM TcHsSyn.TcExpr ;
-1 tcMonoExpr :: 
-	  RnHsSyn.RenamedHsExpr
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;
+
+1 tcCheckRho :: 
+  	  HsExpr.LHsExpr Name.Name
        -> TcType.TcType
-       -> TcRnTypes.TcM TcHsSyn.TcExpr ;
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;
+
+1 tcMonoExpr :: 
+  	  HsExpr.LHsExpr Name.Name
+       -> TcUnify.Expected TcType.TcType
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;