[project @ 1996-03-19 08:58:34 by partain]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcMLoop.lhi

diff --git a/ghc/compiler/typecheck/TcMLoop.lhi b/ghc/compiler/typecheck/TcMLoop.lhi
new file mode 100644 (file)
index 0000000..14a6ede
--- /dev/null
+++ b/ghc/compiler/typecheck/TcMLoop.lhi
@@ -0,0 +1,13 @@
+\begin{code}
+interface TcMLoop where
+
+import PreludeGlaST(_MutableArray)
+import TcEnv(TcEnv,initEnv)
+import TcType(TcMaybe)
+import TyVar(GenTyVar)
+import UniqFM(UniqFM)
+
+data TcEnv a
+data TcMaybe a
+initEnv :: _MutableArray a Int (UniqFM (GenTyVar (_MutableArray a Int (TcMaybe a)))) -> TcEnv a
+\end{code}