Hannes Siebenhandl pushed to branch wip/fendor/remove-stg_stackDecode at Glasgow Haskell Compiler / GHC

Commits:

• 11edbd5b
  by fendor at 2025-07-23T13:58:17+02:00

  Allow users to customise the collection of exception annotations
  
  Add a global `CollectExceptionAnnotationMechanism` which determines how
  `ExceptionAnnotation`s are collected upon throwing an `Exception`.
  
  This API is exposed via `ghc-experimental`.
  
  By overriding how we collect `Backtraces`, we can control how the
  `Backtraces` are displayed to the user by newtyping `Backtraces` and
  giving a different instance for `ExceptionAnnotation`.
  
  A concrete use-case for this feature is allowing us to experiment with
  alternative stack decoders, without having to modify `base`, which take
  additional information from the stack frames.
  
  This commit does not modify how `Backtraces` are currently
  collected or displayed.
  

• 49d35c3b
  by fendor at 2025-07-23T13:58:19+02:00

  Duplicate ghc-heap's iterator based stack decoder to ghc-internal
  

54 changed files:

• compiler/GHC/ByteCode/Types.hs
• compiler/GHC/Runtime/Heap/Inspect.hs
• compiler/GHC/Runtime/Interpreter.hs
• compiler/ghc.cabal.in
• hadrian/src/Settings/Default.hs
• + libraries/ghc-experimental/src/GHC/Exception/Backtrace/Experimental.hs
• + libraries/ghc-experimental/src/GHC/Stack/Annotation/Experimental.hs
• libraries/ghc-heap/GHC/Exts/Heap/ClosureTypes.hs
• libraries/ghc-heap/GHC/Exts/Heap/Closures.hs
• libraries/ghc-heap/GHC/Exts/Heap/Constants.hsc
• libraries/ghc-heap/GHC/Exts/Heap/InfoTable.hsc
• libraries/ghc-heap/GHC/Exts/Heap/InfoTable/Types.hsc
• libraries/ghc-heap/GHC/Exts/Heap/InfoTableProf.hsc
• libraries/ghc-heap/GHC/Exts/Heap/ProfInfo/Types.hs
• libraries/ghc-heap/GHC/Exts/Stack/Constants.hsc
• libraries/ghc-heap/GHC/Exts/Stack/Decode.hs
• libraries/ghc-heap/ghc-heap.cabal.in
• libraries/ghc-heap/cbits/HeapPrim.cmm → libraries/ghc-internal/cbits/HeapPrim.cmm
• libraries/ghc-heap/cbits/Stack.cmm → libraries/ghc-internal/cbits/Stack.cmm
• libraries/ghc-heap/cbits/Stack_c.c → libraries/ghc-internal/cbits/Stack_c.c
• libraries/ghc-internal/ghc-internal.cabal.in
• libraries/ghc-internal/src/GHC/Internal/Exception.hs
• libraries/ghc-internal/src/GHC/Internal/Exception/Backtrace.hs
• libraries/ghc-internal/src/GHC/Internal/Exception/Backtrace.hs-boot
• + libraries/ghc-internal/src/GHC/Internal/Heap/Closures.hs
• + libraries/ghc-internal/src/GHC/Internal/Heap/Constants.hsc
• + libraries/ghc-internal/src/GHC/Internal/Heap/InfoTable.hsc
• + libraries/ghc-internal/src/GHC/Internal/Heap/InfoTable/Types.hsc
• + libraries/ghc-internal/src/GHC/Internal/Heap/InfoTableProf.hsc
• + libraries/ghc-internal/src/GHC/Internal/Heap/ProfInfo/Types.hs
• + libraries/ghc-internal/src/GHC/Internal/Stack/Constants.hsc
• + libraries/ghc-internal/src/GHC/Internal/Stack/Decode.hs
• libraries/ghci/GHCi/Message.hs
• libraries/ghci/ghci.cabal.in
• testsuite/tests/arrows/should_compile/T21301.stderr
• testsuite/tests/deSugar/should_fail/DsStrictFail.stderr
• testsuite/tests/deSugar/should_run/T20024.stderr
• testsuite/tests/deSugar/should_run/dsrun005.stderr
• testsuite/tests/deSugar/should_run/dsrun007.stderr
• testsuite/tests/deSugar/should_run/dsrun008.stderr
• testsuite/tests/deriving/should_run/T9576.stderr
• testsuite/tests/ghci/scripts/Defer02.stderr
• testsuite/tests/ghci/scripts/T15325.stderr
• testsuite/tests/patsyn/should_run/ghci.stderr
• testsuite/tests/quotes/LiftErrMsgDefer.stderr
• testsuite/tests/safeHaskell/safeLanguage/SafeLang15.stderr
• testsuite/tests/type-data/should_run/T22332a.stderr
• testsuite/tests/typecheck/should_run/T10284.stderr
• testsuite/tests/typecheck/should_run/T13838.stderr
• testsuite/tests/typecheck/should_run/T9497a-run.stderr
• testsuite/tests/typecheck/should_run/T9497b-run.stderr
• testsuite/tests/typecheck/should_run/T9497c-run.stderr
• testsuite/tests/unsatisfiable/T23816.stderr
• testsuite/tests/unsatisfiable/UnsatDefer.stderr

The diff was not included because it is too large.