diff options
Diffstat (limited to 'compiler/typecheck/TcRnTypes.hs')
| -rw-r--r-- | compiler/typecheck/TcRnTypes.hs | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs index 3445d5b793..b2248073d8 100644 --- a/compiler/typecheck/TcRnTypes.hs +++ b/compiler/typecheck/TcRnTypes.hs @@ -142,7 +142,7 @@ import qualified Language.Haskell.TH as TH -- | A 'NameShape' is a substitution on 'Name's that can be used -- to refine the identities of a hole while we are renaming interfaces --- (see 'RnModIface'). Specifically, a 'NameShape' for +-- (see 'GHC.Iface.Rename'). Specifically, a 'NameShape' for -- 'ns_module_name' @A@, defines a mapping from @{A.T}@ -- (for some 'OccName' @T@) to some arbitrary other 'Name'. -- @@ -242,7 +242,7 @@ data IfGblEnv -- was originally a hi-boot file. -- We need the module name so we can test when it's appropriate -- to look in this env. - -- See Note [Tying the knot] in TcIface + -- See Note [Tying the knot] in GHC.IfaceToCore if_rec_types :: Maybe (Module, IfG TypeEnv) -- Allows a read effect, so it can be in a mutable -- variable; c.f. handling the external package type env @@ -275,8 +275,8 @@ data IfLclEnv -- This field is used to make sure "implicit" declarations -- (anything that cannot be exported in mi_exports) get -- wired up correctly in typecheckIfacesForMerging. Most - -- of the time it's @Nothing@. See Note [Resolving never-exported Names in TcIface] - -- in TcIface. + -- of the time it's @Nothing@. See Note [Resolving never-exported Names] + -- in GHC.IfaceToCore. if_implicits_env :: Maybe TypeEnv, if_tv_env :: FastStringEnv TyVar, -- Nested tyvar bindings @@ -385,14 +385,14 @@ data FrontendResult -- then moduleUnitId this_mod == thisPackage dflags -- -- - For any code involving Names, we want semantic modules. --- See lookupIfaceTop in IfaceEnv, mkIface and addFingerprints --- in MkIface, and tcLookupGlobal in TcEnv +-- See lookupIfaceTop in GHC.Iface.Env, mkIface and addFingerprints +-- in GHC.Iface.Utils, and tcLookupGlobal in TcEnv -- -- - When reading interfaces, we want the identity module to -- identify the specific interface we want (such interfaces -- should never be loaded into the EPS). However, if a -- hole module <A> is requested, we look for A.hi --- in the home library we are compiling. (See LoadIface.) +-- in the home library we are compiling. (See GHC.Iface.Load.) -- Similarly, in RnNames we check for self-imports using -- identity modules, to allow signatures to import their implementor. -- @@ -666,7 +666,7 @@ We gather three sorts of usage information Used (a) to report "defined but not used" (see RnNames.reportUnusedNames) (b) to generate version-tracking usage info in interface - files (see MkIface.mkUsedNames) + files (see GHC.Iface.Utils.mkUsedNames) This usage info is mainly gathered by the renamer's gathering of free-variables @@ -1433,7 +1433,7 @@ data WhereFrom = ImportByUser IsBootInterface -- Ordinary user import (perhaps {-# SOURCE #-}) | ImportBySystem -- Non user import. | ImportByPlugin -- Importing a plugin; - -- See Note [Care with plugin imports] in LoadIface + -- See Note [Care with plugin imports] in GHC.Iface.Load instance Outputable WhereFrom where ppr (ImportByUser is_boot) | is_boot = text "{- SOURCE -}" |