Zubin pushed to branch wip/romes/25890 at Glasgow Haskell Compiler / GHC

Commits:

• 4a122bb6
  by Phil Hazelden at 2026-04-08T20:49:42-04:00

  Implement modifiers syntax.
  
  The `%m` syntax of linear types is now accepted in more places, to allow
  use by future extensions, though so far linear types is still the only
  consumer.
  
  This may break existing code where it
  
  * Uses -XLinearTypes.
  * Has code of the form `a %m -> b`, where `m` can't be inferred to be
    kind Multiplicity.
  
  The code can be fixed either by adding a kind annotation, or by setting
  `-XLinearTypes -XNoModifiers`.
  
  Proposal:
  https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0370-modifiers.rst
  

• 07267f79
  by Zubin Duggal at 2026-04-08T20:50:25-04:00

  hadrian: Don't include the package hash in the haddock directory
  
  Since GHC 9.8 and hash_unit_ids, haddock urls have looked like`ghc-9.10.3/doc/html/libraries/base-4.20.2.0-39f9/**/*.html`
  
  The inclusion of the hash makes it hard for downstream non-boot packages to properly link to these files, as the hash is not
  part of a standard cabal substitution.
  
  Since we only build one version of each package, we don't need the hash to disambiguate anything, we can just remove it.
  
  Fixes #26635
  

• 0a83b95b
  by ARATA Mizuki at 2026-04-08T20:51:18-04:00

  testsuite: Allow multiple ways to be run by setting multiple command-line options
  
  This patch allows multiple `--test-way`s to take effect, like:
  
  $ hadrian/build test --test-way=normal --test-way=llvm
  
  Previously, only one way was run if the test speed was 'normal' or 'fast'.
  
  Closes #26926
  
  Co-authored-by: sheaf <sam.derbyshire@gmail.com>
  

• e841931c
  by Teo Camarasu at 2026-04-08T20:52:00-04:00

  doc: improve eventlog-flush-interval flag documentation
  
  We mention the performance cost and how this flag can be turned off.
  
  Resolves #27056
  

• e332db25
  by Teo Camarasu at 2026-04-08T20:52:01-04:00

  docs/user_guide: fix typo
  

• 5b82080a
  by Simon Jakobi at 2026-04-08T20:52:44-04:00

  Fix -dsuppress-uniques for free variables in demand signatures
  
  Before:          Str=b{sXyZ->S}
  With this patch: Str=b{S}
  
  T13143.stderr is updated accordingly.
  
  Fixes #27106.
  

• b7a084cc
  by Simon Jakobi at 2026-04-08T20:53:27-04:00

  Documentation fixes for demand signature notation
  
  Fixes #27115.
  

• 59391132
  by Simon Jakobi at 2026-04-08T20:54:08-04:00

  Use upsert for non-deleting map updates
  
  Some compiler functions were using `alter`, despite never removing
  any entries: they only update an existing entry or insert a new one.
  
  These functions are converted to using `upsert`:
  
      alter  :: (Maybe a -> Maybe a) -> Key -> Map a -> Map a
      upsert :: (Maybe a ->       a) -> Key -> Map a -> Map a
  
  `upsert` variants are also added to APIs of the various Word64Map
  wrapper types.
  
  The precedent for this `upsert` operation is in the containers library:
  see https://github.com/haskell/containers/pull/1145
  
      Metrics: compile_time/bytes allocated
      -------------------------------------
  
          geo. mean:    -0.1%
          minimum:      -0.5%
          maximum:      +0.0%
  
  Resolves #27140.
  

• da7e82f4
  by Cheng Shao at 2026-04-08T20:54:49-04:00

  testsuite: fix testsuite run for +ipe again
  
  This patch makes the +ipe flavour transformer pass the entire
  testsuite again by dropping stdout/stderr checks of certain tests that
  are sensitive to stack layout changes with `+ipe`. Related: #26799.
  

• b135a87d
  by Zubin Duggal at 2026-04-09T19:36:50+05:30

  Bump directory submodule to 1.3.11.0 (unreleased)
  

• 3a291d07
  by Zubin Duggal at 2026-04-09T19:36:50+05:30

  Bump file-io submodule to 0.2.0
  

• e0ab606d
  by Zubin Duggal at 2026-04-10T18:40:20+05:30

  Release notes for GHC 10.0
  

• e08b9b34
  by Zubin Duggal at 2026-04-10T18:40:20+05:30

  Bump ghc-prim version to 0.14.0
  

• a92aac6e
  by Zubin Duggal at 2026-04-10T18:40:20+05:30

  Bump template-haskell to 2.25.0.0; update submodule exceptions for TH 2.25
  

• f254d9e8
  by Zubin Duggal at 2026-04-10T18:40:20+05:30

  Bump GHC version to 10.0
  

• 6ce0368a
  by Zubin Duggal at 2026-04-10T18:40:28+05:30

  Bump base to 4.23.0.0; update submodules for base 4.24 upper bound
  

• 702fb8a5
  by Zubin Duggal at 2026-04-10T18:40:28+05:30

  Bump GHC version to 10.1; update submodules template-haskell-lift and template-haskell-quasiquoter for ghc-internal 10.200
  

• 75df1ca4
  by Zubin Duggal at 2026-04-10T18:40:28+05:30

  Use changelog.d for release notes (#26002)
  
  GHC now uses a fragment-based changelog workflow using a custom script adapted from https://codeberg.org/fgaz/changelog-d.
  
  Contributors add a file in changelog.d/ for each user-facing change.
  At release time, these are assembled into release notes for sphinx (in RST) format, using
  the tool.
  
  New hadrian `changelog` target to generate changelogs
  
  CI job to validate changelog entries for MRs unless skipped with ~"no-changelog" label
  
  Teach sphinx about ghc-mr: extlink to link to MRs
  
  Remove `ghc-package-list` from sphinx, and implement it in changelog-d instead (Fixes #26476).
  
  (cherry picked from commit 989c07249978f418dfde1353abfad453f024d61a)
  

• 585d7450
  by Luite Stegeman at 2026-04-11T02:17:13-04:00

  tc: discard warnings in tcUserStmt Plan C
  
  We typecheck let_stmt twice, but we don't want the warnings twice!
  
  see #26233
  

• 2df604e9
  by Sylvain Henry at 2026-04-11T02:19:30-04:00

  Introduce TargetInt to represent target's Int (#15973)
  
  GHC was using host 'Int' in several places to represent values that
  live in the target machine's 'Int' type.  This is silently wrong when
  cross-compiling from a 32-bit host to a 64-bit target: the host Int
  is 32 bits while the target Int is 64 bits.
  
  See Note [TargetInt] in GHC.Platform.
  
  Also used the opportunity to make DynTag = Word8.
  
  Fixes #15973
  
  Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
  

• f807a0e1
  by Rodrigo Mesquita at 2026-04-13T17:14:45+05:30

  fix: Toggling -fbreak-points causes recompilation
  
  Fixes #25890
  

290 changed files:

• .gitlab-ci.yml
• .gitlab/issue_templates/release_tracking.md
• .gitlab/merge_request_templates/Default.md
• + changelog.d/changelog-entries
• + changelog.d/config
• compiler/GHC/ByteCode/InfoTable.hs
• compiler/GHC/Cmm/CommonBlockElim.hs
• compiler/GHC/Cmm/Dataflow/Graph.hs
• compiler/GHC/Cmm/Dataflow/Label.hs
• compiler/GHC/Cmm/LayoutStack.hs
• compiler/GHC/Cmm/Utils.hs
• compiler/GHC/CmmToAsm/CFG.hs
• compiler/GHC/Core/Multiplicity.hs
• compiler/GHC/Core/Opt/DmdAnal.hs
• compiler/GHC/Core/Opt/Simplify/Iteration.hs
• compiler/GHC/Core/RoughMap.hs
• compiler/GHC/Core/TyCo/Ppr.hs
• compiler/GHC/Core/TyCon/Env.hs
• compiler/GHC/Core/Unify.hs
• compiler/GHC/Data/FastString/Env.hs
• compiler/GHC/Data/Word64Map/Internal.hs
• compiler/GHC/Data/Word64Map/Lazy.hs
• compiler/GHC/Data/Word64Map/Strict.hs
• compiler/GHC/Data/Word64Map/Strict/Internal.hs
• compiler/GHC/Driver/Flags.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Pat.hs
• compiler/GHC/Hs/Syn/Type.hs
• compiler/GHC/Hs/Type.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/HsToCore/Binds.hs
• compiler/GHC/HsToCore/Docs.hs
• compiler/GHC/HsToCore/Errors/Ppr.hs
• compiler/GHC/HsToCore/Errors/Types.hs
• compiler/GHC/HsToCore/Expr.hs
• compiler/GHC/HsToCore/Match.hs
• compiler/GHC/HsToCore/Pmc/Desugar.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Iface/Type.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Errors/Ppr.hs
• compiler/GHC/Parser/Errors/Types.hs
• compiler/GHC/Parser/Lexer.x
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Parser/Types.hs
• compiler/GHC/Platform.hs
• compiler/GHC/Platform/Tag.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/HsType.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/StgToCmm.hs
• compiler/GHC/StgToCmm/Bind.hs
• compiler/GHC/StgToCmm/Closure.hs
• compiler/GHC/StgToCmm/Env.hs
• compiler/GHC/StgToCmm/Expr.hs
• compiler/GHC/StgToCmm/Foreign.hs
• compiler/GHC/StgToCmm/Heap.hs
• compiler/GHC/StgToCmm/InfoTableProv.hs
• compiler/GHC/StgToCmm/Layout.hs
• compiler/GHC/StgToCmm/Prim.hs
• compiler/GHC/StgToCmm/Prof.hs
• compiler/GHC/StgToCmm/Ticky.hs
• compiler/GHC/StgToCmm/Utils.hs
• compiler/GHC/Tc/Deriv/Generate.hs
• compiler/GHC/Tc/Errors/Ppr.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/App.hs
• compiler/GHC/Tc/Gen/Bind.hs
• compiler/GHC/Tc/Gen/Default.hs
• compiler/GHC/Tc/Gen/Foreign.hs
• compiler/GHC/Tc/Gen/HsType.hs
• compiler/GHC/Tc/Gen/Pat.hs
• compiler/GHC/Tc/Gen/Sig.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Tc/Solver/Types.hs
• compiler/GHC/Tc/TyCl.hs
• compiler/GHC/Tc/TyCl/PatSyn.hs
• compiler/GHC/Tc/Types/Evidence.hs
• compiler/GHC/Tc/Utils/Env.hs
• compiler/GHC/Tc/Zonk/Type.hs
• compiler/GHC/ThToHs.hs
• compiler/GHC/Types/Demand.hs
• compiler/GHC/Types/Error/Codes.hs
• compiler/GHC/Types/Hint.hs
• compiler/GHC/Types/Hint/Ppr.hs
• compiler/GHC/Types/Name/Env.hs
• compiler/GHC/Types/Name/Occurrence.hs
• compiler/GHC/Types/Unique/DFM.hs
• compiler/GHC/Types/Unique/FM.hs
• compiler/GHC/Types/Var/Env.hs
• compiler/GHC/Wasm/ControlFlow/FromCmm.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Decls/Foreign.hs
• compiler/Language/Haskell/Syntax/Expr.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/Language/Haskell/Syntax/Pat.hs
• compiler/Language/Haskell/Syntax/Type.hs
• compiler/ghc.cabal.in
• configure.ac
• − docs/users_guide/10.0.1-notes.rst
• + docs/users_guide/10.2.1-notes.rst
• − docs/users_guide/9.16.1-notes.rst
• docs/users_guide/conf.py
• docs/users_guide/exts/linear_types.rst
• + docs/users_guide/exts/modifiers.rst
• docs/users_guide/exts/syntax.rst
• docs/users_guide/ghc_config.py.in
• − docs/users_guide/ghc_packages.py
• docs/users_guide/release-notes.rst
• docs/users_guide/runtime_control.rst
• docs/users_guide/using-optimisation.rst
• docs/users_guide/using-warnings.rst
• ghc/ghc-bin.cabal.in
• hadrian/bindist/Makefile
• hadrian/hadrian.cabal
• hadrian/src/CommandLine.hs
• hadrian/src/Context.hs
• hadrian/src/Main.hs
• hadrian/src/Packages.hs
• + hadrian/src/Rules/Changelog.hs
• hadrian/src/Rules/Documentation.hs
• hadrian/src/Rules/Test.hs
• hadrian/src/Settings/Builders/Cabal.hs
• hadrian/src/Settings/Default.hs
• libraries/array
• libraries/base/base.cabal.in
• libraries/deepseq
• libraries/directory
• libraries/exceptions
• libraries/file-io
• libraries/filepath
• libraries/ghc-boot-th/ghc-boot-th.cabal.in
• libraries/ghc-boot/ghc-boot.cabal.in
• libraries/ghc-compact/ghc-compact.cabal
• libraries/ghc-experimental/ghc-experimental.cabal.in
• libraries/ghc-experimental/tests/backtraces/all.T
• libraries/ghc-internal/src/GHC/Internal/LanguageExtensions.hs
• libraries/ghc-internal/tests/stack-annotation/all.T
• libraries/ghc-prim/changelog.md
• libraries/ghc-prim/ghc-prim.cabal
• libraries/ghci/ghci.cabal.in
• libraries/haskeline
• libraries/hpc
• libraries/os-string
• libraries/parsec
• libraries/process
• libraries/semaphore-compat
• libraries/stm
• libraries/template-haskell-lift
• libraries/template-haskell-quasiquoter
• libraries/template-haskell/template-haskell.cabal.in
• libraries/terminfo
• libraries/unix
• m4/fp_setup_project_version.m4
• m4/fptools_ghc_version.m4
• testsuite/driver/testlib.py
• testsuite/mk/boilerplate.mk
• testsuite/tests/dmdanal/should_compile/T13143.stderr
• + testsuite/tests/dmdanal/should_compile/T27106.hs
• + testsuite/tests/dmdanal/should_compile/T27106.stderr
• testsuite/tests/dmdanal/should_compile/all.T
• testsuite/tests/driver/T4437.hs
• testsuite/tests/ghc-api/T25121_status.stdout
• testsuite/tests/ghc-api/exactprint/Test20239.stderr
• + testsuite/tests/ghci.debugger/scripts/T25890.hs
• + testsuite/tests/ghci.debugger/scripts/T25890.script
• + testsuite/tests/ghci.debugger/scripts/T25890.stdout
• testsuite/tests/ghci.debugger/scripts/all.T
• + testsuite/tests/ghci/scripts/T26233.script
• + testsuite/tests/ghci/scripts/T26233.stderr
• + testsuite/tests/ghci/scripts/T26233.stdout
• testsuite/tests/ghci/scripts/all.T
• testsuite/tests/haddock/should_compile_flag_haddock/T17544.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T24221.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/haddockLinear.hs
• testsuite/tests/haddock/should_compile_flag_haddock/haddockLinear.stderr
• testsuite/tests/interface-stability/template-haskell-exports.stdout
• testsuite/tests/linear/should_compile/Linear1Rule.hs
• testsuite/tests/linear/should_compile/MultConstructor.hs
• testsuite/tests/linear/should_compile/NonLinearRecord.hs
• testsuite/tests/linear/should_compile/OldList.hs
• testsuite/tests/linear/should_compile/T19400.hs
• testsuite/tests/linear/should_compile/T22546.hs
• testsuite/tests/linear/should_compile/T23025.hs
• testsuite/tests/linear/should_compile/T26332.hs
• testsuite/tests/linear/should_fail/LinearErrOrigin.hs
• testsuite/tests/linear/should_fail/LinearErrOrigin.stderr
• testsuite/tests/linear/should_fail/LinearLet10.hs
• testsuite/tests/linear/should_fail/LinearLet10.stderr
• testsuite/tests/linear/should_fail/LinearPartialSig.hs
• testsuite/tests/linear/should_fail/LinearPartialSig.stderr
• testsuite/tests/linear/should_fail/LinearRole.hs
• + testsuite/tests/linear/should_fail/LinearUnknownModifierKind.hs
• + testsuite/tests/linear/should_fail/LinearUnknownModifierKind.stderr
• testsuite/tests/linear/should_fail/LinearVar.hs
• testsuite/tests/linear/should_fail/LinearVar.stderr
• testsuite/tests/linear/should_fail/T18888_datakinds.hs
• testsuite/tests/linear/should_fail/T18888_datakinds.stderr
• testsuite/tests/linear/should_fail/T19361.hs
• testsuite/tests/linear/should_fail/T19361.stderr
• testsuite/tests/linear/should_fail/T20083.hs
• testsuite/tests/linear/should_fail/T20083.stderr
• testsuite/tests/linear/should_fail/T21278.hs
• testsuite/tests/linear/should_fail/T21278.stderr
• + testsuite/tests/linear/should_fail/TooManyMultiplicities.hs
• + testsuite/tests/linear/should_fail/TooManyMultiplicities.stderr
• + testsuite/tests/linear/should_fail/TooManyMultiplicitiesU.hs
• + testsuite/tests/linear/should_fail/TooManyMultiplicitiesU.stderr
• testsuite/tests/linear/should_fail/all.T
• testsuite/tests/linters/Makefile
• testsuite/tests/linters/all.T
• + testsuite/tests/linters/changelog-d.stdout
• + testsuite/tests/modifiers/Makefile
• + testsuite/tests/modifiers/should_compile/LinearNoModifiers.hs
• + testsuite/tests/modifiers/should_compile/Makefile
• + testsuite/tests/modifiers/should_compile/Modifier1Linear.hs
• + testsuite/tests/modifiers/should_compile/Modifier1Linear.stderr
• + testsuite/tests/modifiers/should_compile/Modifiers.hs
• + testsuite/tests/modifiers/should_compile/Modifiers.stderr
• + testsuite/tests/modifiers/should_compile/ModifiersSuggestLinear.hs
• + testsuite/tests/modifiers/should_compile/ModifiersSuggestLinear.stderr
• + testsuite/tests/modifiers/should_compile/all.T
• + testsuite/tests/modifiers/should_fail/Makefile
• + testsuite/tests/modifiers/should_fail/ModifiersExprUnexpectedInQuote.hs
• + testsuite/tests/modifiers/should_fail/ModifiersExprUnexpectedInQuote.stderr
• + testsuite/tests/modifiers/should_fail/ModifiersForbiddenHere.hs
• + testsuite/tests/modifiers/should_fail/ModifiersForbiddenHere.stderr
• + testsuite/tests/modifiers/should_fail/ModifiersNoExt.hs
• + testsuite/tests/modifiers/should_fail/ModifiersNoExt.stderr
• + testsuite/tests/modifiers/should_fail/ModifiersUnexpectedInQuote.hs
• + testsuite/tests/modifiers/should_fail/ModifiersUnexpectedInQuote.stderr
• + testsuite/tests/modifiers/should_fail/ModifiersUnknownKind.hs
• + testsuite/tests/modifiers/should_fail/ModifiersUnknownKind.stderr
• + testsuite/tests/modifiers/should_fail/all.T
• testsuite/tests/parser/should_compile/DumpParsedAst.stderr
• testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
• testsuite/tests/parser/should_compile/DumpSemis.stderr
• testsuite/tests/parser/should_compile/KindSigs.stderr
• testsuite/tests/parser/should_compile/T14189.stderr
• testsuite/tests/parser/should_compile/T15323.stderr
• testsuite/tests/parser/should_compile/T18834a.stderr
• testsuite/tests/parser/should_compile/T20452.stderr
• testsuite/tests/parser/should_compile/T23315/T23315.stderr
• testsuite/tests/parser/should_fail/T19928.stderr
• testsuite/tests/printer/Makefile
• + testsuite/tests/printer/PprModifiers.hs
• testsuite/tests/printer/T18791.stderr
• testsuite/tests/printer/Test20315.hs
• testsuite/tests/printer/Test20315.stderr
• testsuite/tests/printer/Test24533.stdout
• testsuite/tests/printer/all.T
• testsuite/tests/rename/should_compile/T22478a.hs
• testsuite/tests/typecheck/no_skolem_info/T20232.hs
• testsuite/tests/typecheck/no_skolem_info/T20232.stderr
• + utils/changelog-d/ChangelogD.hs
• + utils/changelog-d/LICENSE
• + utils/changelog-d/README.md
• + utils/changelog-d/changelog-d.cabal
• utils/check-exact/ExactPrint.hs
• utils/check-exact/Main.hs
• utils/check-exact/Transform.hs
• utils/haddock/haddock-api/haddock-api.cabal
• utils/haddock/haddock-api/src/Haddock/Backends/Hoogle.hs
• utils/haddock/haddock-api/src/Haddock/Backends/LaTeX.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Xhtml/Decl.hs
• utils/haddock/haddock-api/src/Haddock/Convert.hs
• utils/haddock/haddock-api/src/Haddock/GhcUtils.hs
• utils/haddock/haddock-api/src/Haddock/Interface/Create.hs
• utils/haddock/haddock-api/src/Haddock/Interface/Rename.hs
• utils/haddock/haddock-api/src/Haddock/Interface/RenameType.hs
• utils/haddock/haddock-api/src/Haddock/InterfaceFile.hs
• utils/haddock/haddock-api/src/Haddock/Types.hs
• utils/haddock/haddock-library/haddock-library.cabal
• utils/haddock/haddock-test/haddock-test.cabal
• utils/haddock/haddock.cabal
• utils/haddock/html-test/src/LinearTypes.hs
• utils/haddock/latex-test/src/LinearTypes/LinearTypes.hs
• utils/hsc2hs

The diff was not included because it is too large.