X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMonoType.lhs;h=d933c2f85bd33d5ec9da7379e062c34300978a95;hb=f7ecf7234c224489be8a5e63fced903b655d92ee;hp=34b628dede6a3f55cf1926688c024be4921f56b1;hpb=ca5a4a480d10d61e5b7a52eb4d556e8b8c33e69d;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs
index 34b628d..d933c2f 100644
--- 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 PrelInfo		( mkListTy, mkTupleTy )
-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}