Florian Ragwitz pushed to branch wip/rafl/cover-data 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")
  

• f707bab4
  by Andreas Klebinger at 2025-07-12T14:56:16+01:00

  Specialise: Improve specialisation by refactoring interestingDict
  
  This MR addresses #26051, which concerns missed type-class specialisation.
  The main payload of the MR is to completely refactor the key function
        `interestingDict` in GHC.Core.Opt.Specialise
  
  The main change is that we now also look at the structure of the
  dictionary we consider specializing on, rather than only the type.
  
  See the big `Note [Interesting dictionary arguments]`
  

• ca7a9d42
  by Simon Peyton Jones at 2025-07-12T14:56:16+01:00

  Treat tuple dictionaries uniformly; don't unbox them
  
  See `Note [Do not unbox class dictionaries]` in DmdAnal.hs,
  sep (DNB1).
  
  This MR reverses the plan in #23398, which suggested a special case to
  unbox tuple dictionaries in worker/wrapper.  But:
  
  - This was the cause of a pile of complexity in the specialiser (#26158)
  
  - Even with that complexity, specialision was still bad, very bad
    See https://gitlab.haskell.org/ghc/ghc/-/issues/19747#note_626297
  
  And it's entirely unnecessary!  Specialision works fine without
  unboxing tuple dictionaries.
  

• be7296c9
  by Andreas Klebinger at 2025-07-12T14:56:16+01:00

  Remove complex special case from the type-class specialiser
  
  There was a pretty tricky special case in Specialise which is no
  longer necessary.
     * Historical Note [Floating dictionaries out of cases]
     * #26158
     * #19747 https://gitlab.haskell.org/ghc/ghc/-/issues/19747#note_626297
  
  This MR removes it.  Hooray.
  

• 4acf3a86
  by Ben Gamari at 2025-07-15T05:46:32-04:00

  configure: bump version to 9.15
  

• 45efaf71
  by Teo Camarasu at 2025-07-15T05:47:13-04:00

  rts/nonmovingGC: remove n_free
  
  We remove the nonmovingHeap.n_free variable.
  
  We wanted this to track the length of nonmovingHeap.free.
  But this isn't possible to do atomically.
  
  When this isn't accurate we can get a segfault by going past the end of
  the list.
  
  Instead, we just count the length of the list when we grab it in
  nonmovingPruneFreeSegment.
  
  Resolves #26186
  

• d5661037
  by Florian Ragwitz at 2025-07-15T12:05:09-07:00

  Extend record-selector usage ticking to all binds using a record field
  

96 changed files:

• compiler/GHC/Builtin/primops.txt.pp
• compiler/GHC/Core/Opt/DmdAnal.hs
• compiler/GHC/Core/Opt/Specialise.hs
• compiler/GHC/Core/Predicate.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/StgToCmm/Prim.hs
• compiler/GHC/StgToJS/Prim.hs
• compiler/GHC/Tc/Gen/Splice.hs
• compiler/GHC/Tc/Solver.hs
• compiler/GHC/Tc/Solver/Dict.hs
• compiler/GHC/Tc/Solver/InertSet.hs
• compiler/GHC/Tc/Solver/Monad.hs
• compiler/GHC/Tc/Utils/TcType.hs
• compiler/ghc.cabal.in
• configure.ac
• docs/users_guide/eventlog-formats.rst
• docs/users_guide/using.rst
• 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-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
• 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
• rts/sm/NonMoving.c
• rts/sm/NonMoving.h
• rts/sm/NonMovingAllocate.c
• rts/sm/Sanity.c
• testsuite/tests/backpack/cabal/bkpcabal08/bkpcabal08.stdout
• testsuite/tests/dmdanal/should_compile/T23398.hs
• testsuite/tests/dmdanal/should_compile/T23398.stderr
• testsuite/tests/hpc/recsel/recsel.hs
• testsuite/tests/hpc/recsel/recsel.stdout
• 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/perf/should_run/SpecTyFamRun.hs
• + testsuite/tests/perf/should_run/SpecTyFamRun.stdout
• + testsuite/tests/perf/should_run/SpecTyFam_Import.hs
• testsuite/tests/perf/should_run/all.T
• + testsuite/tests/rts/T22859.hs
• + testsuite/tests/rts/T22859.stderr
• testsuite/tests/rts/all.T
• + testsuite/tests/simplCore/should_compile/T26051.hs
• + testsuite/tests/simplCore/should_compile/T26051.stderr
• + testsuite/tests/simplCore/should_compile/T26051_Import.hs
• testsuite/tests/simplCore/should_compile/all.T
• 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.