X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcMonoType.lhs;h=5988dbb7f757a4ca7bd32579a2ff41b7f91f2dea;hb=9d4c03805bafb6b1e1d47306b6a6c591c998e517;hp=35f8353323c520437aaeb34702073d08bbd08ff4;hpb=26741ec416bae2c502ef00a2ba0e79050a32cb67;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcMonoType.lhs b/ghc/compiler/typecheck/TcMonoType.lhs index 35f8353..5988dbb 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,19 +26,15 @@ 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-} ) \end{code}