Reorganisation of the source tree

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

diff --git a/compiler/typecheck/TcExpr.lhs-boot b/compiler/typecheck/TcExpr.lhs-boot
new file mode 100644 (file)
index 0000000..1c4240d
--- /dev/null
+++ b/compiler/typecheck/TcExpr.lhs-boot
@@ -0,0 +1,28 @@
+\begin{code}
+module TcExpr where
+import HsSyn   ( HsExpr, LHsExpr )
+import Name    ( Name )
+import Var     ( Id )
+import TcType  ( TcType, BoxySigmaType, BoxyRhoType )
+import TcRnTypes( TcM, InstOrigin )
+
+tcPolyExpr :: 
+         LHsExpr Name
+       -> BoxySigmaType
+       -> TcM (LHsExpr Id)
+
+tcMonoExpr :: 
+         LHsExpr Name
+       -> BoxyRhoType
+       -> TcM (LHsExpr Id)
+
+tcInferRho :: 
+         LHsExpr Name
+       -> TcM (LHsExpr Id, TcType)
+
+tcSyntaxOp :: 
+         InstOrigin
+       -> HsExpr Name
+       -> TcType
+       -> TcM (HsExpr Id)
+\end{code}