Modules: type-checker (#13009)

Update Haddock submodule

4 files changed, 9 insertions, 9 deletions

diff --git a/docs/core-spec/CoreLint.ott b/docs/core-spec/CoreLint.ott
index 3004802ad4..9ce8584f9a 100644
--- a/docs/core-spec/CoreLint.ott
+++ b/docs/core-spec/CoreLint.ott
@@ -389,7 +389,7 @@ G |-co g0 : t1 {subst1(k)}~R subst2(k) t2
 G |-axk [ namesroles, n_R |-> gs, g0 ] ~> (subst1 [n |-> t1], subst2 [n |-> t2])
 
 defn validRoles T ::  :: checkValidRoles :: 'Cvr_'
-  {{ com Type constructor role validity, \coderef{typecheck/TcTyClsDecls.hs}{checkValidRoles} }}
+  {{ com Type constructor role validity, \coderef{GHC/Tc/TyCl.hs}{checkValidRoles} }}
 by
 
 </ Ki // i /> = tyConDataCons T
@@ -399,7 +399,7 @@ by
 validRoles T
 
 defn validDcRoles </ Raa // aa /> K :: :: check_dc_roles :: 'Cdr_'
-  {{ com Data constructor role validity, \coderef{typecheck/TcTyClsDecls.hs}{check\_dc\_roles} }}
+  {{ com Data constructor role validity, \coderef{GHC/Tc/TyCl.hs}{check\_dc\_roles} }}
 by
 
 forall </ naa // aa />. forall </ mbb // bb />. </ tcc // cc /> $ -> T </ naa // aa /> = dataConRepType K
@@ -408,7 +408,7 @@ forall </ naa // aa />. forall </ mbb // bb />. </ tcc // cc /> $ -> T </ naa //
 validDcRoles </ Raa // aa /> K
 
 defn O |- t : R  ::   :: check_ty_roles :: 'Ctr_'
-  {{ com Type role validity, \coderef{typecheck/TcTyClsDecls.hs}{check\_ty\_roles} }}
+  {{ com Type role validity, \coderef{GHC/Tc/TyCl.hs}{check\_ty\_roles} }}
   {{ tex [[O]] \labeledjudge{ctr} [[t]] : [[R]] }}
 by
 
diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng
index ea488921be..86db025586 100644
--- a/docs/core-spec/core-spec.mng
+++ b/docs/core-spec/core-spec.mng
@@ -530,7 +530,7 @@ $[[tyConRoles]]$, but with an arbitrary number of $[[Nom]]$ at the end, to accou
 for potential oversaturation.
 
 The checks encoded in the following
-judgments are run from \coderef{typecheck/TcTyClsDecls.hs}{checkValidTyCon}
+judgments are run from \coderef{GHC/Tc/TyCl.hs}{checkValidTyCon}
 when \texttt{-dcore-lint} is set.
 
 \ottdefncheckValidRoles{}
diff --git a/docs/ghci/ghci.tex b/docs/ghci/ghci.tex
index e102cdadd9..49e373a4bd 100644
--- a/docs/ghci/ghci.tex
+++ b/docs/ghci/ghci.tex
@@ -600,7 +600,7 @@ post-typechecking environment created by compiling a module.
       = ModDetails {
            moduleExports :: Avails
            moduleEnv     :: GlobalRdrEnv    -- == FM RdrName [Name]
-           typeEnv       :: FM Name TyThing -- TyThing is in TcEnv.lhs
+           typeEnv       :: FM Name TyThing -- TyThing is in GHC.Tc.Utils.Env
            instEnv       :: InstEnv
            fixityEnv     :: FM Name Fixity
            ruleEnv       :: FM Id [Rule]
diff --git a/docs/users_guide/extending_ghc.rst b/docs/users_guide/extending_ghc.rst
index 737a40c14b..576b9ec2fc 100644
--- a/docs/users_guide/extending_ghc.rst
+++ b/docs/users_guide/extending_ghc.rst
@@ -768,7 +768,7 @@ displayed.
     import GHC.Driver.Session (getDynFlags)
     import GHC.Driver.Plugins
     import GHC.Driver.Types
-    import TcRnTypes
+    import GHC.Tc.Types
     import GHC.Hs.Extension
     import GHC.Hs.Decls
     import GHC.Hs.Expr
@@ -963,9 +963,9 @@ spent on searching for valid hole fits, after which new searches are aborted.
 
     import Data.List (stripPrefix, sortOn)
 
-    import TcRnTypes
+    import GHC.Tc.Types
 
-    import TcRnMonad
+    import GHC.Tc.Utils.Monad
 
     import Data.Time (UTCTime, NominalDiffTime)
     import qualified Data.Time as Time
@@ -1315,7 +1315,7 @@ this idea can be seen below:
     import GHC.Hs.Extension
     import GHC.Hs.Lit
     import Hooks
-    import TcRnMonad
+    import GHC.Tc.Utils.Monad
 
     plugin :: Plugin
     plugin = defaultPlugin { dynflagsPlugin = hooksP }