X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs-boot;h=6a75a1090ad28d7eb4849f125c2bc6035f68c4e6;hb=1a9245caefb80a3c4c5965aaacdf9a607e792e1c;hp=1c4240dcc0d4802921922f86031792f96b651e62;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcExpr.lhs-boot b/compiler/typecheck/TcExpr.lhs-boot
index 1c4240d..6a75a10 100644
--- a/compiler/typecheck/TcExpr.lhs-boot
+++ b/compiler/typecheck/TcExpr.lhs-boot
@@ -2,27 +2,27 @@
 module TcExpr where
 import HsSyn	( HsExpr, LHsExpr )
 import Name	( Name )
-import Var	( Id )
-import TcType	( TcType, BoxySigmaType, BoxyRhoType )
-import TcRnTypes( TcM, InstOrigin )
+import TcType	( TcType, TcRhoType, BoxySigmaType, BoxyRhoType )
+import TcRnTypes( TcM, TcId, InstOrigin )
 
 tcPolyExpr :: 
 	  LHsExpr Name
        -> BoxySigmaType
-       -> TcM (LHsExpr Id)
+       -> TcM (LHsExpr TcId)
 
-tcMonoExpr :: 
+tcMonoExpr, tcMonoExprNC :: 
   	  LHsExpr Name
        -> BoxyRhoType
-       -> TcM (LHsExpr Id)
+       -> TcM (LHsExpr TcId)
 
-tcInferRho :: 
+tcInferRho, tcInferRhoNC :: 
   	  LHsExpr Name
-       -> TcM (LHsExpr Id, TcType)
+       -> TcM (LHsExpr TcId, TcRhoType)
 
 tcSyntaxOp :: 
 	  InstOrigin
        -> HsExpr Name
        -> TcType
-       -> TcM (HsExpr Id)
+       -> TcM (HsExpr TcId)
+
 \end{code}