[project @ 2005-07-25 11:24:24 by simonpj]

[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 0ba20bc..8b1c06d 100644 (file)
--- a/ghc/compiler/typecheck/TcExpr.lhs-boot
+++ b/ghc/compiler/typecheck/TcExpr.lhs-boot
@@ -1,10 +1,10 @@
 \begin{code}
 module TcExpr where
-import HsSyn   ( LHsExpr )
+import HsSyn   ( HsExpr, LHsExpr )
 import Name    ( Name )
 import Var     ( Id )
 import TcType  ( TcType, Expected )
-import TcRnTypes( TcM )
+import TcRnTypes( TcM, InstOrigin )
 
 tcCheckSigma :: 
          LHsExpr Name
@@ -24,4 +24,10 @@ tcMonoExpr ::
          LHsExpr Name
        -> Expected TcType
        -> TcM (LHsExpr Id)
+
+tcSyntaxOp :: 
+         InstOrigin
+       -> HsExpr Name
+       -> TcType
+       -> TcM (HsExpr Id)
 \end{code}