Rodrigo Mesquita pushed to branch wip/romes/24212 at Glasgow Haskell Compiler / GHC

Commits:

• ea2c6673
  by Teo Camarasu at 2025-07-08T13:24:43-04:00

  Implement user-defined allocation limit handlers
  
  Allocation Limits allow killing a thread if they allocate more than a
  user-specified limit.
  We extend this feature to allow more versatile behaviour.
  
  - We allow not killing the thread if the limit is exceeded.
  - We allow setting a custom handler to be called when the limit is exceeded.
  
  User-specified allocation limit handlers run in a fresh thread and are passed
  the ThreadId of the thread that exceeded its limit.
  
  We introduce utility functions for getting and setting the allocation
  limits of other threads, so that users can reset the limit of a thread
  from a handler. Both of these are somewhat coarse-grained as we are
  unaware of the allocations in the current nursery chunk.
  
  We provide several examples of usages in testsuite/tests/rts/T22859.hs
  
  Resolves #22859
  

• 03e047f9
  by Simon Hengel at 2025-07-08T13:25:25-04:00

  Fix typo in using.rst
  

• 67957854
  by Ben Gamari at 2025-07-09T09:44:44-04:00

  compiler: Import AnnotationWrapper from ghc-internal
  
  Since `GHC.Desugar` exported from `base` has been deprecated.
  

• 813d99d6
  by Ben Gamari at 2025-07-09T09:44:44-04:00

  ghc-compact: Eliminate dependency on ghc-prim
  

• 0ec952a1
  by Ben Gamari at 2025-07-09T09:44:44-04:00

  ghc-heap: Eliminate dependency on ghc-prim
  

• 480074c3
  by Ben Gamari at 2025-07-09T09:44:44-04:00

  ghc-heap: Drop redundant import
  

• 03455829
  by Ben Gamari at 2025-07-09T09:44:45-04:00

  ghc-prim: Bump version to 0.13.1
  
  There are no interface changes from 0.13.0 but the implementation now
  lives in `ghc-internal`.
  

• d315345a
  by Ben Gamari at 2025-07-09T09:44:45-04:00

  template-haskell: Bump version number to 2.24.0.0
  
  Bumps exceptions submodule.
  

• 004c800e
  by Ben Gamari at 2025-07-09T09:44:45-04:00

  Bump GHC version number to 9.14
  

• eb1a3816
  by Ben Gamari at 2025-07-09T09:44:45-04:00

  Bump parsec to 3.1.18.0
  
  Bumps parsec submodule.
  

• 86f83296
  by Ben Gamari at 2025-07-09T09:44:45-04:00

  unix: Bump to 2.8.7.0
  
  Bumps unix submodule.
  

• 89e13998
  by Ben Gamari at 2025-07-09T09:44:45-04:00

  binary: Bump to 0.8.9.3
  
  Bumps binary submodule.
  

• 55fff191
  by Ben Gamari at 2025-07-09T09:44:45-04:00

  Win32: Bump to 2.14.2.0
  
  Bumps Win32 submodule.
  

• 7dafa40c
  by Ben Gamari at 2025-07-09T09:44:45-04:00

  base: Bump version to 4.22.0
  
  Bumps various submodules.
  

• ef03d8b8
  by Rodrigo Mesquita at 2025-07-09T09:45:28-04:00

  base: Export displayExceptionWithInfo
  
  This function should be exposed from base following CLC#285
  
  Approved change in CLC#344
  
  Fixes #26058
  

• 01d3154e
  by Wen Kokke at 2025-07-10T17:06:36+01:00

  Fix documentation for HEAP_PROF_SAMPLE_STRING
  

• ac259c48
  by Wen Kokke at 2025-07-10T17:06:38+01:00

  Fix documentation for HEAP_PROF_SAMPLE_COST_CENTRE
  

• 2b4db9ba
  by Pi Delport at 2025-07-11T16:40:52-04:00

  (Applicative docs typo: missing "one")
  

• ccef90b4
  by Rodrigo Mesquita at 2025-07-14T13:49:35+01:00

  ghc-toolchain: Use ByteOrder rather than new Endianness
  
  Don't introduce a duplicate datatype when the previous one is equivalent
  and already used elsewhere. This avoids unnecessary translation between
  the two.
  

• 1a08530e
  by Rodrigo Mesquita at 2025-07-14T13:52:08+01:00

  Read Toolchain.Target files rather than 'settings'
  
  This commit makes GHC read `lib/targets/default.target`, a file with a
  serialized value of `ghc-toolchain`'s `GHC.Toolchain.Target`.
  
  Moreover, it removes all the now-redundant entries from `lib/settings`
  that are configured as part of a `Target` but were being written into
  `settings`.
  
  This makes it easier to support multiple targets from the same compiler
  (aka runtime retargetability). `ghc-toolchain` can be re-run many times
  standalone to produce a `Target` description for different targets, and,
  in the future, GHC will be able to pick at runtime amongst different
  `Target` files.
  
  This commit only makes it read the default `Target` configured in-tree
  or configured when installing the bindist.
  
  The remaining bits of `settings` need to be moved to `Target` in follow
  up commits, but ultimately they all should be moved since they are
  per-target relevant.
  
  Fixes #24212
  

96 changed files:

• compiler/GHC/Builtin/primops.txt.pp
• compiler/GHC/Driver/DynFlags.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/Settings.hs
• compiler/GHC/Settings/IO.hs
• compiler/GHC/StgToCmm/Prim.hs
• compiler/GHC/StgToJS/Prim.hs
• compiler/GHC/SysTools/BaseDir.hs
• compiler/GHC/Tc/Gen/Splice.hs
• compiler/ghc.cabal.in
• configure.ac
• distrib/configure.ac.in
• docs/users_guide/eventlog-formats.rst
• docs/users_guide/using.rst
• hadrian/bindist/Makefile
• hadrian/bindist/config.mk.in
• hadrian/cfg/system.config.in
• hadrian/src/Base.hs
• hadrian/src/Rules/Generate.hs
• libraries/Win32
• libraries/array
• libraries/base/base.cabal.in
• libraries/base/src/Control/Exception.hs
• libraries/binary
• libraries/deepseq
• libraries/directory
• libraries/exceptions
• libraries/filepath
• libraries/ghc-boot-th/ghc-boot-th.cabal.in
• libraries/ghc-boot/ghc-boot.cabal.in
• libraries/ghc-compact/GHC/Compact.hs
• libraries/ghc-compact/GHC/Compact/Serialized.hs
• libraries/ghc-compact/ghc-compact.cabal
• libraries/ghc-experimental/ghc-experimental.cabal.in
• + libraries/ghc-experimental/src/System/Mem/Experimental.hs
• libraries/ghc-heap/GHC/Exts/Heap/Utils.hsc
• libraries/ghc-heap/ghc-heap.cabal.in
• libraries/ghc-internal/ghc-internal.cabal.in
• + libraries/ghc-internal/src/GHC/Internal/AllocationLimitHandler.hs
• libraries/ghc-internal/src/GHC/Internal/Base.hs
• libraries/ghc-internal/src/GHC/Internal/Exception/Type.hs
• libraries/ghc-internal/src/GHC/Internal/ResponseFile.hs
• libraries/ghc-prim/changelog.md
• libraries/ghc-prim/ghc-prim.cabal
• libraries/ghci/ghci.cabal.in
• libraries/haskeline
• libraries/hpc
• libraries/os-string
• libraries/parsec
• libraries/process
• libraries/semaphore-compat
• libraries/stm
• libraries/template-haskell/template-haskell.cabal.in
• libraries/terminfo
• libraries/text
• libraries/unix
• − m4/fp_settings.m4
• m4/fp_setup_windows_toolchain.m4
• + m4/subst_tooldir.m4
• mk/hsc2hs.in
• rts/Prelude.h
• rts/PrimOps.cmm
• rts/RtsStartup.c
• rts/RtsSymbols.c
• rts/Schedule.c
• rts/external-symbols.list.in
• rts/include/rts/storage/GC.h
• rts/include/rts/storage/TSO.h
• rts/include/stg/MiscClosures.h
• testsuite/tests/backpack/cabal/bkpcabal08/bkpcabal08.stdout
• testsuite/tests/ghc-api/T20757.hs
• testsuite/tests/ghc-api/settings-escape/T24265.hs
• testsuite/tests/ghc-api/settings-escape/T24265.stderr
• + testsuite/tests/ghc-api/settings-escape/ghc-install-folder/lib with spaces/targets/.gitkeep
• 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/interface-stability/base-exports.stdout-ws-32
• testsuite/tests/interface-stability/ghc-experimental-exports.stdout
• testsuite/tests/interface-stability/ghc-experimental-exports.stdout-mingw32
• testsuite/tests/interface-stability/ghc-prim-exports.stdout
• testsuite/tests/interface-stability/ghc-prim-exports.stdout-mingw32
• + testsuite/tests/rts/T22859.hs
• + testsuite/tests/rts/T22859.stderr
• testsuite/tests/rts/all.T
• utils/ghc-toolchain/exe/Main.hs
• utils/ghc-toolchain/src/GHC/Toolchain/PlatformDetails.hs
• utils/ghc-toolchain/src/GHC/Toolchain/Target.hs
• utils/ghc-toolchain/src/GHC/Toolchain/Tools/Cpp.hs
• utils/ghc-toolchain/src/GHC/Toolchain/Tools/Cxx.hs
• utils/haddock/haddock-api/haddock-api.cabal
• utils/haddock/haddock-api/src/Haddock/InterfaceFile.hs
• utils/haddock/haddock-library/haddock-library.cabal
• utils/haddock/haddock-test/haddock-test.cabal
• utils/haddock/haddock.cabal
• utils/hsc2hs

The diff was not included because it is too large.