X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Ftypecheck%2FTcMonoType.lhs;h=d933c2f85bd33d5ec9da7379e062c34300978a95;hb=f7ecf7234c224489be8a5e63fced903b655d92ee;hp=35f8353323c520437aaeb34702073d08bbd08ff4;hpb=26741ec416bae2c502ef00a2ba0e79050a32cb67;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs index 35f8353..d933c2f 100644 --- a/ghc/compiler/typecheck/TcMonoType.lhs +++ b/ghc/compiler/typecheck/TcMonoType.lhs @@ -12,10 +12,10 @@ 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 @@ -26,20 +26,16 @@ import TcKind ( TcKind, mkTcTypeKind, mkBoxedTypeKind, ) import Type ( GenType, SYN_IE(Type), SYN_IE(ThetaType), mkTyVarTy, mkTyConTy, mkFunTy, mkAppTy, mkSynTy, - mkSigmaTy + mkSigmaTy, mkDictTy ) import TyVar ( GenTyVar, SYN_IE(TyVar) ) -import Type ( mkDictTy ) import Class ( cCallishClassKeys ) 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}