Alan Zimmerman pushed to branch wip/az/exactprint-annotation-rationalisation at Glasgow Haskell Compiler / GHC

Commits:

• 57c0f32c
  by mangoiv at 2026-07-10T11:08:38-04:00

  driver: enable -finter-module-far-jumps by default
  
  this fixes a compatibility bug with certain binutils/gcc versions where
  we were seeing jump offset overflow errors.
  This commit can probably reverted if we stop supporting the problematic
  binutils/gcc verions (2.44 and 14.2, respectively)
  
  Reolves #26994
  

• 4396a6f2
  by Andrea Vezzosi at 2026-07-10T11:09:25-04:00

  [Fix #27287] preserve ModBreaks in ModIface
  

• aeff6d4c
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Keep binds and sigs together in HsValBindsLR
  
  We combine them into a single list for GhcPs, wrapped in the
  ValBind data type, which is the bind equivalent of ValD, having
  constructors for binds and sigs.
  
  This simplifies exact print processing, especially when using it to
  update the contents of local binds, as we no longer need AnnSortKey
  BindTag
  

• 5ce8f3f7
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  Keep decls together in ClassDecl
  

• 274e1bb8
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: ClsInstDecl as list in GhcPs
  

• 56a47561
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove LocatedP from OverlapMode
  

• fe150e42
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove LocatedP from CType
  

• 69fbe0c2
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove LocatedP, last use in WarningTxt
  

• 1db4ebb1
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove LocatedE from WarningCategory
  

• ceb15eab
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove LocateE from XCImport and XCExport
  

• deb62ecc
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove LocatedE from HsRecFields dot
  

• 7c2883a3
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove LocatedE completely, last usage for pats 
  

• 6bfa18a8
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove AnnList (EpToken "where") usages
  
  This is moving toward removing the parameter from AnnList completely
  

• 7342b6a2
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA remove AnnList (EpToken "rec") usages
  

• e971a8e0
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove last parameterised AnnList usage (EpaLocation)
  
  Also remove the parameter
  

• 912ed197
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  TTG: Add extension points to BooleanFormula
  
  They are currently unused, but will be used for exact print annotations next
  

• 894f1a62
  by Alan Zimmerman at 2026-07-11T10:15:24+01:00

  EPA: Remove LocatedBC / SrcSpanBF
  

100 changed files:

• + changelog.d/inter-module-far-jumps-aarch64-default
• compiler/GHC/Builtin/Utils.hs
• compiler/GHC/ByteCode/Breakpoints.hs
• compiler/GHC/ByteCode/Types.hs
• compiler/GHC/Core/Class.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/Data/BooleanFormula.hs
• compiler/GHC/Driver/DynFlags.hs
• compiler/GHC/Driver/Main/Compile.hs
• compiler/GHC/Driver/Main/Hsc.hs
• compiler/GHC/Driver/Main/Passes.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/Decls/Overlap.hs
• compiler/GHC/Hs/Dump.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Pat.hs
• compiler/GHC/Hs/Stats.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/HsToCore/Breakpoints.hs
• + compiler/GHC/HsToCore/Breakpoints/Types.hs
• compiler/GHC/HsToCore/Docs.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/Iface/Ext/Ast.hs
• compiler/GHC/Iface/Load.hs
• compiler/GHC/Iface/Make.hs
• compiler/GHC/Iface/Recomp.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Iface/Warnings.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Annotation.hs
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Parser/PostProcess/Haddock.hs
• compiler/GHC/Platform/Ways.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/Rename/Utils.hs
• compiler/GHC/Runtime/Eval.hs
• compiler/GHC/Tc/Deriv.hs
• compiler/GHC/Tc/TyCl.hs
• compiler/GHC/Tc/TyCl/Class.hs
• compiler/GHC/Tc/TyCl/Instance.hs
• compiler/GHC/Tc/Utils/Env.hs
• compiler/GHC/Tc/Utils/Instantiate.hs
• compiler/GHC/ThToHs.hs
• compiler/GHC/Types/ForeignCall.hs
• compiler/GHC/Unit/Module/ModGuts.hs
• compiler/GHC/Unit/Module/ModIface.hs
• compiler/GHC/Unit/Module/Warnings.hs
• compiler/GHC/Unit/Module/WholeCoreBindings.hs
• compiler/GHC/Utils/Binary.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/BooleanFormula.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/ghc.cabal.in
• docs/users_guide/using-optimisation.rst
• ghc/GHCi/UI.hs
• testsuite/tests/count-deps/CountDepsParser.stdout
• testsuite/tests/ghc-api/T25121_status.stdout
• testsuite/tests/ghc-api/exactprint/T22919.stderr
• testsuite/tests/ghc-api/exactprint/ZeroWidthSemi.stderr
• testsuite/tests/ghci/should_run/Makefile
• + testsuite/tests/ghci/should_run/T27287.hs
• + testsuite/tests/ghci/should_run/T27287.stdout
• testsuite/tests/ghci/should_run/all.T
• testsuite/tests/haddock/haddock_examples/haddock.Test.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T17544.stderr
• testsuite/tests/haddock/should_compile_flag_haddock/T17544_kw.stderr
• testsuite/tests/module/mod185.stderr
• testsuite/tests/parser/should_compile/DumpParsedAst.stderr
• testsuite/tests/parser/should_compile/DumpParsedAstComments.stderr
• testsuite/tests/parser/should_compile/DumpRenamedAst.stderr
• testsuite/tests/parser/should_compile/DumpSemis.stderr
• testsuite/tests/parser/should_compile/DumpTypecheckedAst.stderr
• testsuite/tests/parser/should_compile/KindSigs.stderr
• testsuite/tests/parser/should_compile/T15279.stderr
• testsuite/tests/parser/should_compile/T20452.stderr
• testsuite/tests/parser/should_compile/T20718.stderr
• testsuite/tests/parser/should_compile/T20846.stderr
• testsuite/tests/printer/Test20297.stdout
• testsuite/tests/printer/Test24533.stdout
• utils/check-exact/ExactPrint.hs
• utils/check-exact/Main.hs
• utils/check-exact/Transform.hs
• utils/check-exact/Utils.hs
• 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/Types.hs

The diff was not included because it is too large.