diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-03-19 10:28:01 +0100 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-04-07 18:36:49 -0400 |
| commit | 255418da5d264fb2758bc70925adb2094f34adc3 (patch) | |
| tree | 39e3d7f84571e750f2a087c1bc2ab87198e9b147 /docs/core-spec | |
| parent | 3d2991f8b4c1b686323b2c9452ce845a60b8d94c (diff) | |
| download | haskell-255418da5d264fb2758bc70925adb2094f34adc3.tar.gz | |
Modules: type-checker (#13009)
Update Haddock submodule
Diffstat (limited to 'docs/core-spec')
| -rw-r--r-- | docs/core-spec/CoreLint.ott | 6 | ||||
| -rw-r--r-- | docs/core-spec/core-spec.mng | 2 |
2 files changed, 4 insertions, 4 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{} |