diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/core-spec/CoreLint.ott | 6 | ||||
| -rw-r--r-- | docs/core-spec/core-spec.mng | 2 | ||||
| -rw-r--r-- | docs/ghci/ghci.tex | 2 | ||||
| -rw-r--r-- | docs/users_guide/extending_ghc.rst | 8 |
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 } |