From 96ad3e939fdce9ba5c1cfee1900dc8006299b98d Mon Sep 17 00:00:00 2001 From: simonpj Date: Tue, 29 Oct 2002 11:58:28 +0000 Subject: [PATCH] [project @ 2002-10-29 11:58:28 by simonpj] Wibble to lint-ing unfoldings --- ghc/compiler/typecheck/TcIfaceSig.lhs | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/ghc/compiler/typecheck/TcIfaceSig.lhs b/ghc/compiler/typecheck/TcIfaceSig.lhs index 004d7b5..15fba8a 100644 --- a/ghc/compiler/typecheck/TcIfaceSig.lhs +++ b/ghc/compiler/typecheck/TcIfaceSig.lhs @@ -14,6 +14,7 @@ module TcIfaceSig ( tcInterfaceSigs, import HsSyn ( CoreDecl(..), TyClDecl(..), HsTupCon(..) ) import TcHsSyn ( TypecheckedCoreBind ) +import TcRnTypes import TcRnMonad import TcMonoType ( tcIfaceType, kcHsSigType ) import TcEnv ( RecTcGblEnv, tcExtendTyVarEnv, @@ -42,7 +43,7 @@ import Name ( Name ) import UniqSupply ( initUs_ ) import Outputable import Util ( zipWithEqual, dropList, equalLength ) -import HscTypes ( TyThing(..) ) +import HscTypes ( TyThing(..), typeEnvIds ) import CmdLineOpts ( DynFlag(..) ) \end{code} @@ -64,11 +65,7 @@ tcInterfaceSigs unf_env decls | IfaceSig {tcdName = name, tcdType = ty, tcdIdInfo = id_infos, tcdLoc =src_loc} <- decls] where - in_scope_vars = [] --- in_scope_vars = filter (nameIsLocalOrFrom mod . idName) (tcEnvIds unf_env) - -- Oops: using isLocalId instead can give a black hole - -- because it looks at the idinfo - + in_scope_vars = typeEnvIds (tcg_type_env unf_env) -- When we have hi-boot files, an unfolding might refer to -- something defined in this module, so we must build a -- suitable in-scope set. This thunk will only be poked -- 1.7.10.4