Cheng Shao pushed to branch wip/deepseq-primop at Glasgow Haskell Compiler / GHC

Commits:

• c72ddabf
  by Cheng Shao at 2025-12-23T16:13:23-05:00

  hadrian: fix bootstrapping with ghc-9.14
  
  This patch fixes bootstrapping GHC with ghc-9.14, tested locally with
  ghc-9.14.1 release as bootstrapping GHC.
  

• 0fd6d8e4
  by Cheng Shao at 2025-12-23T16:14:05-05:00

  hadrian: pass -keep-tmp-files to test ghc when --keep-test-files is enabled
  
  This patch makes hadrian pass `-keep-tmp-files` to test ghc when
  `--keep-test-files` is enabled, so you can check the ghc intermediate
  files when debugging certain test failures. Closes #26688.
  

• 81d10134
  by Cheng Shao at 2025-12-24T06:11:52-05:00

  configure: remove dead code in configure scripts
  
  This patch removes dead code in our configure scripts, including:
  
  - Variables and auto-detected programs that are not used
  - autoconf functions that are not used, or export a variable that's
    not used
  - `AC_CHECK_HEADERS` invocations that don't have actual corresponding
    `HAVE_XXX_H` usage
  - Other dead code (e.g. stray `AC_DEFUN()`)
  
  Co-authored-by: Codex <codex@openai.com>
  

• fb1381c3
  by Wolfgang Jeltsch at 2025-12-24T06:12:34-05:00

  Remove unused known keys and names for list operations
  
  This removes the known-key and corresponding name variables for
  `concat`, `filter`, `zip`, and `(++)`, as they are apparently nowhere
  used in GHC’s source code.
  

• 7b9c20f4
  by Recursion Ninja at 2025-12-24T10:35:36-05:00

  Decoupling Language.Haskell.Syntax.Binds from GHC.Types.Basic
  by transferring InlinePragma types between the modules.
  
    * Moved InlinePragma data-types to Language.Haskell.Syntax.Binds.InlinePragma
  
    * Partitioned of Arity type synonyms to GHC.Types.Arity
  
    * InlinePragma is now extensible via Trees That Grow
  
    * Activation is now extensible via Trees That Grow
  
    * Maybe Arity change to more descriptive InlineSaturation data-type
  
    * InlineSaturation information removed from InlinePragma during GHS parsing pass
  
    * Cleaned up the exposed module interfaces of the new modules
  

• a3afae0c
  by Simon Peyton Jones at 2025-12-25T15:26:36-05:00

  Check for rubbish literals in Lint
  
  Addresses #26607.
  
  See new Note [Checking for rubbish literals] in GHC.Core.Lint
  

• 8a317b6f
  by Aaron Allen at 2026-01-01T03:05:15-05:00

  [#26183] Associated Type Iface Fix
  
  When determining "extras" for class decl interface entries, axioms for
  the associated types need to included so that dependent modules will be
  recompiled if those axioms change.
  
  resolves #26183
  

• ae1aeaab
  by Cheng Shao at 2026-01-01T03:06:32-05:00

  testsuite: run numeric tests with optasm when available
  
  This patch adds the `optasm` extra way to nueric tests when NCG is
  available. Some numeric bugs only surface with optimization, omitting
  this can hide these bugs and even make them slip into release! (e.g. #26711)
  

• 6213bb57
  by maralorn at 2026-01-02T16:30:32+01:00

  GHC.Internal.Exception.Context: Fix comment
  
  on addExceptionAnnotation

• b820ff50
  by Janis Voigtlaender at 2026-01-05T02:43:18-05:00

  GHC.Internal.Control.Monad.replicateM: Fix comment
  

• 1b418e7b
  by Cheng Shao at 2026-01-05T13:22:15+01:00

  WIP
  

105 changed files:

• .gitlab/ci.sh
• compiler/GHC/Builtin/Names.hs
• compiler/GHC/Builtin/PrimOps/Ids.hs
• compiler/GHC/Builtin/primops.txt.pp
• compiler/GHC/Core.hs
• compiler/GHC/Core/Lint.hs
• compiler/GHC/Core/Opt/CSE.hs
• compiler/GHC/Core/Opt/CprAnal.hs
• compiler/GHC/Core/Opt/DmdAnal.hs
• compiler/GHC/Core/Opt/OccurAnal.hs
• compiler/GHC/Core/Opt/Pipeline.hs
• compiler/GHC/Core/Opt/Pipeline/Types.hs
• compiler/GHC/Core/Opt/Simplify.hs
• compiler/GHC/Core/Opt/Simplify/Env.hs
• compiler/GHC/Core/Opt/Simplify/Iteration.hs
• compiler/GHC/Core/Opt/Simplify/Utils.hs
• compiler/GHC/Core/Opt/SpecConstr.hs
• compiler/GHC/Core/Opt/Specialise.hs
• compiler/GHC/Core/Opt/WorkWrap.hs
• compiler/GHC/Core/Ppr.hs
• compiler/GHC/Core/Rules.hs
• compiler/GHC/Core/SimpleOpt.hs
• compiler/GHC/Core/Unfold/Make.hs
• compiler/GHC/Core/Utils.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/Driver/Config/Core/Lint.hs
• compiler/GHC/Driver/Config/Core/Lint/Interactive.hs
• compiler/GHC/Driver/Config/Core/Opt/Simplify.hs
• compiler/GHC/Hs/Binds.hs
• compiler/GHC/Hs/Instances.hs
• compiler/GHC/HsToCore.hs
• compiler/GHC/HsToCore/Binds.hs
• compiler/GHC/HsToCore/Errors/Types.hs
• compiler/GHC/HsToCore/Foreign/C.hs
• compiler/GHC/HsToCore/Foreign/JavaScript.hs
• compiler/GHC/HsToCore/Quote.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/Iface/Make.hs
• compiler/GHC/Iface/Recomp.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Iface/Tidy.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/Parser.y
• compiler/GHC/Parser/Lexer.x
• compiler/GHC/Parser/PostProcess.hs
• compiler/GHC/Rename/Bind.hs
• compiler/GHC/StgToCmm/Prim.hs
• compiler/GHC/StgToJS/Prim.hs
• compiler/GHC/Tc/Deriv/Generics.hs
• compiler/GHC/Tc/Errors/Types.hs
• compiler/GHC/Tc/Gen/Arrow.hs
• compiler/GHC/Tc/Gen/Sig.hs
• compiler/GHC/Tc/Instance/Typeable.hs
• compiler/GHC/Tc/TyCl/Instance.hs
• compiler/GHC/Tc/Utils/Instantiate.hs
• compiler/GHC/ThToHs.hs
• + compiler/GHC/Types/Arity.hs
• compiler/GHC/Types/Basic.hs
• compiler/GHC/Types/Hint.hs
• compiler/GHC/Types/Id.hs
• compiler/GHC/Types/Id/Info.hs
• compiler/GHC/Types/Id/Make.hs
• + compiler/GHC/Types/InlinePragma.hs
• compiler/GHC/Utils/Binary.hs
• compiler/GHC/Utils/Outputable.hs
• compiler/Language/Haskell/Syntax/Binds.hs
• + compiler/Language/Haskell/Syntax/Binds/InlinePragma.hs
• compiler/Language/Haskell/Syntax/Decls.hs
• compiler/Language/Haskell/Syntax/Extension.hs
• compiler/ghc.cabal.in
• configure.ac
• hadrian/cabal.project
• hadrian/src/Settings/Builders/RunTest.hs
• libraries/base/src/GHC/Base.hs
• libraries/base/src/GHC/Exts.hs
• libraries/ghc-experimental/ghc-experimental.cabal.in
• + libraries/ghc-experimental/src/GHC/DeepSeq.hs
• libraries/ghc-internal/configure.ac
• libraries/ghc-internal/src/GHC/Internal/Control/Monad.hs
• libraries/ghc-internal/src/GHC/Internal/Exception/Context.hs
• − m4/find_ghc_bootstrap_prog.m4
• − m4/fp_copy_shellvar.m4
• − m4/fp_prog_ld_flag.m4
• − m4/fp_prog_sort.m4
• m4/prep_target_file.m4
• + rts/DeepSeq.cmm
• rts/RtsSymbols.c
• rts/configure.ac
• rts/include/stg/MiscClosures.h
• rts/rts.cabal
• testsuite/tests/count-deps/CountDepsAst.stdout
• testsuite/tests/count-deps/CountDepsParser.stdout
• + testsuite/tests/driver/recomp26183/M.hs
• + testsuite/tests/driver/recomp26183/M2A.hs
• + testsuite/tests/driver/recomp26183/M2B.hs
• + testsuite/tests/driver/recomp26183/Makefile
• + testsuite/tests/driver/recomp26183/all.T
• + testsuite/tests/driver/recomp26183/recomp26183.stderr
• testsuite/tests/interface-stability/ghc-experimental-exports.stdout
• testsuite/tests/interface-stability/ghc-prim-exports.stdout
• testsuite/tests/numeric/should_run/all.T
• + testsuite/tests/primops/should_run/DeepSeqPrimOp.hs
• + testsuite/tests/primops/should_run/DeepSeqPrimOp.stdout
• testsuite/tests/primops/should_run/all.T
• utils/check-exact/ExactPrint.hs

The diff was not included because it is too large.