Alan Zimmerman pushed to branch wip/az/epa-tidy-locatedxxx-22 at Glasgow Haskell Compiler / GHC

Commits:

• 5939ceaf
  by sheaf at 2026-09-05T22:06:18-04:00

  Windows: enforce path convention in ./configure
  
  As detailed in Note [MSYS paths] in Hadrian.Utilities, the standing
  convention (using Windows-style paths with forward slashes) is now
  enforced in ./configure instead of within Hadrian, removing the need for
  'cygpath' calls within Hadrian.
  
  Fixes #26683
  

• a6061455
  by sheaf at 2026-09-05T22:06:18-04:00

  Hadrian: introduce ExeSpawnPath
  
  Specific details about the filepath used to specify the executable to
  spawn with CreateProcess matters on Windows: whether we use forward or
  backward slashes, a leading ./, or an absolute path changes how the
  executable is found.
  
  This commit introduces 'ExeSpawnPath' which is a path that is guaranteed
  to be found when spawning a process. All command invocations now go
  through this type to ensure the path has been properly sanitised.
  
  See Note [NeedCurrentDirectoryForExePath] in Hadrian.Utilities.
  
  The same treatment is applied to hsc2hs. Updates hsc2hs submodule.
  

• e28313e3
  by sheaf at 2026-09-05T22:07:06-04:00

  Preserve tick ordering in 'tickTickedExpr'
  
  'GHC.Core.Utils.tickTickedExpr' tries to combine a tick 't1' into an
  existing stack of ticks 't2s'. There are two situations:
  
    1. 't1' is subsumed by a tick in 't2s': drop it.
    2. A tick in 't2s' is subsumed by 't1', say 't2'.
  
  This commit ensures that in case (2) we keep 't1' on the outside instead
  of replacing 't2' at its position in the stack. This avoids re-ordering
  source notes (which was the cause of #27749).
  
  This fixes a regression introduced in 2dadf3b0d05.
  
  Fixes #27749
  

• 3172f557
  by sheaf at 2026-09-05T22:07:06-04:00

  Consistently prefer local source note ticks
  
  GHC.Cmm.DebugBlock.cmmDebugGen (DWARF annotations) and
  GHC.Stg.Debug.quickSourcePos (-finfo-table-map) both contained logic to
  prioritise source note ticks from the current module.
  
  This commit commons up this logic and propagates it to a third consumer:
  IPE stack frames, in GHC.Driver.GenerateCgIPEStub.
  See the new function GHC.Types.Tickish.bestSourceNote.
  

• f45a3d8e
  by Alan Zimmerman at 2026-09-06T09:49:56+01:00

  EPA Fix HsCmdDo exact print with comments
  
  Exact printing of HsCmdDo was ignoring the location for the do
  statements, and this is an annotation that can have comments in it.
  
  Update it so we print the statements as a unit, including any
  comments.
  
  Also add the result of auditing that we capture comments in all needed
  places, noting that the remaining Anno SrcSpan instances are benign.
  

38 changed files:

• + changelog.d/T27749
• compiler/GHC/Cmm/DebugBlock.hs
• compiler/GHC/Core/Utils.hs
• compiler/GHC/Driver/GenerateCgIPEStub.hs
• compiler/GHC/Driver/Main/Compile.hs
• compiler/GHC/Hs/Doc.hs
• compiler/GHC/Hs/Extension/Pass.hs
• compiler/GHC/Stg/Debug.hs
• compiler/GHC/Types/Tickish.hs
• configure.ac
• hadrian/src/Base.hs
• hadrian/src/Builder.hs
• hadrian/src/Hadrian/Builder.hs
• hadrian/src/Hadrian/Builder/Ar.hs
• hadrian/src/Hadrian/Oracles/Path.hs
• hadrian/src/Hadrian/Utilities.hs
• hadrian/src/Oracles/Setting.hs
• hadrian/src/Oracles/TestSettings.hs
• hadrian/src/Rules/BinaryDist.hs
• hadrian/src/Rules/Changelog.hs
• hadrian/src/Rules/Codes.hs
• hadrian/src/Rules/Lint.hs
• hadrian/src/Rules/Nofib.hs
• hadrian/src/Rules/Test.hs
• m4/find_python.m4
• + m4/fp_canonicalise_win_path.m4
• m4/fp_find_nm.m4
• m4/fp_find_root.m4
• m4/fp_prog_ar.m4
• m4/fp_prog_ar_args.m4
• m4/fp_prog_sh.m4
• m4/fptools_alex.m4
• m4/fptools_happy.m4
• + testsuite/tests/simplCore/should_compile/T27749.hs
• + testsuite/tests/simplCore/should_compile/T27749.stderr
• testsuite/tests/simplCore/should_compile/all.T
• utils/check-exact/ExactPrint.hs
• utils/hsc2hs

The diff was not included because it is too large.