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

Commits:

• d43a7b7a
  by Brian McKenna at 2026-07-15T20:10:04+02:00

  Strip ticks when desugaring bool guards
  
  The special `considerAccessible` pattern was broken when compiling
  with debug info. Compiling with debug info wraps expressions with
  `SourceNote` ticks, which broke the internals of the
  `desugarBoolGuard` function. Ticks are now ignored within this
  function.
  
  Fixes #27360
  

• ede4b17b
  by Ben Gamari at 2026-07-15T22:59:53-04:00

  base: Display ExceptionContext in WhileHandling's textual description
  
  As originally-implemented the implementation for
  `WhileHandling(displayExceptionAnnotation)` would display the
  `ExceptionContext` of the exception which it carries (as this was the
  behavior of `displayException`, in terms of which
  `displayExceptionAnnotation` was implemented).
  
  However, in 284ffab3 the definition of `SomeException(displayException)`
  was changed to exclude the `ExceptionContext`. This means that
  `WhileHandling(displayExceptionAnnotation)` fails to describe the
  provenance of the exception which it captures, greatly limiting its
  utility.
  
  Return the implementation to its originally-specified behavior by
  implementing `WhileHandling(displayExceptionAnnotation)` in terms of
  `displayExceptionWithInfo`.
  
  Fixes #27456.
  

• 0f64f348
  by Cheng Shao at 2026-07-16T15:41:08+00:00

  ci: add missing docker permission workaround in abi-test job
  

• 660cb239
  by Cheng Shao at 2026-07-16T19:37:48+00:00

  bindist: Fix make install -j race condition on macos/freebsd
  
  This patch fixes make install -j race condition on macos/freebsd. BSD
  install fails with EEXIST when multiple install processes concurrently
  create the same prefix directory. So we add an `install_dirs`
  prerequisite job that sequentially creates the directories for
  subsequent jobs to work with. Fixes #27499.
  
  Co-authored-by: Codex <codex@openai.com>
  

• 08130257
  by Cheng Shao at 2026-07-16T19:37:48+00:00

  ci: run bindist make install with -j
  
  This patch makes the ci scripts run `make install` with `-j` to reduce
  wall clock time when installing the bindist, see related issue for
  benchmark numbers. This only affects ghc ci logic, the user-facing
  default is up to distributors and is still `-j1`. Closes #27029.
  

• d5ae6906
  by Adam Gundry at 2026-07-17T04:57:43-04:00

  Mark various language extension flags as deprecated (see #27329)
  
  The following language extensions are now deprecated:
  
   - AlternativeLayoutRule
   - AlternativeLayoutRuleTransitional
   - ParallelArrays
   - PolymorphicComponents
   - Rank2Types
  
  In addition, the warning `-Walternative-layout-rule-transitional`
  has been marked as deprecated, as it is emitted only under the
  deprecated extension `XAlternativeLayoutRuleTransitional`.
  

• fe3b059c
  by Andrew Lelechenko at 2026-07-17T04:58:26-04:00

  base: re-export GHC.Environment.getFullArgs from System.Environment
  
  CLC proposal https://github.com/haskell/core-libraries-committee/issues/431
  

• 57ec828f
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: Keep decls together in ClassDecl
  
  Similar to 1718230f4d3d19d8c49c0e5d496cb0fb6f399528 for HsValBindsLR,
  this commit updates ClassDecl so that it no longer splits out the
  assorted `LHsDecl GhcPs` until the renamer.
  
  It does this by inserting a type family (separate from the classic TTG one) for this.
  
  So
  
  data TyClDecl
    ...
    | ClassDecl {
      ...
         tcdDecls   :: XClassDecls pass
  
  with
  
  type instance XClassDecls GhcPs = [LHsDecl GhcPs]
  type instance XClassDecls GhcRn = ClassDeclX GhcRn
  type instance XClassDecls GhcTc = ClassDeclX GhcTc
  
  data ClassDeclX pass
    = ClassDeclX { tcdSigs    :: [LSig pass],              -- ^ Methods' signatures
                   tcdMeths   :: LHsBinds pass,            -- ^ Default methods
                   tcdATs     :: [LFamilyDecl pass],       -- ^ Associated types;
                   tcdATDefs  :: [LTyFamDefltDecl pass],   -- ^ Associated type defaults
                   tcdDocs    :: [LDocDecl pass]           -- ^ Haddock docs
      }
  

• 34d3536a
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: ClsInstDecl as list in GhcPs
  

• be5a6400
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: Remove LocatedP from OverlapMode
  

• fbdc0b05
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: Remove LocatedP from CType
  

• 32a98fe7
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: Remove LocatedP, last use in WarningTxt
  

• 28a45308
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: Remove LocatedE from WarningCategory
  

• dcc85bbf
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: Remove LocateE from XCImport and XCExport
  

• e07491a3
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: Remove LocatedE from HsRecFields dot
  

• da65d94c
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: Remove LocatedE completely, last usage for pats 
  

• 179ec156
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

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

• a0ad69ea
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA remove AnnList (EpToken "rec") usages
  

• 5f79214c
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

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

• 5cc06df4
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

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

• da7db0e7
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: Remove LocatedBC / SrcSpanBF
  

• eb4f8caa
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPA: remove unused addTrailingAnnToL. Squash appropriately
  

• 96504da1
  by Alan Zimmerman at 2026-07-18T11:47:17+01:00

  EPS: Remove NoEpTok/NoEpUniTok, using an unhelpful SrcSpan instead
  
  Also introduce helper functions noEpTok and noEpUniTok to serve
  as simple replacements in code inserting an token annotation without
  location information.
  

151 changed files:

• .gitlab-ci.yml
• .gitlab/ci.sh
• + changelog.d/T27329
• + changelog.d/T27360
• + changelog.d/T27456
• + changelog.d/fix-make-install-j
• compiler/GHC/Builtin/Utils.hs
• compiler/GHC/Core/Class.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/Data/BooleanFormula.hs
• compiler/GHC/Driver/Flags.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/Hs.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/Docs.hs
• compiler/GHC/HsToCore/Pmc/Desugar.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/Iface/Ext/Ast.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/Rename/Module.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Rename/Pat.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/Types/Rank.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/Warnings.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
• docs/users_guide/expected-undocumented-flags.txt
• docs/users_guide/exts/rank_polymorphism.rst
• docs/users_guide/exts/static_pointers.rst
• hadrian/bindist/Makefile
• libraries/base/changelog.md
• libraries/base/src/System/Environment.hs
• libraries/base/tests/T15349.stderr
• libraries/ghc-internal/ghc-internal.cabal.in
• libraries/ghc-internal/src/GHC/Internal/Exception/Type.hs
• libraries/ghc-internal/tests/backtraces/T14532b.stdout
• testsuite/tests/backpack/should_compile/T13149.bkp
• testsuite/tests/codeGen/should_run/cgrun025.stderr
• testsuite/tests/determinism/determ017/A.hs
• testsuite/tests/exceptions/T26759.stderr
• testsuite/tests/ghc-api/T25121_status.stdout
• testsuite/tests/ghc-api/exactprint/T22919.stderr
• testsuite/tests/ghc-api/exactprint/Test20239.stderr
• testsuite/tests/ghc-api/exactprint/ZeroWidthSemi.stderr
• testsuite/tests/ghc-e/should_fail/T18441fail7.stderr
• testsuite/tests/ghci/scripts/T12005.script
• testsuite/tests/haddock/haddock_examples/haddock.Test.stderr
• testsuite/tests/haddock/perf/Fold.hs
• 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/indexed-types/should_fail/T7354.hs
• testsuite/tests/interface-stability/base-exports.stdout
• testsuite/tests/interface-stability/base-exports.stdout-javascript-unknown-ghcjs
• testsuite/tests/interface-stability/base-exports.stdout-mingw32
• testsuite/tests/layout/layout001.stdout
• testsuite/tests/layout/layout002.stdout
• testsuite/tests/layout/layout003.stdout
• testsuite/tests/layout/layout004.stdout
• testsuite/tests/layout/layout005.stdout
• testsuite/tests/layout/layout006.stdout
• testsuite/tests/layout/layout007.stdout
• testsuite/tests/layout/layout008.stdout
• testsuite/tests/layout/layout009.stdout
• testsuite/tests/linear/should_compile/T1735Min.hs
• testsuite/tests/mdo/should_fail/mdofail006.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/T13087.stderr
• testsuite/tests/parser/should_compile/T14189.stderr
• testsuite/tests/parser/should_compile/T15279.stderr
• testsuite/tests/parser/should_compile/T15323.stderr
• testsuite/tests/parser/should_compile/T20452.stderr
• testsuite/tests/parser/should_compile/T20718.stderr
• testsuite/tests/parser/should_compile/T20718b.stderr
• testsuite/tests/parser/should_compile/T20846.stderr
• testsuite/tests/parser/should_compile/T23315/T23315.stderr
• testsuite/tests/parser/should_fail/T8431.stderr
• testsuite/tests/parser/should_fail/readFail038.stderr
• testsuite/tests/perf/compiler/T3064.hs
• + testsuite/tests/pmcheck/should_compile/T27360.hs
• testsuite/tests/pmcheck/should_compile/all.T
• testsuite/tests/polykinds/T7594.hs
• testsuite/tests/printer/AnnotationNoListTuplePuns.stdout
• testsuite/tests/printer/T18791.stderr
• testsuite/tests/printer/Test20297.stdout
• testsuite/tests/printer/Test24533.stdout
• testsuite/tests/programs/thurston-modular-arith/Main.hs
• testsuite/tests/rts/ipe/IpeStats/Fold.hs
• testsuite/tests/runghc/T7859.stderr-mingw32
• testsuite/tests/simplCore/should_compile/T11562.hs
• testsuite/tests/simplCore/should_run/T3591.hs
• testsuite/tests/typecheck/should_compile/DeepSubsumption02.hs
• testsuite/tests/typecheck/should_compile/T12507.hs
• testsuite/tests/typecheck/should_compile/T13951.hs
• testsuite/tests/typecheck/should_compile/T18920.hs
• testsuite/tests/typecheck/should_compile/T2595.hs
• testsuite/tests/typecheck/should_compile/T7541.hs
• testsuite/tests/typecheck/should_fail/T6069.stderr
• testsuite/tests/typecheck/should_fail/T7368a.hs
• testsuite/tests/typecheck/should_run/T1735_Help/Basics.hs
• testsuite/tests/typecheck/should_run/T3731-short.hs
• testsuite/tests/typecheck/should_run/T3731.hs
• testsuite/tests/typecheck/should_run/church.hs
• testsuite/tests/typecheck/should_run/tcrun008.hs
• testsuite/tests/typecheck/should_run/tcrun017.hs
• testsuite/tests/typecheck/should_run/tcrun026.hs
• testsuite/tests/typecheck/should_run/tcrun035.hs
• testsuite/tests/typecheck/should_run/tcrun036.hs
• utils/check-exact/ExactPrint.hs
• utils/check-exact/Main.hs
• utils/check-exact/Parsers.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.