Modify file paths to module paths for new module hierarchy

This updates comments only.

This patch replaces module references according to new module
hierarchy [1][2].

For files under the `compiler/` directory, I replace them as
module paths instead of file paths. For instance,
`GHC.Unit.State` instead of `compiler/GHC/Unit/State.hs` [3].

For current and future haddock's markup, this patch encloses
the module name with "" [4].

[1]: https://gitlab.haskell.org/ghc/ghc/-/wikis/Make-GHC-codebase-more-modular
[2]: https://gitlab.haskell.org/ghc/ghc/issues/13009
[3]: https://gitlab.haskell.org/ghc/ghc/-/merge_requests/3375#note_276613
[4]: https://haskell-haddock.readthedocs.io/en/latest/markup.html#linking-to-modules

20 files changed, 24 insertions, 24 deletions

diff --git a/compiler/GHC.hs b/compiler/GHC.hs
index 12930e04c1..759dda29e6 100644
--- a/compiler/GHC.hs
+++ b/compiler/GHC.hs
@@ -1346,7 +1346,7 @@ getNameToInstancesIndex visible_mods mods_to_load = do
 
 -- -----------------------------------------------------------------------------
 
-{- ToDo: Move the primary logic here to compiler/GHC/Unit/State.hs
+{- ToDo: Move the primary logic here to "GHC.Unit.State"
 -- | Return all /external/ modules available in the package database.
 -- Modules from the current session (i.e., from the 'HomePackageTable') are
 -- not included.  This includes module names which are reexported by packages.
diff --git a/compiler/GHC/Cmm/Utils.hs b/compiler/GHC/Cmm/Utils.hs
index 9679f4f311..2581056fc6 100644
--- a/compiler/GHC/Cmm/Utils.hs
+++ b/compiler/GHC/Cmm/Utils.hs
@@ -542,7 +542,7 @@ toBlockListEntryFirst g
 -- have both true and false successors. Block ordering can make a big difference
 -- in performance in the LLVM backend. Note that we rely crucially on the order
 -- of successors returned for CmmCondBranch by the NonLocal instance for CmmNode
--- defined in GHC/Cmm/Node.hs. -GBM
+-- defined in "GHC.Cmm.Node". -GBM
 toBlockListEntryFirstFalseFallthrough :: CmmGraph -> [CmmBlock]
 toBlockListEntryFirstFalseFallthrough g
   | mapNull m  = []
diff --git a/compiler/GHC/CmmToAsm/SPARC/Base.hs b/compiler/GHC/CmmToAsm/SPARC/Base.hs
index bf71c172df..14d3069c74 100644
--- a/compiler/GHC/CmmToAsm/SPARC/Base.hs
+++ b/compiler/GHC/CmmToAsm/SPARC/Base.hs
@@ -3,7 +3,7 @@
 --      Also import the required constants, so we know what we're using.
 --
 --      In the interests of cross-compilation, we want to free ourselves
---      from the autoconf generated modules like GHC/Settings/Constants
+--      from the autoconf generated modules like "GHC.Settings.Constants"
 
 module GHC.CmmToAsm.SPARC.Base (
         wordLength,
diff --git a/compiler/GHC/Core/Coercion/Opt.hs b/compiler/GHC/Core/Coercion/Opt.hs
index 5b53936354..18cb98767f 100644
--- a/compiler/GHC/Core/Coercion/Opt.hs
+++ b/compiler/GHC/Core/Coercion/Opt.hs
@@ -866,7 +866,7 @@ False) and that all is OK. But, all is not OK: we want to use the first branch
 of the axiom in this case, not the second. The problem is that the parameters
 of the first branch can unify with the supplied coercions, thus meaning that
 the first branch should be taken. See also Note [Apartness] in
-GHC/Core/FamInstEnv.hs.
+"GHC.Core.FamInstEnv".
 
 Note [Why call checkAxInstCo during optimisation]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
diff --git a/compiler/GHC/Core/InstEnv.hs b/compiler/GHC/Core/InstEnv.hs
index 424a94e965..de20f6f4b4 100644
--- a/compiler/GHC/Core/InstEnv.hs
+++ b/compiler/GHC/Core/InstEnv.hs
@@ -674,7 +674,7 @@ in this case by a little known `optimization' that was disabled in
 an instance declaration.  In this case, it silently inserts the `C
 [a]', and everything happens to work out.
 
-(See `GHC/Types/Id/Make:mkDictFunId' for the code in question.  Search for
+(See `GHC.Types.Id.Make.mkDictFunId' for the code in question.  Search for
 `Mark Jones', although Mark claims no credit for the `optimization' in
 question, and would rather it stopped being called the `Mark Jones
 optimization' ;-)
diff --git a/compiler/GHC/Core/Opt/ConstantFold.hs b/compiler/GHC/Core/Opt/ConstantFold.hs
index cc4324c536..5ae5fa693c 100644
--- a/compiler/GHC/Core/Opt/ConstantFold.hs
+++ b/compiler/GHC/Core/Opt/ConstantFold.hs
@@ -1552,7 +1552,7 @@ match_inline (Type _ : e : _)
 match_inline _ = Nothing
 
 
--- See Note [magicDictId magic] in `GHC/Types/Id/Make.hs`
+-- See Note [magicDictId magic] in "GHC.Types.Id.Make"
 -- for a description of what is going on here.
 match_magicDict :: [Expr CoreBndr] -> Maybe (Expr CoreBndr)
 match_magicDict [Type _, Var wrap `App` Type a `App` Type _ `App` f, x, y ]
diff --git a/compiler/GHC/Core/TyCo/Tidy.hs b/compiler/GHC/Core/TyCo/Tidy.hs
index 4674a0a2fe..6cfce74790 100644
--- a/compiler/GHC/Core/TyCo/Tidy.hs
+++ b/compiler/GHC/Core/TyCo/Tidy.hs
@@ -146,7 +146,7 @@ tidyType env (CoercionTy co)      = CoercionTy $! (tidyCo env co)
 
 
 -- The following two functions differ from mkForAllTys and splitForAllTys in that
--- they expect/preserve the ArgFlag argument. These belong to GHC/Core/Type.hs, but
+-- they expect/preserve the ArgFlag argument. These belong to "GHC.Core.Type", but
 -- how should they be named?
 mkForAllTys' :: [(TyCoVar, ArgFlag)] -> Type -> Type
 mkForAllTys' tvvs ty = foldr strictMkForAllTy ty tvvs
diff --git a/compiler/GHC/Core/TyCon.hs b/compiler/GHC/Core/TyCon.hs
index 1dc54f47bc..80b4500685 100644
--- a/compiler/GHC/Core/TyCon.hs
+++ b/compiler/GHC/Core/TyCon.hs
@@ -1372,7 +1372,7 @@ although it's probably true that we could merge some of these.
 
 Roughly in order of "includes more information":
 
- - A Width (GHC/Cmm/Type) is simply a binary value with the specified
+ - A Width ("GHC.Cmm.Type") is simply a binary value with the specified
    number of bits.  It may represent a signed or unsigned integer, a
    floating-point value, or an address.
 
diff --git a/compiler/GHC/Core/Unfold.hs b/compiler/GHC/Core/Unfold.hs
index ebfdaabea1..e1195be42a 100644
--- a/compiler/GHC/Core/Unfold.hs
+++ b/compiler/GHC/Core/Unfold.hs
@@ -991,7 +991,7 @@ binary sizes shrink significantly either.
 
 Note [Discounts and thresholds]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-Constants for discounts and thesholds are defined in GHC/Driver/Session,
+Constants for discounts and thesholds are defined in "GHC.Driver.Session",
 all of form ufXxxx.   They are:
 
 ufCreationThreshold
diff --git a/compiler/GHC/HsToCore/PmCheck/Oracle.hs b/compiler/GHC/HsToCore/PmCheck/Oracle.hs
index b2a4587b1b..b16b5e5907 100644
--- a/compiler/GHC/HsToCore/PmCheck/Oracle.hs
+++ b/compiler/GHC/HsToCore/PmCheck/Oracle.hs
@@ -1276,7 +1276,7 @@ for all other cases, apart from EmptyCase). This gave rise to #10746. Instead,
 we do the following:
 
 1. We normalise the outermost type family redex, data family redex or newtype,
-   using pmTopNormaliseType (in GHC/Core/FamInstEnv.hs). This computes 3
+   using pmTopNormaliseType (in "GHC.Core.FamInstEnv"). This computes 3
    things:
    (a) A normalised type src_ty, which is equal to the type of the scrutinee in
        source Haskell (does not normalise newtypes or data families)
@@ -1291,7 +1291,7 @@ we do the following:
        newtype rewrite performed in (b).
 
    For an example see also Note [Type normalisation]
-   in GHC/Core/FamInstEnv.hs.
+   in "GHC.Core.FamInstEnv".
 
 2. Function Check.checkEmptyCase' performs the check:
    - If core_ty is not an algebraic type, then we cannot check for
diff --git a/compiler/GHC/HsToCore/PmCheck/Types.hs b/compiler/GHC/HsToCore/PmCheck/Types.hs
index 8740c9acdb..0c3c9f3286 100644
--- a/compiler/GHC/HsToCore/PmCheck/Types.hs
+++ b/compiler/GHC/HsToCore/PmCheck/Types.hs
@@ -271,7 +271,7 @@ The impact of this treatment of overloaded literals is the following:
   * We have instant equality check for overloaded literals (we do not rely on
     the term oracle which is rather expensive, both in terms of performance and
     memory). This significantly improves the performance of functions `covered`
-    `uncovered` and `divergent` in GHC/HsToCore/PmCheck.hs and effectively addresses
+    `uncovered` and `divergent` in "GHC.HsToCore.PmCheck" and effectively addresses
     #11161.
 
   * The warnings issued are simpler.
diff --git a/compiler/GHC/Iface/Type.hs b/compiler/GHC/Iface/Type.hs
index 32df13d1ef..2595ff46e4 100644
--- a/compiler/GHC/Iface/Type.hs
+++ b/compiler/GHC/Iface/Type.hs
@@ -187,7 +187,7 @@ mkIfaceForAllTvBndr :: ArgFlag -> IfaceTvBndr -> IfaceForAllBndr
 mkIfaceForAllTvBndr vis var = Bndr (IfaceTvBndr var) vis
 
 -- | Build the 'tyConKind' from the binders and the result kind.
--- Keep in sync with 'mkTyConKind' in GHC/Core/TyCon.
+-- Keep in sync with 'mkTyConKind' in "GHC.Core.TyCon".
 mkIfaceTyConKind :: [IfaceTyConBinder] -> IfaceKind -> IfaceKind
 mkIfaceTyConKind bndrs res_kind = foldr mk res_kind bndrs
   where
diff --git a/compiler/GHC/Parser/Lexer.x b/compiler/GHC/Parser/Lexer.x
index 72f88e8018..bc4349e391 100644
--- a/compiler/GHC/Parser/Lexer.x
+++ b/compiler/GHC/Parser/Lexer.x
@@ -119,7 +119,7 @@ import GHC.Parser.Annotation
 -- -----------------------------------------------------------------------------
 -- Alex "Character set macros"
 
--- NB: The logic behind these definitions is also reflected in GHC/Utils/Lexeme.hs
+-- NB: The logic behind these definitions is also reflected in "GHC.Utils.Lexeme"
 -- Any changes here should likely be reflected there.
 $unispace    = \x05 -- Trick Alex into handling Unicode. See [Unicode in Alex].
 $nl          = [\n\r\f]
@@ -2261,7 +2261,7 @@ adjustChar c = fromIntegral $ ord adj_c
           -- with the actual character value hidden in the state.
           | otherwise =
                 -- NB: The logic behind these definitions is also reflected
-                -- in GHC/Utils/Lexeme.hs
+                -- in "GHC.Utils.Lexeme"
                 -- Any changes here should likely be reflected there.
 
                 case generalCategory c of
diff --git a/compiler/GHC/Runtime/Interpreter.hs b/compiler/GHC/Runtime/Interpreter.hs
index 3229d003f6..18a6203a08 100644
--- a/compiler/GHC/Runtime/Interpreter.hs
+++ b/compiler/GHC/Runtime/Interpreter.hs
@@ -166,7 +166,7 @@ Other Notes on Remote GHCi
 ~~~~~~~~~~~~~~~~~~~~~~~~~~
   * This wiki page has an implementation overview:
     https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/external-interpreter
-  * Note [External GHCi pointers] in compiler/GHC/Runtime/Interpreter.hs
+  * Note [External GHCi pointers] in "GHC.Runtime.Interpreter"
   * Note [Remote Template Haskell] in libraries/ghci/GHCi/TH.hs
 -}
 
diff --git a/compiler/GHC/StgToCmm/Expr.hs b/compiler/GHC/StgToCmm/Expr.hs
index 3605b96149..164348895d 100644
--- a/compiler/GHC/StgToCmm/Expr.hs
+++ b/compiler/GHC/StgToCmm/Expr.hs
@@ -902,7 +902,7 @@ cgIdApp fun_id args = do
 --
 -- Self-recursive tail calls can be optimized into a local jump in the same
 -- way as let-no-escape bindings (see Note [What is a non-escaping let] in
--- GHC/CoreToStg.hs). Consider this:
+-- "GHC.CoreToStg"). Consider this:
 --
 -- foo.info:
 --     a = R1  // calling convention
diff --git a/compiler/GHC/StgToCmm/Utils.hs b/compiler/GHC/StgToCmm/Utils.hs
index 3fb18f0ea8..3815c2b698 100644
--- a/compiler/GHC/StgToCmm/Utils.hs
+++ b/compiler/GHC/StgToCmm/Utils.hs
@@ -241,7 +241,7 @@ emitRtsCallGen res lbl args safe
 -- here, as we don't have liveness information.  And really, we
 -- shouldn't be doing the workaround at this point in the pipeline, see
 -- Note [Register parameter passing] and the ToDo on CmmCall in
--- GHC/Cmm/Node.hs.  Right now the workaround is to avoid inlining across
+-- "GHC.Cmm.Node".  Right now the workaround is to avoid inlining across
 -- unsafe foreign calls in rewriteAssignments, but this is strictly
 -- temporary.
 callerSaveVolatileRegs :: DynFlags -> (CmmAGraph, CmmAGraph)
diff --git a/compiler/GHC/SysTools/ExtraObj.hs b/compiler/GHC/SysTools/ExtraObj.hs
index 1f1d8fd3d6..453dc83996 100644
--- a/compiler/GHC/SysTools/ExtraObj.hs
+++ b/compiler/GHC/SysTools/ExtraObj.hs
@@ -155,7 +155,7 @@ mkNoteObjsToLinkIntoBinary dflags dep_packages = do
 
       -- ALL generated assembly must have this section to disable
       -- executable stacks.  See also
-      -- compiler/GHC/CmmToAsm.hs for another instance
+      -- "GHC.CmmToAsm" for another instance
       -- where we need to do this.
       if platformHasGnuNonexecStack platform
         then text ".section .note.GNU-stack,\"\","
diff --git a/compiler/GHC/Tc/Deriv.hs b/compiler/GHC/Tc/Deriv.hs
index 7819a8712e..850e0722da 100644
--- a/compiler/GHC/Tc/Deriv.hs
+++ b/compiler/GHC/Tc/Deriv.hs
@@ -452,7 +452,7 @@ makeDerivSpecs deriv_infos deriv_decls
 -- | Process the derived classes in a single @deriving@ clause.
 deriveClause :: TyCon
              -> [(Name, TcTyVar)]  -- Scoped type variables taken from tcTyConScopedTyVars
-                                   -- See Note [Scoped tyvars in a TcTyCon] in GHC/Core/TyCon
+                                   -- See Note [Scoped tyvars in a TcTyCon] in "GHC.Core.TyCon"
              -> Maybe (LDerivStrategy GhcRn)
              -> [LHsSigType GhcRn] -> SDoc
              -> TcM [EarlyDerivSpec]
diff --git a/compiler/GHC/ThToHs.hs b/compiler/GHC/ThToHs.hs
index 556b251f4c..d5b4ef28f1 100644
--- a/compiler/GHC/ThToHs.hs
+++ b/compiler/GHC/ThToHs.hs
@@ -2032,7 +2032,7 @@ with the following parts:
 Due to the two forall quantifiers and constraint contexts (either of
 which might be empty), pattern synonym type signatures are treated
 specially in `GHC.HsToCore.Quote`, `GHC.ThToHs`, and
-`typecheck/GHC.Tc.Gen.Splice.hs`:
+`GHC.Tc.Gen.Splice`:
 
    (a) When desugaring a pattern synonym from HsSyn to TH.Dec in
        `GHC.HsToCore.Quote`, we represent its *full* type signature in TH, i.e.:
@@ -2041,7 +2041,7 @@ specially in `GHC.HsToCore.Quote`, `GHC.ThToHs`, and
               (where ty is the AST representation of t1 -> t2 -> ... -> tn -> t)
 
    (b) When converting pattern synonyms from TH.Dec to HsSyn in
-       `GHC/ThToHs.hs`, we convert their TH type signatures back to an
+       `GHC.ThToHs`, we convert their TH type signatures back to an
        appropriate Haskell pattern synonym type of the form
 
          forall univs. reqs => forall exis. provs => t1 -> t2 -> ... -> tn -> t
@@ -2049,7 +2049,7 @@ specially in `GHC.HsToCore.Quote`, `GHC.ThToHs`, and
        where initial empty `univs` type variables or an empty `reqs`
        constraint context are represented *explicitly* as `() =>`.
 
-   (c) When reifying a pattern synonym in `typecheck/GHC.Tc.Gen.Splice.hs`, we always
+   (c) When reifying a pattern synonym in `GHC.Tc.Gen.Splice`, we always
        return its *full* type, i.e.:
 
            ForallT univs reqs (ForallT exis provs ty)
diff --git a/compiler/GHC/Utils/Outputable.hs b/compiler/GHC/Utils/Outputable.hs
index 9827e53f9e..0514870cea 100644
--- a/compiler/GHC/Utils/Outputable.hs
+++ b/compiler/GHC/Utils/Outputable.hs
@@ -1005,7 +1005,7 @@ pprHsBytes bs = let escaped = concatMap escape $ BS.unpack bs
                         else '\\' : show w
 
 -- Postfix modifiers for unboxed literals.
--- See Note [Printing of literals in Core] in `GHC/Types/Literal.hs`.
+-- See Note [Printing of literals in Core] in "GHC.Types.Literal".
 primCharSuffix, primFloatSuffix, primIntSuffix :: SDoc
 primDoubleSuffix, primWordSuffix, primInt64Suffix, primWord64Suffix :: SDoc
 primCharSuffix   = char '#'