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

9 files changed, 11 insertions, 11 deletions

diff --git a/compiler/typecheck/TcCanonical.hs b/compiler/typecheck/TcCanonical.hs
index 765abc7c47..c2efeae930 100644
--- a/compiler/typecheck/TcCanonical.hs
+++ b/compiler/typecheck/TcCanonical.hs
@@ -670,7 +670,7 @@ This quantified constraint is needed to solve the
 constraint which arises form the (==) definition.
 
 The wiki page is
-  https://ghc.haskell.org/trac/ghc/wiki/QuantifiedConstraints
+  https://gitlab.haskell.org/ghc/ghc/wikis/quantified-constraints
 which in turn contains a link to the GHC Proposal where the change
 is specified, and a Haskell Symposium paper about it.
 
diff --git a/compiler/typecheck/TcDeriv.hs b/compiler/typecheck/TcDeriv.hs
index 736f44e211..826939d389 100644
--- a/compiler/typecheck/TcDeriv.hs
+++ b/compiler/typecheck/TcDeriv.hs
@@ -2064,7 +2064,7 @@ GHC has a notion of deriving strategies, which allow the user to explicitly
 request which approach to use when deriving an instance (enabled with the
 -XDerivingStrategies language extension). For more information, refer to the
 original issue (#10598) or the associated wiki page:
-https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/DerivingStrategies
+https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/deriving-strategies
 
 A deriving strategy can be specified in a deriving clause:
 
@@ -2105,7 +2105,7 @@ instances instead of "reusing" old instances (by way of `coerce`).
 If an explicit deriving strategy is not given, GHC has an algorithm it uses to
 determine which strategy it will actually use. The algorithm is quite long,
 so it lives in the Haskell wiki at
-https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/DerivingStrategies
+https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/deriving-strategies
 ("The deriving strategy resolution algorithm" section).
 
 Internally, GHC uses the DerivStrategy datatype to denote a user-requested
diff --git a/compiler/typecheck/TcEvidence.hs b/compiler/typecheck/TcEvidence.hs
index b5209a4791..72aed23505 100644
--- a/compiler/typecheck/TcEvidence.hs
+++ b/compiler/typecheck/TcEvidence.hs
@@ -655,7 +655,7 @@ Conclusion: a new wanted coercion variable should be made mutable.
 
 Note [Overview of implicit CallStacks]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-(See https://ghc.haskell.org/trac/ghc/wiki/ExplicitCallStack/ImplicitLocations)
+(See https://gitlab.haskell.org/ghc/ghc/wikis/explicit-call-stack/implicit-locations)
 
 The goal of CallStack evidence terms is to reify locations
 in the program source as runtime values, without any support
diff --git a/compiler/typecheck/TcGenFunctor.hs b/compiler/typecheck/TcGenFunctor.hs
index 240fc27103..c2cdef412a 100644
--- a/compiler/typecheck/TcGenFunctor.hs
+++ b/compiler/typecheck/TcGenFunctor.hs
@@ -1052,7 +1052,7 @@ that is syntactically equivalent to the last type parameter, so only E1's
 argument will be folded over in a derived Foldable instance.
 
 See #10447 for the original discussion on this feature. Also see
-https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/DeriveFunctor
+https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/derive-functor
 for a more in-depth explanation.
 
 Note [FFoldType and functorLikeTraverse]
diff --git a/compiler/typecheck/TcGenGenerics.hs b/compiler/typecheck/TcGenGenerics.hs
index 8e328b0eed..ecf0d8b76d 100644
--- a/compiler/typecheck/TcGenGenerics.hs
+++ b/compiler/typecheck/TcGenGenerics.hs
@@ -890,7 +890,7 @@ mark it. As a result, before we can generate K1 or unK1, we must first check
 to see if the type is actually one of the unlifted types for which URec has a
 data family instance; if so, we generate that instead.
 
-See wiki:Commentary/Compiler/GenericDeriving#Handlingunliftedtypes for more
+See wiki:commentary/compiler/generic-deriving#handling-unlifted-types for more
 details on why URec is implemented the way it is.
 
 Note [Generating a correctly typed Rep instance]
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs
index a31561100d..ce9cca7d86 100644
--- a/compiler/typecheck/TcMType.hs
+++ b/compiler/typecheck/TcMType.hs
@@ -383,7 +383,7 @@ holes should
 By defining ExpType, separately from Type, we can achieve goals 1 and 2
 statically.
 
-See also [wiki:Typechecking]
+See also [wiki:typechecking]
 
 Note [TcLevel of ExpType]
 ~~~~~~~~~~~~~~~~~~~~~~~~~
@@ -2200,7 +2200,7 @@ See Note [Levity polymorphism checking] in DsMonad
 -}
 
 -- | According to the rules around representation polymorphism
--- (see https://ghc.haskell.org/trac/ghc/wiki/NoSubKinds), no binder
+-- (see https://gitlab.haskell.org/ghc/ghc/wikis/no-sub-kinds), no binder
 -- can have a representation-polymorphic type. This check ensures
 -- that we respect this rule. It is a bit regrettable that this error
 -- occurs in zonking, after which we should have reported all errors.
diff --git a/compiler/typecheck/TcRnDriver.hs b/compiler/typecheck/TcRnDriver.hs
index 60ff3335dd..00765b6a2f 100644
--- a/compiler/typecheck/TcRnDriver.hs
+++ b/compiler/typecheck/TcRnDriver.hs
@@ -4,7 +4,7 @@
 
 \section[TcRnDriver]{Typechecking a whole module}
 
-https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TypeChecker
+https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/type-checker
 -}
 
 {-# LANGUAGE CPP #-}
diff --git a/compiler/typecheck/TcRnTypes.hs b/compiler/typecheck/TcRnTypes.hs
index bfedaf2ccc..2a2f05eea5 100644
--- a/compiler/typecheck/TcRnTypes.hs
+++ b/compiler/typecheck/TcRnTypes.hs
@@ -3768,7 +3768,7 @@ pprCtOrigin (Shouldn'tHappenOrigin note)
     else
     vcat [ text "<< This should not appear in error messages. If you see this"
          , text "in an error message, please report a bug mentioning" <+> quotes (text note) <+> text "at"
-         , text "https://ghc.haskell.org/trac/ghc/wiki/ReportABug >>" ]
+         , text "https://gitlab.haskell.org/ghc/ghc/wikis/report-a-bug >>" ]
 
 pprCtOrigin (ProvCtxtOrigin PSB{ psb_id = (L _ name) })
   = hang (ctoHerald <+> text "the \"provided\" constraints claimed by")
diff --git a/compiler/typecheck/TcTypeNats.hs b/compiler/typecheck/TcTypeNats.hs
index 24e12cd15c..8588576acb 100644
--- a/compiler/typecheck/TcTypeNats.hs
+++ b/compiler/typecheck/TcTypeNats.hs
@@ -69,7 +69,7 @@ type-level literals.
 
 See also the Wiki page:
 
-    https://ghc.haskell.org/trac/ghc/wiki/TypeNats
+    https://gitlab.haskell.org/ghc/ghc/wikis/type-nats
 
 Note [Adding built-in type families]
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~