ghc/compiler/typecheck/TcMLoop.lhi

   1 \begin{code}
   2 interface TcMLoop where
   3
   4 import PreludeGlaST(_MutableArray)
   5 import TcEnv(TcEnv,initEnv)
   6 import TcType(TcMaybe)
   7 import TyVar(GenTyVar)
   8 import UniqFM(UniqFM)
   9
  10 data TcEnv a
  11 data TcMaybe a
  12 initEnv :: _MutableArray a Int (UniqFM (GenTyVar (_MutableArray a Int (TcMaybe a)))) -> TcEnv a
  13 \end{code}