X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcEnv.lhs;fp=ghc%2Fcompiler%2Ftypecheck%2FTcEnv.lhs;h=5ebfe58da7bb4fcd625ebad131df5d3de3ef6a58;hb=ac80e0dececb68ed6385e3b34765fd8f9c019767;hp=2f64d4c31a83e09fe6b9e42099b7cc7f430a6a02;hpb=43d5a248f604acf6ad4d743ed7c002580c44aa8f;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcEnv.lhs b/ghc/compiler/typecheck/TcEnv.lhs index 2f64d4c..5ebfe58 100644 --- a/ghc/compiler/typecheck/TcEnv.lhs +++ b/ghc/compiler/typecheck/TcEnv.lhs @@ -48,11 +48,11 @@ module TcEnv( import HsSyn ( LRuleDecl, LHsBinds, LSig, pprLHsBinds ) import TcIface ( tcImportDecl ) import TcRnMonad -import TcMType ( zonkTcType, zonkTcTyVar, zonkTcTyVarsAndFV ) +import TcMType ( zonkTcType, zonkTcTyVarsAndFV ) import TcType ( Type, TcKind, TcTyVar, TcTyVarSet, TcType, tyVarsOfType, tyVarsOfTypes, tcSplitDFunTy, mkGenTyConApp, getDFunTyKey, tcTyConAppTyCon, tcGetTyVar, mkTyVarTy, - tidyOpenType, tidyOpenTyVar, pprTyThingCategory + tidyOpenType, pprTyThingCategory ) import qualified Type ( getTyVar_maybe ) import Id ( idName, isLocalId ) @@ -105,8 +105,7 @@ tcLookupGlobal name { (eps,hpt) <- getEpsAndHpt ; case lookupType hpt (eps_PTE eps) name of Just thing -> return thing - Nothing -> do { traceIf (text "tcLookupGlobal" <+> ppr name) - ; initIfaceTcRn (tcImportDecl name) } + Nothing -> tcImportDecl name }} \end{code}