Rodrigo Mesquita pushed to branch wip/romes/step-out-8 at Glasgow Haskell Compiler / GHC

Commits:

• e610933e
  by Rodrigo Mesquita at 2025-06-30T20:10:58+01:00

  cleanup: Pass the HUG to readModBreaks, not HscEnv
  
  A minor cleanup. The associated history and setupBreakpoint functions
  are changed accordingly.
  

• ba684e79
  by Rodrigo Mesquita at 2025-06-30T20:10:58+01:00

  cleanup: Move readModBreaks to GHC.Runtime.Interpreter
  
  With some small docs changes
  

• 2764f1f6
  by Rodrigo Mesquita at 2025-06-30T20:10:58+01:00

  cleanup: Move interpreterProfiled to Interp.Types
  
  Moves interpreterProfiled and interpreterDynamic to
  GHC.Runtime.Interpreter.Types from GHC.Runtime.Interpreter.
  

• 8c302392
  by Rodrigo Mesquita at 2025-06-30T20:10:58+01:00

  cleanup: Don't import GHC in Debugger.Breakpoints
  
  Remove the top-level
  
      import GHC
  
  from GHC.Runtime.Debugger.Breakpoints
  
  This makes the module dependencies more granular and cleans up the
  qualified imports from the code.
  

• affa8dbc
  by Rodrigo Mesquita at 2025-06-30T20:10:58+01:00

  refactor: Use BreakpointId in Core and Ifaces
  

• 819bb93f
  by Rodrigo Mesquita at 2025-06-30T20:10:58+01:00

  stg2bc: Derive BcM via ReaderT StateT
  
  A small refactor that simplifies GHC.StgToByteCode by deriving-via the
  Monad instances for BcM. This is done along the lines of previous
  similar refactors like 72b54c0760bbf85be1f73c1a364d4701e5720465.
  

• f4d0369a
  by Rodrigo Mesquita at 2025-06-30T20:13:15+01:00

  Big refactor of breakpoints internal representation
  
  Big better
  
  At this point we now have to go and re-work the BrkArrays to consider internal breakpoints (generated in StgGen) and multi-threading. tomorrow.
  
  Continue refactor
  
  Lots of progress
  
  littel better
  
  compiler: make ModBreaks serializable
  
  Mais...
  
  BRK_FUN in rts
  
  Fixes
  
  Tweaks
  
  Checkpoint but segfaults in GC
  
  Start part 4....
  
  simpler
  
  allow allocating breakarrays outside of linking but in the linker env still
  
  disassemble
  
  tack todo
  
  The BreakArray construction at link time was originally done by Cheng.
  
  Co-authored-by: Cheng Shao <terrorjack@type.dance>
  

48 changed files:

• compiler/GHC.hs
• compiler/GHC/ByteCode/Asm.hs
• + compiler/GHC/ByteCode/Breakpoints.hs
• compiler/GHC/ByteCode/Instr.hs
• compiler/GHC/ByteCode/Linker.hs
• compiler/GHC/ByteCode/Types.hs
• compiler/GHC/Core/FVs.hs
• compiler/GHC/Core/Lint.hs
• compiler/GHC/Core/Map/Expr.hs
• compiler/GHC/Core/Opt/OccurAnal.hs
• compiler/GHC/Core/Opt/Simplify/Iteration.hs
• compiler/GHC/Core/Ppr.hs
• compiler/GHC/Core/Subst.hs
• compiler/GHC/Core/Tidy.hs
• compiler/GHC/Core/Utils.hs
• compiler/GHC/CoreToIface.hs
• compiler/GHC/CoreToStg.hs
• compiler/GHC/CoreToStg/Prep.hs
• compiler/GHC/Driver/Main.hs
• compiler/GHC/Driver/Session/Inspect.hs
• compiler/GHC/HsToCore.hs
• compiler/GHC/HsToCore/Breakpoints.hs
• compiler/GHC/HsToCore/Ticks.hs
• compiler/GHC/Iface/Syntax.hs
• compiler/GHC/Iface/Tidy.hs
• compiler/GHC/IfaceToCore.hs
• compiler/GHC/Linker/Loader.hs
• compiler/GHC/Linker/Types.hs
• compiler/GHC/Runtime/Debugger/Breakpoints.hs
• compiler/GHC/Runtime/Eval.hs
• compiler/GHC/Runtime/Eval/Types.hs
• compiler/GHC/Runtime/Interpreter.hs
• compiler/GHC/Runtime/Interpreter/Types.hs
• compiler/GHC/Stg/BcPrep.hs
• compiler/GHC/Stg/FVs.hs
• compiler/GHC/StgToByteCode.hs
• − compiler/GHC/Types/Breakpoint.hs
• compiler/GHC/Types/Tickish.hs
• compiler/GHC/Unit/External.hs
• compiler/GHC/Unit/Module/ModGuts.hs
• compiler/ghc.cabal.in
• ghc/GHCi/UI.hs
• libraries/ghci/GHCi/Debugger.hs
• libraries/ghci/GHCi/Message.hs
• libraries/ghci/GHCi/Run.hs
• rts/Disassembler.c
• rts/Exception.cmm
• rts/Interpreter.c

The diff was not included because it is too large.