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

Commits:

• df1953d1
  by fendor at 2025-05-08T15:13:05+02:00

  Add testcases for GHCi multiple home units
  
  Adds the following testcases:
  
  * Evaluate code with a single home unit using 'initMulti' initialisation
    logic
  * More complicated testcase with multiple home units, testing reload
    logic and code evaluation.
  

• 1726d04f
  by fendor at 2025-05-08T15:13:05+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.
  

• b8e54c77
  by fendor at 2025-05-08T15:13:05+02:00

  FIXME: these test cases can be fixed by exploiting internals
  

• bafe6aad
  by fendor at 2025-05-08T15:13:05+02:00

  Fixup: Add documentation and refactor
  

97 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/Info.hs
• ghc/GHCi/UI/Monad.hs
• ghc/Main.hs
• testsuite/driver/testlib.py
• 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/Makefile
• + testsuite/tests/ghci.debugger/scripts/break031/a/A.hs
• + testsuite/tests/ghci.debugger/scripts/break031/all.T
• + testsuite/tests/ghci.debugger/scripts/break031/b/B.hs
• + testsuite/tests/ghci.debugger/scripts/break031/break031a.script
• + testsuite/tests/ghci.debugger/scripts/break031/break031a.stdout
• + testsuite/tests/ghci.debugger/scripts/break031/break031b.script
• + testsuite/tests/ghci.debugger/scripts/break031/break031b.stderr
• + testsuite/tests/ghci.debugger/scripts/break031/break031b.stdout
• + testsuite/tests/ghci.debugger/scripts/break031/unitA
• + testsuite/tests/ghci.debugger/scripts/break031/unitB
• testsuite/tests/ghci/linking/dyn/T3372.hs
• + testsuite/tests/ghci/prog-mhu001/Makefile
• + testsuite/tests/ghci/prog-mhu001/all.T
• + testsuite/tests/ghci/prog-mhu001/e/E.hs
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001a.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001a.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001b.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001b.stdout
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001c.script
• + testsuite/tests/ghci/prog-mhu001/prog-mhu001c.stdout
• + testsuite/tests/ghci/prog-mhu001/unitE
• + testsuite/tests/ghci/prog-mhu002/Makefile
• + testsuite/tests/ghci/prog-mhu002/a/A.hs
• + testsuite/tests/ghci/prog-mhu002/all.T
• + testsuite/tests/ghci/prog-mhu002/b/B.hs
• + testsuite/tests/ghci/prog-mhu002/c/C.hs
• + testsuite/tests/ghci/prog-mhu002/d/Main.hs
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002.script
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002.stderr
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002.stdout
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002a.script
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002a.stderr
• + testsuite/tests/ghci/prog-mhu002/prog-mhu002a.stdout
• + testsuite/tests/ghci/prog-mhu002/unitA
• + testsuite/tests/ghci/prog-mhu002/unitB
• + testsuite/tests/ghci/prog-mhu002/unitC
• + testsuite/tests/ghci/prog-mhu002/unitD
• + testsuite/tests/ghci/prog-mhu003/Makefile
• + testsuite/tests/ghci/prog-mhu003/a/A.hs
• + testsuite/tests/ghci/prog-mhu003/all.T
• + testsuite/tests/ghci/prog-mhu003/b/Foo.hs
• + testsuite/tests/ghci/prog-mhu003/c/C.hs
• + testsuite/tests/ghci/prog-mhu003/d/Foo.hs
• + testsuite/tests/ghci/prog-mhu003/prog-mhu003.script
• + testsuite/tests/ghci/prog-mhu003/prog-mhu003.stderr
• + testsuite/tests/ghci/prog-mhu003/prog-mhu003.stdout
• + testsuite/tests/ghci/prog-mhu003/unitA
• + testsuite/tests/ghci/prog-mhu003/unitB
• + testsuite/tests/ghci/prog-mhu003/unitC
• + testsuite/tests/ghci/prog-mhu003/unitD
• 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/quasiquotation/T7918.hs

The diff was not included because it is too large.