recursion-ninja pushed to branch wip/fix-26953 at Glasgow Haskell Compiler / GHC

Commits:

• f9bcfac2
  by sheaf at 2026-06-03T14:47:19-04:00

  Avoid mkTick in Core Prep breaking ANF
  
  As discovered in #27182, mkTick can break ANF. This patch introduces a
  variant of mkTick that skips the single optimisation that could break
  ANF. This is preferrable over switching to the raw Tick constructor,
  as the latter may introduce spurious cost centres in profiling reports.
  
  This is a temporary measure until we more thoroughly refactor how
  mkTick works (see #27141).
  
  See Note [mkTick breaks ANF] in GHC.CoreToStg.Prep.
  
  Fixes #27182
  

• cf1fd661
  by Artem Pelenitsyn at 2026-06-03T14:48:09-04:00

  clarify comment for getSizeofMutableByteArray#: we get the size in bytes, not "elements"

• 3b8166c5
  by Recursion Ninja at 2026-06-03T17:57:41-04:00

  Decoupling 'L.H.S' from 'GHC.Types.SourceText'
  
    * Migrated 'IntegralLit'   to 'L.H.S.Lit'.
    * Migrated 'FractionalLit' to 'L.H.S.Lit'.
    * Migrated 'StringLiteral' to 'L.H.S.Lit'.
    * Added TTG extension points to the types above.
    * Added nice export list to 'GHC.Hs.Lit'.
    * Added 'rnOverLitVal' and 'tcOverLitVal' functions to 'GHC.Hs.Lit'.
    * Added instance 'Anno (StringLiteral (GhcPass p)) = SrcSpanAnnN'
    * Moved [Notes] about 'SourceText' from 'L.H.S.*' to 'GHC.*'.
    * Removed all references to 'SourceText' from 'L.H.S'.
    * Removed the trailing comma record field from  'StringLiteral'
    * Renamed exported functions for nomenclature consistency.
    * Deprecated the renamed functions
  
  Resolves issue #26953
  

66 changed files:

• + changelog.d/T27182.md
• compiler/GHC/Builtin/Utils.hs
• compiler/GHC/Builtin/primops.txt.pp
• compiler/GHC/CmmToAsm/BlockLayout.hs
• compiler/GHC/Core/Utils.hs
• compiler/GHC/CoreToStg/Prep.hs
• compiler/GHC/Driver/Backpack.hs
• compiler/GHC/Driver/Session/Units.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Decls.hs
• compiler/GHC/Hs/Expr.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/Hs/Lit.hs
• compiler/GHC/Hs/Utils.hs
• compiler/GHC/HsToCore/Expr.hs
• compiler/GHC/HsToCore/Match.hs
• compiler/GHC/HsToCore/Match/Literal.hs
• compiler/GHC/HsToCore/Pmc/Desugar.hs
• compiler/GHC/HsToCore/Pmc/Solver/Types.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Usage.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Iface/Warnings.hs
• compiler/GHC/Linker/Unit.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/HaddockLex.x
• compiler/GHC/Parser/Lexer.x
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/Rename/Expr.hs
• compiler/GHC/Rename/HsType.hs
• compiler/GHC/Rename/Lit.hs
• compiler/GHC/Rename/Module.hs
• compiler/GHC/Rename/Names.hs
• compiler/GHC/Rename/Pat.hs
• compiler/GHC/Rename/Utils.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/App.hs
• compiler/GHC/Tc/Gen/Bind.hs
• compiler/GHC/Tc/Gen/Head.hs
• compiler/GHC/Tc/Gen/HsType.hs
• compiler/GHC/Tc/Utils/Instantiate.hs
• compiler/GHC/Tc/Utils/TcMType.hs
• compiler/GHC/ThToHs.hs
• compiler/GHC/Types/PkgQual.hs
• compiler/GHC/Types/SourceText.hs
• compiler/GHC/Unit/Info.hs
• compiler/GHC/Unit/Module/Warnings.hs
• compiler/GHC/Unit/State.hs
• compiler/GHC/Utils/Misc.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• compiler/Language/Haskell/Syntax/Binds/InlinePragma.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/Lit.hs
• + testsuite/tests/profiling/should_compile/T27182.hs
• testsuite/tests/profiling/should_compile/all.T
• utils/check-exact/ExactPrint.hs
• utils/haddock/haddock-api/src/Haddock/Backends/Hyperlinker/Parser.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/Interface/LexParseRn.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.