Simon Peyton Jones pushed to branch wip/andreask/spec_tyfams at Glasgow Haskell Compiler / GHC

Commits:

• 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.
  

65 changed files:

• compiler/GHC/Core/Opt/DmdAnal.hs
• compiler/GHC/Core/Opt/Specialise.hs
• compiler/GHC/Core/Predicate.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
• 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-heap/GHC/Exts/Heap/Utils.hsc
• libraries/ghc-heap/ghc-heap.cabal.in
• 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
• testsuite/tests/dmdanal/should_compile/T23398.hs
• testsuite/tests/dmdanal/should_compile/T23398.stderr
• 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/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/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.