X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcExpr.lhs-boot;h=5a4f005fbedbe494c75e0cbed07ed0e131361b87;hp=6a75a1090ad28d7eb4849f125c2bc6035f68c4e6;hb=HEAD;hpb=f04dead93a15af1cb818172f207b8a81d2c81298

diff --git a/compiler/typecheck/TcExpr.lhs-boot b/compiler/typecheck/TcExpr.lhs-boot
index 6a75a10..5a4f005 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 TcType	( TcType, TcRhoType, BoxySigmaType, BoxyRhoType )
-import TcRnTypes( TcM, TcId, InstOrigin )
+import TcType	( TcType, TcRhoType, TcSigmaType )
+import TcRnTypes( TcM, TcId, CtOrigin )
 
 tcPolyExpr :: 
 	  LHsExpr Name
-       -> BoxySigmaType
+       -> TcSigmaType
        -> TcM (LHsExpr TcId)
 
 tcMonoExpr, tcMonoExprNC :: 
   	  LHsExpr Name
-       -> BoxyRhoType
+       -> TcRhoType
        -> TcM (LHsExpr TcId)
 
 tcInferRho, tcInferRhoNC :: 
   	  LHsExpr Name
        -> TcM (LHsExpr TcId, TcRhoType)
 
-tcSyntaxOp :: 
-	  InstOrigin
-       -> HsExpr Name
-       -> TcType
-       -> TcM (HsExpr TcId)
+tcSyntaxOp :: CtOrigin
+       	   -> HsExpr Name
+       	   -> TcType
+       	   -> TcM (HsExpr TcId)
 
+tcCheckId :: Name -> TcRhoType -> TcM (HsExpr TcId)
 \end{code}