fix haddock submodule pointer

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

diff --git a/compiler/typecheck/TcExpr.lhs-boot b/compiler/typecheck/TcExpr.lhs-boot
index ec36034..5a4f005 100644 (file)
--- 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 :: 
+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}