Modules: type-checker (#13009)

Update Haddock submodule

8 files changed, 13 insertions, 14 deletions

diff --git a/libraries/base/Data/Typeable/Internal.hs b/libraries/base/Data/Typeable/Internal.hs
index 4ccbd5fd52..274efb8ade 100644
--- a/libraries/base/Data/Typeable/Internal.hs
+++ b/libraries/base/Data/Typeable/Internal.hs
@@ -934,7 +934,7 @@ mkTyCon# pkg modl name n_kinds kind_rep
                                      (unpackCStringUtf8# name)
 
 -- it is extremely important that this fingerprint computation
--- remains in sync with that in TcTypeable to ensure that type
+-- remains in sync with that in GHC.Tc.Instance.Typeable to ensure that type
 -- equality is correct.
 
 -- | Exquisitely unsafe.
@@ -954,7 +954,7 @@ mkTyCon pkg modl name (I# n_kinds) kind_rep
     fingerprint :: Fingerprint
     fingerprint = mkTyConFingerprint pkg modl name
 
--- This must match the computation done in TcTypeable.mkTyConRepTyConRHS.
+-- This must match the computation done in GHC.Tc.Instance.Typeable.mkTyConRepTyConRHS.
 mkTyConFingerprint :: String -- ^ package name
                    -> String -- ^ module name
                    -> String -- ^ tycon name
diff --git a/libraries/base/GHC/OverloadedLabels.hs b/libraries/base/GHC/OverloadedLabels.hs
index df0cde2f57..576c01ce9d 100644
--- a/libraries/base/GHC/OverloadedLabels.hs
+++ b/libraries/base/GHC/OverloadedLabels.hs
@@ -42,7 +42,7 @@
 -- optional id for the 'fromLabel' function to use (if
 -- RebindableSyntax is enabled) .  The type-checker transforms it into
 -- a call to 'fromLabel'.  See Note [Type-checking overloaded labels]
--- in TcExpr for more details in how type-checking works.
+-- in GHC.Tc.Gen.Expr for more details in how type-checking works.
 
 module GHC.OverloadedLabels
        ( IsLabel(..)
diff --git a/libraries/base/GHC/Ptr.hs b/libraries/base/GHC/Ptr.hs
index 808dabe11b..00e226bbb3 100644
--- a/libraries/base/GHC/Ptr.hs
+++ b/libraries/base/GHC/Ptr.hs
@@ -91,7 +91,7 @@ minusPtr (Ptr a1) (Ptr a2) = I# (minusAddr# a1 a2)
 
 -- 'FunPtr' has a phantom role for similar reasons to 'Ptr'. Note
 -- that 'FunPtr's role cannot become nominal without changes elsewhere
--- in GHC. See Note [FFI type roles] in TcForeign.
+-- in GHC. See Note [FFI type roles] in GHC.Tc.Gen.Foreign.
 type role FunPtr phantom
 data FunPtr a = FunPtr Addr# deriving (Eq, Ord)
 -- ^ A value of type @'FunPtr' a@ is a pointer to a function callable
diff --git a/libraries/base/GHC/Read.hs b/libraries/base/GHC/Read.hs
index 14e4a9b7e2..1057300c28 100644
--- a/libraries/base/GHC/Read.hs
+++ b/libraries/base/GHC/Read.hs
@@ -411,7 +411,7 @@ readSymField fieldName readVal = do
 -- Note [Why readField]
 --
 -- Previously, the code for automatically deriving Read instance (in
--- typecheck/TcGenDeriv.hs) would generate inline code for parsing fields;
+-- typecheck/GHC.Tc.Deriv.Generate.hs) would generate inline code for parsing fields;
 -- this, however, turned out to produce massive amounts of intermediate code,
 -- and produced a considerable performance hit in the code generator.
 -- Since Read instances are not generally supposed to be performance critical,
diff --git a/libraries/base/Unsafe/Coerce.hs b/libraries/base/Unsafe/Coerce.hs
index bad2e5bea6..cc230facbe 100644
--- a/libraries/base/Unsafe/Coerce.hs
+++ b/libraries/base/Unsafe/Coerce.hs
@@ -207,7 +207,7 @@ There are yet more wrinkles
       care about fast execution, but (annoyingly) we /do/ care about the
       GHCi debugger, and GHCi itself uses unsafeCoerce.
 
-      Moreover, in TcRnDriver.tcGhciStmts we use unsafeCoerce#, rather
+      Moreover, in GHC.Tc.Module.tcGhciStmts we use unsafeCoerce#, rather
       than the more kosher unsafeCoerce, becuase (with -O0) the latter
       may not be inlined.
 
diff --git a/libraries/ghc-prim/GHC/Types.hs b/libraries/ghc-prim/GHC/Types.hs
index 1cb3b6439d..bdd0883a37 100644
--- a/libraries/ghc-prim/GHC/Types.hs
+++ b/libraries/ghc-prim/GHC/Types.hs
@@ -191,7 +191,7 @@ type role IO representational
 because this role is significant in the normalisation of FFI
 types. Specifically, if this role were to become nominal (which would
 be very strange, indeed!), changes elsewhere in GHC would be
-necessary. See [FFI type roles] in TcForeign.  -}
+necessary. See [FFI type roles] in GHC.Tc.Gen.Foreign.  -}
 
 
 {- *********************************************************************
@@ -478,7 +478,7 @@ type KindBndr = Int
 -- | The representation produced by GHC for conjuring up the kind of a
 -- 'Data.Typeable.TypeRep'.
 
--- See Note [Representing TyCon kinds: KindRep] in TcTypeable.
+-- See Note [Representing TyCon kinds: KindRep] in GHC.Tc.Instance.Typeable.
 data KindRep = KindRepTyConApp TyCon [KindRep]
              | KindRepVar !KindBndr
              | KindRepApp KindRep KindRep
diff --git a/libraries/ghci/GHCi/TH.hs b/libraries/ghci/GHCi/TH.hs
index 5351b90ef1..15d70ceb4f 100644
--- a/libraries/ghci/GHCi/TH.hs
+++ b/libraries/ghci/GHCi/TH.hs
@@ -19,7 +19,7 @@ Here is an overview of how TH works with -fexternal-interpreter.
 Initialisation
 ~~~~~~~~~~~~~~
 
-GHC sends a StartTH message to the server (see TcSplice.getTHState):
+GHC sends a StartTH message to the server (see GHC.Tc.Gen.Splice.getTHState):
 
    StartTH :: Message (RemoteRef (IORef QState))
 
@@ -79,7 +79,7 @@ For each splice
 After typechecking
 ~~~~~~~~~~~~~~~~~~
 
-GHC sends a FinishTH message to the server (see TcSplice.finishTH).
+GHC sends a FinishTH message to the server (see GHC.Tc.Gen.Splice.finishTH).
 The server runs any finalizers that were added by addModuleFinalizer.
 
 
@@ -87,8 +87,7 @@ Other Notes on TH / Remote GHCi
 
   * Note [Remote GHCi] in compiler/ghci/GHCi.hs
   * Note [External GHCi pointers] in compiler/ghci/GHCi.hs
-  * Note [TH recover with -fexternal-interpreter] in
-    compiler/typecheck/TcSplice.hs
+  * Note [TH recover with -fexternal-interpreter] in GHC.Tc.Gen.Splice
 -}
 
 import Prelude -- See note [Why do we import Prelude here?]
@@ -168,7 +167,7 @@ instance TH.Quasi GHCiQ where
   qNewName str = ghcCmd (NewName str)
   qReport isError msg = ghcCmd (Report isError msg)
 
-  -- See Note [TH recover with -fexternal-interpreter] in TcSplice
+  -- See Note [TH recover with -fexternal-interpreter] in GHC.Tc.Gen.Splice
   qRecover (GHCiQ h) a = GHCiQ $ \s -> mask $ \unmask -> do
     remoteTHCall (qsPipe s) StartRecover
     e <- try $ unmask $ runGHCiQ (a <* ghcCmd FailIfErrs) s
diff --git a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs
index 8054f599ea..4c8aacf97f 100644
--- a/libraries/template-haskell/Language/Haskell/TH/Syntax.hs
+++ b/libraries/template-haskell/Language/Haskell/TH/Syntax.hs
@@ -849,7 +849,7 @@ instance Lift a => Lift [a] where
   lift xs = do { xs' <- mapM lift xs; return (ListE xs') }
 
 liftString :: Quote m => String -> m Exp
--- Used in TcExpr to short-circuit the lifting for strings
+-- Used in GHC.Tc.Gen.Expr to short-circuit the lifting for strings
 liftString s = return (LitE (StringL s))
 
 -- | @since 2.15.0.0