Modules: type-checker (#13009)

Update Haddock submodule

11 files changed, 19 insertions, 19 deletions

diff --git a/compiler/GHC/Iface/Binary.hs b/compiler/GHC/Iface/Binary.hs
index cc8472e040..1aa1fdafef 100644
--- a/compiler/GHC/Iface/Binary.hs
+++ b/compiler/GHC/Iface/Binary.hs
@@ -35,7 +35,7 @@ module GHC.Iface.Binary (
 
 import GhcPrelude
 
-import TcRnMonad
+import GHC.Tc.Utils.Monad
 import PrelInfo   ( isKnownKeyName, lookupKnownKeyName )
 import GHC.Iface.Env
 import GHC.Driver.Types
diff --git a/compiler/GHC/Iface/Env.hs b/compiler/GHC/Iface/Env.hs
index 8b12f50345..72cff8b8d7 100644
--- a/compiler/GHC/Iface/Env.hs
+++ b/compiler/GHC/Iface/Env.hs
@@ -24,7 +24,7 @@ module GHC.Iface.Env (
 
 import GhcPrelude
 
-import TcRnMonad
+import GHC.Tc.Utils.Monad
 import GHC.Driver.Types
 import GHC.Core.Type
 import GHC.Types.Var
diff --git a/compiler/GHC/Iface/Env.hs-boot b/compiler/GHC/Iface/Env.hs-boot
index 34d9a29960..72d0c26ba7 100644
--- a/compiler/GHC/Iface/Env.hs-boot
+++ b/compiler/GHC/Iface/Env.hs-boot
@@ -2,7 +2,7 @@ module GHC.Iface.Env where
 
 import GHC.Types.Module
 import GHC.Types.Name.Occurrence
-import TcRnMonad
+import GHC.Tc.Utils.Monad
 import GHC.Types.Name
 import GHC.Types.SrcLoc
 
diff --git a/compiler/GHC/Iface/Ext/Ast.hs b/compiler/GHC/Iface/Ext/Ast.hs
index 7d45d8d798..a2e67f1170 100644
--- a/compiler/GHC/Iface/Ext/Ast.hs
+++ b/compiler/GHC/Iface/Ext/Ast.hs
@@ -34,11 +34,11 @@ import MonadUtils                 ( concatMapM, liftIO )
 import GHC.Types.Name             ( Name, nameSrcSpan, setNameLoc )
 import GHC.Types.Name.Env         ( NameEnv, emptyNameEnv, extendNameEnv, lookupNameEnv )
 import GHC.Types.SrcLoc
-import TcHsSyn                    ( hsLitType, hsPatType )
+import GHC.Tc.Utils.Zonk          ( hsLitType, hsPatType )
 import GHC.Core.Type              ( mkVisFunTys, Type )
 import TysWiredIn                 ( mkListTy, mkSumTy )
 import GHC.Types.Var              ( Id, Var, setVarName, varName, varType )
-import TcRnTypes
+import GHC.Tc.Types
 import GHC.Iface.Make             ( mkIfaceExports )
 import Panic
 import Maybes
diff --git a/compiler/GHC/Iface/Load.hs b/compiler/GHC/Iface/Load.hs
index 9bc073b6a9..cf881e8f11 100644
--- a/compiler/GHC/Iface/Load.hs
+++ b/compiler/GHC/Iface/Load.hs
@@ -46,7 +46,7 @@ import GHC.Iface.Env
 import GHC.Driver.Types
 
 import GHC.Types.Basic hiding (SuccessFlag(..))
-import TcRnMonad
+import GHC.Tc.Utils.Monad
 
 import Constants
 import PrelNames
@@ -204,7 +204,7 @@ All of this is done by the type checker. The renamer plays no role.
 checkWiredInTyCon :: TyCon -> TcM ()
 -- Ensure that the home module of the TyCon (and hence its instances)
 -- are loaded. See Note [Loading instances for wired-in things]
--- It might not be a wired-in tycon (see the calls in TcUnify),
+-- It might not be a wired-in tycon (see the calls in GHC.Tc.Utils.Unify),
 -- in which case this is a no-op.
 checkWiredInTyCon tc
   | not (isWiredInName tc_name)
@@ -542,7 +542,7 @@ But there is a HORRIBLE HACK here.
 
 * At the end of tcRnImports, we call checkFamInstConsistency to
   check consistency of imported type-family instances
-  See Note [The type family instance consistency story] in FamInst
+  See Note [The type family instance consistency story] in GHC.Tc.Instance.Family
 
 * Alas, those instances may refer to data types defined in M,
   if there is a M.hs-boot.
diff --git a/compiler/GHC/Iface/Load.hs-boot b/compiler/GHC/Iface/Load.hs-boot
index 7718eb99f3..51270ccb33 100644
--- a/compiler/GHC/Iface/Load.hs-boot
+++ b/compiler/GHC/Iface/Load.hs-boot
@@ -1,7 +1,7 @@
 module GHC.Iface.Load where
 
 import GHC.Types.Module (Module)
-import TcRnMonad (IfM)
+import GHC.Tc.Utils.Monad (IfM)
 import GHC.Driver.Types (ModIface)
 import Outputable (SDoc)
 
diff --git a/compiler/GHC/Iface/Make.hs b/compiler/GHC/Iface/Make.hs
index 5cf6aa5f27..677c8cef71 100644
--- a/compiler/GHC/Iface/Make.hs
+++ b/compiler/GHC/Iface/Make.hs
@@ -38,10 +38,10 @@ import GHC.Core.Coercion.Axiom
 import GHC.Core.ConLike
 import GHC.Core.DataCon
 import GHC.Core.Type
-import TcType
+import GHC.Tc.Utils.TcType
 import GHC.Core.InstEnv
 import GHC.Core.FamInstEnv
-import TcRnMonad
+import GHC.Tc.Utils.Monad
 import GHC.Hs
 import GHC.Driver.Types
 import GHC.Driver.Session
@@ -218,7 +218,7 @@ mkIface_ hsc_env
                    not (isWiredInName name),
                       -- Nor wired-in things; the compiler knows about them anyhow
                    nameIsLocalOrFrom semantic_mod name  ]
-                      -- Sigh: see Note [Root-main Id] in TcRnDriver
+                      -- Sigh: see Note [Root-main Id] in GHC.Tc.Module
                       -- NB: ABSOLUTELY need to check against semantic_mod,
                       -- because all of the names in an hsig p[H=<H>]:H
                       -- are going to be for <H>, not the former id!
@@ -528,7 +528,7 @@ tyConToIfaceDecl env tycon
     ifaceConDecls AbstractTyCon                    = IfAbstractTyCon
         -- The AbstractTyCon case happens when a TyCon has been trimmed
         -- during tidying.
-        -- Furthermore, tyThingToIfaceDecl is also used in TcRnDriver
+        -- Furthermore, tyThingToIfaceDecl is also used in GHC.Tc.Module
         -- for GHCi, when browsing a module, in which case the
         -- AbstractTyCon and TupleTyCon cases are perfectly sensible.
         -- (Tuple declarations are not serialised into interface files.)
diff --git a/compiler/GHC/Iface/Recomp.hs b/compiler/GHC/Iface/Recomp.hs
index 12830ab20e..4ecf9666ee 100644
--- a/compiler/GHC/Iface/Recomp.hs
+++ b/compiler/GHC/Iface/Recomp.hs
@@ -21,7 +21,7 @@ import FlagChecker
 
 import GHC.Types.Annotations
 import GHC.Core
-import TcRnMonad
+import GHC.Tc.Utils.Monad
 import GHC.Hs
 import GHC.Driver.Types
 import GHC.Driver.Finder
diff --git a/compiler/GHC/Iface/Rename.hs b/compiler/GHC/Iface/Rename.hs
index 5d084155db..6bceb1effb 100644
--- a/compiler/GHC/Iface/Rename.hs
+++ b/compiler/GHC/Iface/Rename.hs
@@ -31,7 +31,7 @@ import GHC.Types.Var
 import ErrUtils
 
 import GHC.Types.Name
-import TcRnMonad
+import GHC.Tc.Utils.Monad
 import Util
 import Fingerprint
 import GHC.Types.Basic
diff --git a/compiler/GHC/Iface/Syntax.hs b/compiler/GHC/Iface/Syntax.hs
index 1f82ccfc7f..e33a938e26 100644
--- a/compiler/GHC/Iface/Syntax.hs
+++ b/compiler/GHC/Iface/Syntax.hs
@@ -777,7 +777,7 @@ pprIfaceDecl ss (IfaceData { ifName = tycon, ifCType = ctype,
                               then isIfaceTauType kind
                                       -- Even in the presence of a standalone kind signature, a non-tau
                                       -- result kind annotation cannot be discarded as it determines the arity.
-                                      -- See Note [Arity inference in kcCheckDeclHeader_sig] in TcHsType
+                                      -- See Note [Arity inference in kcCheckDeclHeader_sig] in GHC.Tc.Gen.HsType
                               else isIfaceLiftedTypeKind kind)
                           (dcolon <+> ppr kind)
 
diff --git a/compiler/GHC/Iface/Tidy.hs b/compiler/GHC/Iface/Tidy.hs
index 4bd11d227d..902cf23ac0 100644
--- a/compiler/GHC/Iface/Tidy.hs
+++ b/compiler/GHC/Iface/Tidy.hs
@@ -16,7 +16,7 @@ module GHC.Iface.Tidy (
 
 import GhcPrelude
 
-import TcRnTypes
+import GHC.Tc.Types
 import GHC.Driver.Session
 import GHC.Core
 import GHC.Core.Unfold
@@ -47,8 +47,8 @@ import GHC.Types.Name.Set
 import GHC.Types.Name.Cache
 import GHC.Types.Avail
 import GHC.Iface.Env
-import TcEnv
-import TcRnMonad
+import GHC.Tc.Utils.Env
+import GHC.Tc.Utils.Monad
 import GHC.Core.DataCon
 import GHC.Core.TyCon
 import GHC.Core.Class