diff options
author | Takenobu Tani <takenobu.hs@gmail.com> | 2019-03-21 16:06:39 +0900 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-03-25 14:02:29 -0400 |
commit | 3769e3a829f4514f82ce7f7d218867f1d69d3d38 (patch) | |
tree | fdb7a6352c32368f1d80e370c46fe4159507ec4f /docs/core-spec | |
parent | 8e07368faf5090a5ac803f0e4fa3a5a2a4aba05c (diff) | |
download | haskell-3769e3a829f4514f82ce7f7d218867f1d69d3d38.tar.gz |
Update Wiki URLs to point to GitLab
This moves all URL references to Trac Wiki to their corresponding
GitLab counterparts.
This substitution is classified as follows:
1. Automated substitution using sed with Ben's mapping rule [1]
Old: ghc.haskell.org/trac/ghc/wiki/XxxYyy...
New: gitlab.haskell.org/ghc/ghc/wikis/xxx-yyy...
2. Manual substitution for URLs containing `#` index
Old: ghc.haskell.org/trac/ghc/wiki/XxxYyy...#Zzz
New: gitlab.haskell.org/ghc/ghc/wikis/xxx-yyy...#zzz
3. Manual substitution for strings starting with `Commentary`
Old: Commentary/XxxYyy...
New: commentary/xxx-yyy...
See also !539
[1]: https://gitlab.haskell.org/bgamari/gitlab-migration/blob/master/wiki-mapping.json
Diffstat (limited to 'docs/core-spec')
-rw-r--r-- | docs/core-spec/core-spec.mng | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/core-spec/core-spec.mng b/docs/core-spec/core-spec.mng index 3064a556e3..5fdf3af027 100644 --- a/docs/core-spec/core-spec.mng +++ b/docs/core-spec/core-spec.mng @@ -235,7 +235,7 @@ and a provenance. The provenance states what created the universal coercion: Roles label what equality relation a coercion is a witness of. Nominal equality means that two types are identical (have the same name); representational equality means that two types have the same representation (introduced by newtypes); and -phantom equality includes all types. See \url{http://ghc.haskell.org/trac/ghc/wiki/Roles} and \url{http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf} +phantom equality includes all types. See \url{https://gitlab.haskell.org/ghc/ghc/wikis/roles} and \url{http://research.microsoft.com/en-us/um/people/simonpj/papers/ext-f/coercible.pdf} for more background. \gram{\ottR} @@ -297,7 +297,7 @@ In \ottdrulename{Co\_UnivCo}, function $ \textsf{compatibleUnBoxedTys} $ stands appropriate element of the target tuple; \end{itemize} For function implementation see \coderef{coreSyn/CoreLint.hs}{checkTypes}. -For further discussion see \url{https://ghc.haskell.org/trac/ghc/wiki/BadUnsafeCoercions}. +For further discussion see \url{https://gitlab.haskell.org/ghc/ghc/wikis/bad-unsafe-coercions}. \subsection{Type constructors} |