[project @ 2005-01-27 10:44:00 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
new file mode 100644 (file)
index 0000000..0ba20bc
--- /dev/null
+++ b/ghc/compiler/typecheck/TcExpr.lhs-boot
@@ -0,0 +1,27 @@
+\begin{code}
+module TcExpr where
+import HsSyn   ( LHsExpr )
+import Name    ( Name )
+import Var     ( Id )
+import TcType  ( TcType, Expected )
+import TcRnTypes( TcM )
+
+tcCheckSigma :: 
+         LHsExpr Name
+       -> TcType
+       -> TcM (LHsExpr Id)
+
+tcCheckRho :: 
+         LHsExpr Name
+       -> TcType
+       -> TcM (LHsExpr Id)
+
+tcInferRho :: 
+         LHsExpr Name
+       -> TcM (LHsExpr Id, TcType)
+
+tcMonoExpr :: 
+         LHsExpr Name
+       -> Expected TcType
+       -> TcM (LHsExpr Id)
+\end{code}