X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcExpr.lhs-boot;h=1c4240dcc0d4802921922f86031792f96b651e62;hb=28a464a75e14cece5db40f2765a29348273ff2d2;hp=8b1c06db186f6247238759de4e44a7e36b913d7a;hpb=da5cbb6395529a8605ad317c4ca605ec02d35128;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcExpr.lhs-boot b/ghc/compiler/typecheck/TcExpr.lhs-boot
index 8b1c06d..1c4240d 100644
--- a/ghc/compiler/typecheck/TcExpr.lhs-boot
+++ b/ghc/compiler/typecheck/TcExpr.lhs-boot
@@ -3,28 +3,23 @@ module TcExpr where
 import HsSyn	( HsExpr, LHsExpr )
 import Name	( Name )
 import Var	( Id )
-import TcType	( TcType, Expected )
+import TcType	( TcType, BoxySigmaType, BoxyRhoType )
 import TcRnTypes( TcM, InstOrigin )
 
-tcCheckSigma :: 
+tcPolyExpr :: 
 	  LHsExpr Name
-       -> TcType
+       -> BoxySigmaType
        -> TcM (LHsExpr Id)
 
-tcCheckRho :: 
+tcMonoExpr :: 
   	  LHsExpr Name
-       -> TcType
+       -> BoxyRhoType
        -> TcM (LHsExpr Id)
 
 tcInferRho :: 
   	  LHsExpr Name
        -> TcM (LHsExpr Id, TcType)
 
-tcMonoExpr :: 
-  	  LHsExpr Name
-       -> Expected TcType
-       -> TcM (LHsExpr Id)
-
 tcSyntaxOp :: 
 	  InstOrigin
        -> HsExpr Name