X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcExpr.hi-boot-6;h=318105b8fe24e93fb2f0b364dc04034c8bb00cf6;hb=281bcf70ef27e49f4b0c22ce56f93fa924d6ccbd;hp=68bf94d99f3bc23cf02f3fb7ea25d6ec23f4b3db;hpb=9af77fa423926fbda946b31e174173d0ec5ebac8;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcExpr.hi-boot-6 b/ghc/compiler/typecheck/TcExpr.hi-boot-6
index 68bf94d..318105b 100644
--- a/ghc/compiler/typecheck/TcExpr.hi-boot-6
+++ b/ghc/compiler/typecheck/TcExpr.hi-boot-6
@@ -1,11 +1,20 @@
 module TcExpr where
 
-tcExpr :: 
-	  RnHsSyn.RenamedHsExpr
+tcCheckSigma :: 
+	  HsExpr.LHsExpr Name.Name
        -> TcType.TcType
-       -> TcRnTypes.TcM TcHsSyn.TcExpr
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
 
-tcMonoExpr :: 
-	  RnHsSyn.RenamedHsExpr
+tcCheckRho :: 
+  	  HsExpr.LHsExpr Name.Name
        -> TcType.TcType
-       -> TcRnTypes.TcM TcHsSyn.TcExpr
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcInferRho :: 
+  	  HsExpr.LHsExpr Name.Name
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)
+
+tcMonoExpr :: 
+  	  HsExpr.LHsExpr Name.Name
+       -> TcType.Expected TcType.TcType
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)