diff options
Diffstat (limited to 'compiler')
45 files changed, 61 insertions, 61 deletions
diff --git a/compiler/Makefile b/compiler/Makefile index 691448279f..514b345dd3 100644 --- a/compiler/Makefile +++ b/compiler/Makefile @@ -5,8 +5,8 @@ # This file is part of the GHC build system. # # To understand how the build system works and how to modify it, see -# http://ghc.haskell.org/trac/ghc/wiki/Building/Architecture -# http://ghc.haskell.org/trac/ghc/wiki/Building/Modifying +# https://gitlab.haskell.org/ghc/ghc/wikis/building/architecture +# https://gitlab.haskell.org/ghc/ghc/wikis/building/modifying # # ----------------------------------------------------------------------------- diff --git a/compiler/basicTypes/MkId.hs b/compiler/basicTypes/MkId.hs index 85e4905305..51abac134f 100644 --- a/compiler/basicTypes/MkId.hs +++ b/compiler/basicTypes/MkId.hs @@ -1571,7 +1571,7 @@ It is only effective if the one-shot info survives as long as possible; in particular it must make it into the interface in unfoldings. See Note [Preserve OneShotInfo] in CoreTidy. -Also see https://ghc.haskell.org/trac/ghc/wiki/OneShot. +Also see https://gitlab.haskell.org/ghc/ghc/wikis/one-shot. Note [magicDictId magic] diff --git a/compiler/basicTypes/Module.hs b/compiler/basicTypes/Module.hs index 9c9547fef1..f5b65e7638 100644 --- a/compiler/basicTypes/Module.hs +++ b/compiler/basicTypes/Module.hs @@ -177,7 +177,7 @@ import {-# SOURCE #-} Packages (componentIdString, improveUnitId, PackageConfigM -- Unit IDs, installed package IDs, ABI hashes, package names, -- versions, there are a *lot* of different identifiers for closely -- related things. What do they all mean? Here's what. (See also --- https://ghc.haskell.org/trac/ghc/wiki/Commentary/Packages/Concepts ) +-- https://gitlab.haskell.org/ghc/ghc/wikis/commentary/packages/concepts ) -- -- THE IMPORTANT ONES -- diff --git a/compiler/basicTypes/RdrName.hs b/compiler/basicTypes/RdrName.hs index 3dfe916b83..eabbaae7f9 100644 --- a/compiler/basicTypes/RdrName.hs +++ b/compiler/basicTypes/RdrName.hs @@ -1216,7 +1216,7 @@ bestImport iss {- Note [Choosing the best import declaration] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ When reporting unused import declarations we use the following rules. - (see [wiki:Commentary/Compiler/UnusedImports]) + (see [wiki:commentary/compiler/unused-imports]) Say that an import-item is either * an entire import-all decl (eg import Foo), or diff --git a/compiler/basicTypes/Unique.hs b/compiler/basicTypes/Unique.hs index b5c0fcec58..adb23e0224 100644 --- a/compiler/basicTypes/Unique.hs +++ b/compiler/basicTypes/Unique.hs @@ -223,11 +223,11 @@ use `deriving' because we want {\em precise} control of ordering -- -- As such, to get deterministic builds, the order of the allocated -- @Uniques@ should not affect the final result. --- see also wiki/DeterministicBuilds +-- see also wiki/deterministic-builds -- -- Note [Unique Determinism and code generation] -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ --- The goal of the deterministic builds (wiki/DeterministicBuilds, #4012) +-- The goal of the deterministic builds (wiki/deterministic-builds, #4012) -- is to get ABI compatible binaries given the same inputs and environment. -- The motivation behind that is that if the ABI doesn't change the -- binaries can be safely reused. diff --git a/compiler/cmm/CLabel.hs b/compiler/cmm/CLabel.hs index 73ca36c848..bc26490700 100644 --- a/compiler/cmm/CLabel.hs +++ b/compiler/cmm/CLabel.hs @@ -760,7 +760,7 @@ hasCAF _ = False -- ----------------------------------------------------------------------------- -- Does a CLabel need declaring before use or not? -- --- See wiki:Commentary/Compiler/Backends/PprC#Prototypes +-- See wiki:commentary/compiler/backends/ppr-c#prototypes needsCDecl :: CLabel -> Bool -- False <=> it's pre-declared; don't bother diff --git a/compiler/cmm/PprC.hs b/compiler/cmm/PprC.hs index bd019b13a8..c8b9ef76e2 100644 --- a/compiler/cmm/PprC.hs +++ b/compiler/cmm/PprC.hs @@ -8,7 +8,7 @@ -- -- Print Cmm as real C, for -fvia-C -- --- See wiki:Commentary/Compiler/Backends/PprC +-- See wiki:commentary/compiler/backends/ppr-c -- -- This is simpler than the old PprAbsC, because Cmm is "macro-expanded" -- relative to the old AbstractC, and many oddities/decorations have @@ -240,7 +240,7 @@ pprStmt stmt = cast_fn = parens (cCast (pprCFunType (char '*') cconv hresults hargs) fn) - -- See wiki:Commentary/Compiler/Backends/PprC#Prototypes + -- See wiki:commentary/compiler/backends/ppr-c#prototypes fnCall = case fn of CmmLit (CmmLabel lbl) diff --git a/compiler/cmm/cmm-notes b/compiler/cmm/cmm-notes index 136ac38544..e2fb819222 100644 --- a/compiler/cmm/cmm-notes +++ b/compiler/cmm/cmm-notes @@ -65,9 +65,9 @@ Things to do: - See "CAFs" below; we want to totally refactor the way SRTs are calculated
- - Garbage-collect http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/CPS
+ - Garbage-collect https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/cps
moving good stuff into
- http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/NewCodeGenPipeline
+ https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/new-code-gen-pipeline
- Currently AsmCodeGen top level calls AsmCodeGen.cmmToCmm, which is a small
C-- optimiser. It has quite a lot of boilerplate folding code in AsmCodeGen
diff --git a/compiler/codeGen/StgCmmTicky.hs b/compiler/codeGen/StgCmmTicky.hs index e673d216b2..868b52f402 100644 --- a/compiler/codeGen/StgCmmTicky.hs +++ b/compiler/codeGen/StgCmmTicky.hs @@ -11,7 +11,7 @@ {- OVERVIEW: ticky ticky profiling Please see -http://ghc.haskell.org/trac/ghc/wiki/Debugging/TickyTicky and also +https://gitlab.haskell.org/ghc/ghc/wikis/debugging/ticky-ticky and also edit it and the rest of this comment to keep them up-to-date if you change ticky-ticky. Thanks! diff --git a/compiler/coreSyn/CoreLint.hs b/compiler/coreSyn/CoreLint.hs index c29c113b54..8c85685d29 100644 --- a/compiler/coreSyn/CoreLint.hs +++ b/compiler/coreSyn/CoreLint.hs @@ -159,7 +159,7 @@ find an occurrence of an Id, we fetch it from the in-scope set. Note [Bad unsafe coercion] ~~~~~~~~~~~~~~~~~~~~~~~~~~ -For discussion see https://ghc.haskell.org/trac/ghc/wiki/BadUnsafeCoercions +For discussion see https://gitlab.haskell.org/ghc/ghc/wikis/bad-unsafe-coercions Linter introduces additional rules that checks improper coercion between different types, called bad coercions. Following coercions are forbidden: diff --git a/compiler/deSugar/Check.hs b/compiler/deSugar/Check.hs index 0142c34409..57ddfc0d89 100644 --- a/compiler/deSugar/Check.hs +++ b/compiler/deSugar/Check.hs @@ -280,7 +280,7 @@ instance Monoid PartialResult where -- More details about the classification of clauses into useful, redundant -- and with inaccessible right hand side can be found here: -- --- https://ghc.haskell.org/trac/ghc/wiki/PatternMatchCheck +-- https://gitlab.haskell.org/ghc/ghc/wikis/pattern-match-check -- data PmResult = PmResult { diff --git a/compiler/deSugar/DsBinds.hs b/compiler/deSugar/DsBinds.hs index cf94a5edf3..a87a4bbcbb 100644 --- a/compiler/deSugar/DsBinds.hs +++ b/compiler/deSugar/DsBinds.hs @@ -530,7 +530,7 @@ thought! Note [Desugar Strict binds] ~~~~~~~~~~~~~~~~~~~~~~~~~~~ -See https://ghc.haskell.org/trac/ghc/wiki/StrictPragma +See https://gitlab.haskell.org/ghc/ghc/wikis/strict-pragma Desugaring strict variable bindings looks as follows (core below ==>) @@ -598,7 +598,7 @@ tuple `t`, thus: in tm `seq` <body> -See https://ghc.haskell.org/trac/ghc/wiki/StrictPragma for a more +See https://gitlab.haskell.org/ghc/ghc/wikis/strict-pragma for a more detailed explanation of the desugaring of strict bindings. Note [Strict binds checks] diff --git a/compiler/ghc.mk b/compiler/ghc.mk index 64615a3c9b..6cd774744d 100644 --- a/compiler/ghc.mk +++ b/compiler/ghc.mk @@ -5,8 +5,8 @@ # This file is part of the GHC build system. # # To understand how the build system works and how to modify it, see -# http://ghc.haskell.org/trac/ghc/wiki/Building/Architecture -# http://ghc.haskell.org/trac/ghc/wiki/Building/Modifying +# https://gitlab.haskell.org/ghc/ghc/wikis/building/architecture +# https://gitlab.haskell.org/ghc/ghc/wikis/building/modifying # # ----------------------------------------------------------------------------- diff --git a/compiler/ghci/GHCi.hs b/compiler/ghci/GHCi.hs index 579053999f..7ec07fec78 100644 --- a/compiler/ghci/GHCi.hs +++ b/compiler/ghci/GHCi.hs @@ -117,7 +117,7 @@ use a different "way", e.g. profiled or dynamic. This means taking the performance hit on the compiler that profiling would entail. -For other reasons see RemoteGHCi on the wiki. +For other reasons see remote-GHCi on the wiki. Implementation Overview ~~~~~~~~~~~~~~~~~~~~~~~ @@ -152,7 +152,7 @@ message if it is used with -fexternal-interpreter. Other Notes on Remote GHCi ~~~~~~~~~~~~~~~~~~~~~~~~~~ * This wiki page has an implementation overview: - https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/ExternalInterpreter + https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/external-interpreter * Note [External GHCi pointers] in compiler/ghci/GHCi.hs * Note [Remote Template Haskell] in libraries/ghci/GHCi/TH.hs -} diff --git a/compiler/hsSyn/HsDecls.hs b/compiler/hsSyn/HsDecls.hs index d4742f5052..c194c2e21a 100644 --- a/compiler/hsSyn/HsDecls.hs +++ b/compiler/hsSyn/HsDecls.hs @@ -784,7 +784,7 @@ pprTyClDeclFlavour (XTyClDecl x) = ppr x We kind-check declarations differently if they have a complete, user-supplied kind signature (CUSK). This is because we can safely generalise a CUSKed declaration before checking all of the others, supporting polymorphic recursion. -See ghc.haskell.org/trac/ghc/wiki/GhcKinds/KindInference#Proposednewstrategy +See https://gitlab.haskell.org/ghc/ghc/wikis/ghc-kinds/kind-inference#proposed-new-strategy and #9200 for lots of discussion of how we got here. PRINCIPLE: diff --git a/compiler/hsSyn/HsExtension.hs b/compiler/hsSyn/HsExtension.hs index f5e3133788..1bebec0896 100644 --- a/compiler/hsSyn/HsExtension.hs +++ b/compiler/hsSyn/HsExtension.hs @@ -32,7 +32,7 @@ import Data.Kind Note [Trees that grow] ~~~~~~~~~~~~~~~~~~~~~~ -See https://ghc.haskell.org/trac/ghc/wiki/ImplementingTreesThatGrow +See https://gitlab.haskell.org/ghc/ghc/wikis/implementing-trees-that-grow The hsSyn AST is reused across multiple compiler passes. We also have the Template Haskell AST, and the haskell-src-exts one (outside of GHC) diff --git a/compiler/iface/IfaceSyn.hs b/compiler/iface/IfaceSyn.hs index b066f5cf37..8ffa337946 100644 --- a/compiler/iface/IfaceSyn.hs +++ b/compiler/iface/IfaceSyn.hs @@ -377,7 +377,7 @@ data IfaceIdDetails {- Note [Versioning of instances] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -See [http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/RecompilationAvoidance#Instances] +See [https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/recompilation-avoidance#instances] ************************************************************************ diff --git a/compiler/iface/MkIface.hs b/compiler/iface/MkIface.hs index 440f89fb4c..40b6d025a1 100644 --- a/compiler/iface/MkIface.hs +++ b/compiler/iface/MkIface.hs @@ -34,7 +34,7 @@ module MkIface ( A complete description of how recompilation checking works can be found in the wiki commentary: - http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/RecompilationAvoidance + https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/recompilation-avoidance Please read the above page for a top-down description of how this all works. Notes below cover specific issues related to the implementation. @@ -645,7 +645,7 @@ addFingerprints hsc_env mb_old_fingerprint iface0 new_decls -- See Note [Export hash depends on non-orphan family instances] dep_finsts (mi_deps iface0), -- dep_pkgs: see "Package Version Changes" on - -- wiki/Commentary/Compiler/RecompilationAvoidance + -- wiki/commentary/compiler/recompilation-avoidance mi_trust iface0) -- Make sure change of Safe Haskell mode causes recomp. diff --git a/compiler/iface/TcIface.hs b/compiler/iface/TcIface.hs index 732ee1b61a..5c3b64af0f 100644 --- a/compiler/iface/TcIface.hs +++ b/compiler/iface/TcIface.hs @@ -1630,7 +1630,7 @@ tcIfaceGlobal name -- -- There is also a wiki page on the subject, see: -- --- https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/TyingTheKnot +-- https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/tying-the-knot -- Note [Knot-tying fallback on boot] -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ diff --git a/compiler/main/DynFlags.hs b/compiler/main/DynFlags.hs index fdc83fa94e..0783189aaf 100644 --- a/compiler/main/DynFlags.hs +++ b/compiler/main/DynFlags.hs @@ -322,7 +322,7 @@ import Foreign (Ptr) -- needed for 2nd stage -- * Adding the flag to the GHC Wiki -- -- There is a change log tracking language extension additions and removals --- on the GHC wiki: https://ghc.haskell.org/trac/ghc/wiki/LanguagePragmaHistory +-- on the GHC wiki: https://gitlab.haskell.org/ghc/ghc/wikis/language-pragma-history -- -- See #4437 and #8176. @@ -5549,7 +5549,7 @@ picCCOpts dflags = pieOpts ++ picOpts -- otherwise things like stub.c files don't get compiled -- correctly. They need to reference data in the Haskell -- objects, but can't without -fPIC. See - -- http://ghc.haskell.org/trac/ghc/wiki/Commentary/PositionIndependentCode + -- https://gitlab.haskell.org/ghc/ghc/wikis/commentary/position-independent-code | gopt Opt_PIC dflags || WayDyn `elem` ways dflags -> ["-fPIC", "-U__PIC__", "-D__PIC__"] -- gcc may be configured to have PIC on by default, let's be diff --git a/compiler/main/HscTypes.hs b/compiler/main/HscTypes.hs index add0ee95d2..6772668420 100644 --- a/compiler/main/HscTypes.hs +++ b/compiler/main/HscTypes.hs @@ -2404,7 +2404,7 @@ noDependencies :: Dependencies noDependencies = Deps [] [] [] [] [] -- | Records modules for which changes may force recompilation of this module --- See wiki: http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/RecompilationAvoidance +-- See wiki: https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/recompilation-avoidance -- -- This differs from Dependencies. A module X may be in the dep_mods of this -- module (via an import chain) but if we don't use anything from X it won't diff --git a/compiler/main/Plugins.hs b/compiler/main/Plugins.hs index 585eab1e45..93297522db 100644 --- a/compiler/main/Plugins.hs +++ b/compiler/main/Plugins.hs @@ -120,7 +120,7 @@ data Plugin = Plugin { -- is supported by most build environment. -- -- For the full discussion, check the full proposal at: --- https://ghc.haskell.org/trac/ghc/wiki/ExtendedPluginsProposal +-- https://gitlab.haskell.org/ghc/ghc/wikis/extended-plugins-proposal data PluginWithArgs = PluginWithArgs { paPlugin :: Plugin diff --git a/compiler/main/TidyPgm.hs b/compiler/main/TidyPgm.hs index 6e84530193..ba9cd79e3d 100644 --- a/compiler/main/TidyPgm.hs +++ b/compiler/main/TidyPgm.hs @@ -234,8 +234,8 @@ Plan B: include pragmas, make interfaces Note [Choosing external Ids] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ See also the section "Interface stability" in the -RecompilationAvoidance commentary: - http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/RecompilationAvoidance +recompilation-avoidance commentary: + https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/recompilation-avoidance First we figure out which Ids are "external" Ids. An "external" Id is one that is visible from outside the compilation diff --git a/compiler/nativeGen/BlockLayout.hs b/compiler/nativeGen/BlockLayout.hs index 51ff34d028..8904b4113b 100644 --- a/compiler/nativeGen/BlockLayout.hs +++ b/compiler/nativeGen/BlockLayout.hs @@ -52,7 +52,7 @@ import qualified Data.Set as Set ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ For additional information also look at - https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/CodeLayout + https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/code-layout We have a CFG with edge weights based on which we try to place blocks next to each other. diff --git a/compiler/nativeGen/X86/Ppr.hs b/compiler/nativeGen/X86/Ppr.hs index 6ecd4cd170..4f5a5f273e 100644 --- a/compiler/nativeGen/X86/Ppr.hs +++ b/compiler/nativeGen/X86/Ppr.hs @@ -212,7 +212,7 @@ pprLabelType' dflags lbl = " A good place to check for more - https://ghc.haskell.org/trac/ghc/wiki/Commentary/PositionIndependentCode + https://gitlab.haskell.org/ghc/ghc/wikis/commentary/position-independent-code Another possible hack is to create an extra local function symbol for every code-like thing to give the needed information for to the tools diff --git a/compiler/parser/ApiAnnotation.hs b/compiler/parser/ApiAnnotation.hs index 6ae01d6fe0..bfb39c8f7b 100644 --- a/compiler/parser/ApiAnnotation.hs +++ b/compiler/parser/ApiAnnotation.hs @@ -125,7 +125,7 @@ until later. 'allocateComments' in 'Lexer' is responsible for making sure we only attach comments that actually fit in the 'SrcSpan'.) The wiki page describing this feature is -https://ghc.haskell.org/trac/ghc/wiki/ApiAnnotations +https://gitlab.haskell.org/ghc/ghc/wikis/api-annotations -} -- --------------------------------------------------------------------- @@ -188,7 +188,7 @@ getAndRemoveAnnotationComments (anns,canns) span = -- @'DynFlags.DynFlags'@ before parsing. -- -- The wiki page describing this feature is --- https://ghc.haskell.org/trac/ghc/wiki/ApiAnnotations +-- https://gitlab.haskell.org/ghc/ghc/wikis/api-annotations -- -- Note: in general the names of these are taken from the -- corresponding token, unless otherwise noted diff --git a/compiler/parser/Lexer.x b/compiler/parser/Lexer.x index 7c08ceab78..6feb06b586 100644 --- a/compiler/parser/Lexer.x +++ b/compiler/parser/Lexer.x @@ -13,7 +13,7 @@ -- References: -- [1] https://www.haskell.org/onlinereport/haskell2010/haskellch2.html -- [2] http://www.haskell.org/alex/ --- [3] https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Parser +-- [3] https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/parser -- ----------------------------------------------------------------------------- diff --git a/compiler/parser/Parser.y b/compiler/parser/Parser.y index ed326eb730..469e02d0a6 100644 --- a/compiler/parser/Parser.y +++ b/compiler/parser/Parser.y @@ -394,8 +394,8 @@ structured editors. The helper functions are defined at the bottom of this file. See - https://ghc.haskell.org/trac/ghc/wiki/ApiAnnotations and - https://ghc.haskell.org/trac/ghc/wiki/GhcAstAnnotations + https://gitlab.haskell.org/ghc/ghc/wikis/api-annotations and + https://gitlab.haskell.org/ghc/ghc/wikis/ghc-ast-annotations for some background. If you modify the parser and want to ensure that the API annotations are processed diff --git a/compiler/prelude/primops.txt.pp b/compiler/prelude/primops.txt.pp index 6a1be8a486..bfa1ffd7b6 100644 --- a/compiler/prelude/primops.txt.pp +++ b/compiler/prelude/primops.txt.pp @@ -5,7 +5,7 @@ -- Primitive Operations and Types -- -- For more information on PrimOps, see --- http://ghc.haskell.org/trac/ghc/wiki/Commentary/PrimOps +-- https://gitlab.haskell.org/ghc/ghc/wikis/commentary/prim-ops -- ----------------------------------------------------------------------- @@ -18,7 +18,7 @@ -- Information on how PrimOps are implemented and the steps necessary to -- add a new one can be found in the Commentary: -- --- http://ghc.haskell.org/trac/ghc/wiki/Commentary/PrimOps +-- https://gitlab.haskell.org/ghc/ghc/wikis/commentary/prim-ops -- -- Note in particular that Haskell block-style comments are not recognized -- here, so stick to '--' (even for Notes spanning multiple lines). diff --git a/compiler/rename/RnNames.hs b/compiler/rename/RnNames.hs index ba0b5f3e26..7c0c6759ea 100644 --- a/compiler/rename/RnNames.hs +++ b/compiler/rename/RnNames.hs @@ -1303,7 +1303,7 @@ warnMissingSignatures gbl_env This code finds which import declarations are unused. The specification and implementation notes are here: - http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/UnusedImports + https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/unused-imports See also Note [Choosing the best import declaration] in RdrName -} diff --git a/compiler/rename/RnSplice.hs b/compiler/rename/RnSplice.hs index 1d5c68fd5b..522f8dda00 100644 --- a/compiler/rename/RnSplice.hs +++ b/compiler/rename/RnSplice.hs @@ -525,7 +525,7 @@ global environment and exposes the current local environment to them [4, 5, 6]. References: -[1] https://ghc.haskell.org/trac/ghc/wiki/TemplateHaskell/Reify +[1] https://gitlab.haskell.org/ghc/ghc/wikis/template-haskell/reify [2] 'rnSpliceExpr' [3] 'TcSplice.qAddModFinalizer' [4] 'TcExpr.tcExpr' ('HsSpliceE' ('HsSpliced' ...)) diff --git a/compiler/simplStg/StgLiftLams.hs b/compiler/simplStg/StgLiftLams.hs index db85b994cf..c3a9c8a478 100644 --- a/compiler/simplStg/StgLiftLams.hs +++ b/compiler/simplStg/StgLiftLams.hs @@ -17,7 +17,7 @@ import qualified StgLiftLams.Transformation as Transformation -- Note [Late lambda lifting in STG] -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -- $note --- See also the <https://ghc.haskell.org/trac/ghc/wiki/LateLamLift wiki page> +-- See also the <https://gitlab.haskell.org/ghc/ghc/wikis/late-lam-lift wiki page> -- and #9476. -- -- The basic idea behind lambda lifting is to turn locally defined functions diff --git a/compiler/simplStg/StgLiftLams/Analysis.hs b/compiler/simplStg/StgLiftLams/Analysis.hs index 3cdbfcbb3f..c2d4dfdb7c 100644 --- a/compiler/simplStg/StgLiftLams/Analysis.hs +++ b/compiler/simplStg/StgLiftLams/Analysis.hs @@ -81,7 +81,7 @@ import Data.Maybe ( mapMaybe ) -- "StgLiftLams.Analysis#clogro" and is what most of this module is ultimately -- concerned with. -- --- There's a <https://ghc.haskell.org/trac/ghc/wiki/LateLamLift wiki page> with +-- There's a <https://gitlab.haskell.org/ghc/ghc/wikis/late-lam-lift wiki page> with -- some more background and history. -- Note [Estimating closure growth] @@ -102,7 +102,7 @@ import Data.Maybe ( mapMaybe ) -- -- A more detailed treatment of computing closure growth, including examples, -- can be found in the paper referenced from the --- <https://ghc.haskell.org/trac/ghc/wiki/LateLamLift wiki page>. +-- <https://gitlab.haskell.org/ghc/ghc/wikis/late-lam-lift wiki page>. llTrace :: String -> SDoc -> a -> a llTrace _ _ c = c diff --git a/compiler/stgSyn/CoreToStg.hs b/compiler/stgSyn/CoreToStg.hs index 1cb02bfb19..7f60bb21d2 100644 --- a/compiler/stgSyn/CoreToStg.hs +++ b/compiler/stgSyn/CoreToStg.hs @@ -115,7 +115,7 @@ import Control.Monad (liftM, ap) -- bitmap in each info table describing which entries of this table the closure -- references. -- --- See also: Commentary/Rts/Storage/GC/CAFs on the GHC Wiki. +-- See also: commentary/rts/storage/gc/CAFs on the GHC Wiki. -- Note [What is a non-escaping let] -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 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] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ diff --git a/compiler/types/TyCoRep.hs b/compiler/types/TyCoRep.hs index dc64ce139a..c90f54d8db 100644 --- a/compiler/types/TyCoRep.hs +++ b/compiler/types/TyCoRep.hs @@ -1437,7 +1437,7 @@ Note [Roles] ~~~~~~~~~~~~ Roles are a solution to the GeneralizedNewtypeDeriving problem, articulated in #1496. The full story is in docs/core-spec/core-spec.pdf. Also, see -http://ghc.haskell.org/trac/ghc/wiki/RolesImplementation +https://gitlab.haskell.org/ghc/ghc/wikis/roles-implementation Here is one way to phrase the problem: diff --git a/compiler/utils/Fingerprint.hsc b/compiler/utils/Fingerprint.hsc index 01de554869..377a378bb9 100644 --- a/compiler/utils/Fingerprint.hsc +++ b/compiler/utils/Fingerprint.hsc @@ -6,7 +6,7 @@ -- -- Fingerprints for recompilation checking and ABI versioning. -- --- http://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/RecompilationAvoidance +-- https://gitlab.haskell.org/ghc/ghc/wikis/commentary/compiler/recompilation-avoidance -- -- ---------------------------------------------------------------------------- |