X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcExpr.hi-boot-6;h=f5d0d50e511d25b01b4a7b3f9a28fd28c17c7d0a;hb=550421384b8364cdaf3135f7859c9f7d7ee1fff1;hp=8be65cd527fa4496842ec47b5bad9d61e5cd8be3;hpb=60ea58ab5cbf8428997d5aa8ec9163a50fe5aed3;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcExpr.hi-boot-6 b/ghc/compiler/typecheck/TcExpr.hi-boot-6
index 8be65cd..f5d0d50 100644
--- a/ghc/compiler/typecheck/TcExpr.hi-boot-6
+++ b/ghc/compiler/typecheck/TcExpr.hi-boot-6
@@ -1,16 +1,16 @@
 module TcExpr where
 
 tcCheckSigma :: 
-	  RnHsSyn.RenamedHsExpr
+	  HsExpr.LHsExpr Name.Name
        -> TcType.TcType
-       -> TcRnTypes.TcM TcHsSyn.TcExpr
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
 
 tcCheckRho :: 
-	  RnHsSyn.RenamedHsExpr
+  	  HsExpr.LHsExpr Name.Name
        -> TcType.TcType
-       -> TcRnTypes.TcM TcHsSyn.TcExpr
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
 
 tcMonoExpr :: 
-	  RnHsSyn.RenamedHsExpr
+  	  HsExpr.LHsExpr Name.Name
        -> TcUnify.Expected TcType.TcType
-       -> TcRnTypes.TcM TcHsSyn.TcExpr
+       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)