Simon's big boxy-type commit

[ghc-hetmet.git] / ghc / compiler / typecheck / TcExpr.lhs-boot

diff --git a/ghc/compiler/typecheck/TcExpr.lhs-boot b/ghc/compiler/typecheck/TcExpr.lhs-boot
index 8b1c06d..1c4240d 100644 (file)
--- 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