[project @ 1996-07-19 18:36:04 by partain]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcMonoType.lhs

diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index eee6f12..d933c2f 100644 (file)
--- a/ghc/compiler/typecheck/TcMonoType.lhs
+++ b/ghc/compiler/typecheck/TcMonoType.lhs
@@ -8,14 +8,14 @@
 
 module TcMonoType ( tcPolyType, tcMonoType, tcMonoTypeKind, tcContext ) where
 
-import Ubiq{-uitous-}
+IMP_Ubiq(){-uitous-}
 
 import HsSyn           ( PolyType(..), MonoType(..), Fake )
 import RnHsSyn         ( RenamedPolyType(..), RenamedMonoType(..), 
-                         RenamedContext(..), RnName(..)
+                         RenamedContext(..), RnName(..),
+                         isRnLocal, isRnClass, isRnTyCon
                        )
 
-
 import TcMonad         hiding ( rnMtoTcM )
 import TcEnv           ( tcLookupTyVar, tcLookupClass, tcLookupTyCon, 
                          tcTyVarScope, tcTyVarScopeGivenKinds
@@ -24,22 +24,18 @@ import TcKind               ( TcKind, mkTcTypeKind, mkBoxedTypeKind,
                          mkTcArrowKind, unifyKind, newKindVar,
                          kindToTcKind
                        )
-import Type            ( GenType, Type(..), ThetaType(..), 
+import Type            ( GenType, SYN_IE(Type), SYN_IE(ThetaType), 
                          mkTyVarTy, mkTyConTy, mkFunTy, mkAppTy, mkSynTy,
-                         mkSigmaTy
+                         mkSigmaTy, mkDictTy
                        )
-import TyVar           ( GenTyVar, TyVar(..), mkTyVar )
-import Type            ( mkDictTy )
+import TyVar           ( GenTyVar, SYN_IE(TyVar) )
 import Class           ( cCallishClassKeys )
-import TyCon           ( TyCon, Arity(..) )
+import TyCon           ( TyCon )
 import TysWiredIn      ( mkListTy, mkTupleTy )
 import Unique          ( Unique )
 import PprStyle
 import Pretty
-import RnHsSyn         ( isRnLocal, isRnClass, isRnTyCon,
-                         RnName{-instance NamedThing-}
-                       )
-import Util            ( zipWithEqual, panic, pprPanic{-ToDo:rm-} )
+import Util            ( zipWithEqual, panic{-, pprPanic ToDo:rm-} )
 \end{code}