Hannes Siebenhandl pushed to branch wip/fendor/ghci-multiple-home-units at Glasgow Haskell Compiler / GHC

Commits:

• 00e2c7f4
  by fendor at 2025-05-08T19:27:58+02:00

  Make GHCi commands compatible with multiple home units
  
  FIXME: proper commit message
  
  There is one metric increase in this commit:
  
  -------------------------
  Metric Increase:
      T4029
  -------------------------
  
  It is an increase from 14.4 MB to 16.1 MB (+11.8%) which sounds like a
  pretty big regression at first.
  However, we argue this increase is solely caused by using more data
  structures for managing multiple home units in the GHCi session.
  In particular, due to the design decision of using three home units, the
  base memory usage increases... but by how much?
  
  A big contributor is the `UnitState`, of which we have three now, which
  on its own 260 KB per instance. That makes an additional memory usage of
  520 KB, already explaining a third of the overall memory usage increase.
  
  FIXME: re-investigate what the remaining 1 MB is.
  

• 02358e50
  by fendor at 2025-05-08T19:27:58+02:00

  FIXME: these test cases can be fixed by exploiting internals
  

• 4d18769c
  by fendor at 2025-05-08T19:28:03+02:00

  Fixup: Add documentation and refactor
  

• 387db537
  by fendor at 2025-05-08T19:28:03+02:00

  FIXUP: Multiple Home Units is no longer a special case
  

59 changed files:

• compiler/GHC.hs
• compiler/GHC/Driver/Downsweep.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/Iface/Load.hs
• compiler/GHC/Rename/Unbound.hs
• compiler/GHC/Runtime/Context.hs
• compiler/GHC/Runtime/Eval.hs
• compiler/GHC/StgToByteCode.hs
• compiler/GHC/StgToJS/Linker/Linker.hs
• compiler/GHC/Tc/Module.hs
• compiler/GHC/Types/Name/Ppr.hs
• compiler/GHC/Unit/Env.hs
• compiler/GHC/Unit/Home/Graph.hs
• compiler/GHC/Unit/Types.hs
• ghc/GHCi/UI.hs
• ghc/GHCi/UI/Exception.hs
• ghc/GHCi/UI/Info.hs
• ghc/GHCi/UI/Monad.hs
• ghc/Main.hs
• testsuite/tests/backpack/cabal/bkpcabal08/bkpcabal08.stdout
• testsuite/tests/driver/T8526/T8526.stdout
• testsuite/tests/driver/fat-iface/fat014.stdout
• testsuite/tests/driver/multipleHomeUnits/multiGHCi.stderr
• testsuite/tests/ghc-api/T6145.hs
• testsuite/tests/ghc-api/annotations-literals/literals.hs
• testsuite/tests/ghc-api/annotations-literals/parsed.hs
• testsuite/tests/ghc-api/apirecomp001/myghc.hs
• testsuite/tests/ghc-api/fixed-nodes/T1.hs
• testsuite/tests/ghci.debugger/scripts/break031/all.T
• testsuite/tests/ghci/linking/dyn/T3372.hs
• testsuite/tests/ghci/prog-mhu001/all.T
• testsuite/tests/ghci/prog-mhu001/e/E.hs
• testsuite/tests/ghci/prog-mhu001/prog-mhu001c.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001d.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001d.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001e.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001e.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001f.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001f.stdout
• + testsuite/tests/ghci/prog-mhu001/unitE-main-is
• testsuite/tests/ghci/prog010/ghci.prog010.script
• testsuite/tests/ghci/prog018/prog018.stdout
• testsuite/tests/ghci/scripts/T13869.stdout
• testsuite/tests/ghci/scripts/T13997.stdout
• testsuite/tests/ghci/scripts/T17669.stdout
• testsuite/tests/ghci/scripts/T18330.stdout
• testsuite/tests/ghci/scripts/T1914.stdout
• testsuite/tests/ghci/scripts/T20217.stdout
• testsuite/tests/ghci/scripts/T20587.stdout
• testsuite/tests/ghci/scripts/T21110.stderr
• testsuite/tests/ghci/scripts/T6105.stdout
• testsuite/tests/ghci/scripts/T8042.stdout
• testsuite/tests/ghci/scripts/T8042recomp.stdout
• testsuite/tests/ghci/scripts/ghci024.stdout
• testsuite/tests/ghci/scripts/ghci024.stdout-mingw32
• testsuite/tests/ghci/scripts/ghci058.script
• testsuite/tests/ghci/should_run/TopEnvIface.stdout
• testsuite/tests/linters/notes.stdout
• testsuite/tests/quasiquotation/T7918.hs

The diff was not included because it is too large.