Hannes Siebenhandl pushed to branch wip/fendor/no-load at Glasgow Haskell Compiler / GHC

Commits:

• e10b825d
  by fendor at 2025-06-24T15:04:00+02:00

  Implement `-ghci-no-load` flag
  
  We add the new flag `-ghci-no-load` which doesn't load all `Target`s
  immediately but only computes the module graph for all `Target`s.
  The user can then decide to load modules from that module graph using
  the syntax:
  
      ghci> :reload <Mod>
  
  This will load everything in the module graph up to `Mod`.
  
  The user can return to the initial state by using the builtin target
  `none` to unload all modules.
  
      ghci> :reload none
  
  Is in principle identical to starting a new session with the
  `-ghci-no-load` flag.
  
  The `-ghci-no-load` flag allows for faster startup time of GHCi when a
  user has lots of `Target`s.
  
  We additionally extend the `:reload` command to accept multiple
  `ModuleName`s. For example:
  
      ghci> :reload <Mod1> <Mod2>
  
  Loads all modules up to the modules `Mod1` and `Mod2`.
  

33 changed files:

• compiler/GHC/Driver/DynFlags.hs
• compiler/GHC/Driver/Make.hs
• compiler/GHC/Driver/Session.hs
• compiler/GHC/Unit/Module/Graph.hs
• docs/users_guide/ghci.rst
• ghc/GHCi/UI.hs
• + testsuite/tests/ghci/prog-mhu005/Makefile
• + testsuite/tests/ghci/prog-mhu005/a/A.hs
• + testsuite/tests/ghci/prog-mhu005/all.T
• + testsuite/tests/ghci/prog-mhu005/b/B.hs
• + testsuite/tests/ghci/prog-mhu005/prog-mhu005a.script
• + testsuite/tests/ghci/prog-mhu005/prog-mhu005a.stderr
• + testsuite/tests/ghci/prog-mhu005/prog-mhu005a.stdout
• + testsuite/tests/ghci/prog-mhu005/unitA
• + testsuite/tests/ghci/prog-mhu005/unitB
• + testsuite/tests/ghci/prog021/all.T
• − testsuite/tests/ghci/prog021/prog021.T
• testsuite/tests/ghci/prog021/prog021.script → testsuite/tests/ghci/prog021/prog021a.script
• testsuite/tests/ghci/prog021/prog021.stderr → testsuite/tests/ghci/prog021/prog021a.stderr
• testsuite/tests/ghci/prog021/prog021.stdout → testsuite/tests/ghci/prog021/prog021a.stdout
• + testsuite/tests/ghci/prog021/prog021b.script
• + testsuite/tests/ghci/prog021/prog021b.stderr
• + testsuite/tests/ghci/prog021/prog021b.stdout
• + testsuite/tests/ghci/prog022/A.hs
• + testsuite/tests/ghci/prog022/B.hs
• + testsuite/tests/ghci/prog022/Makefile
• + testsuite/tests/ghci/prog022/all.T
• + testsuite/tests/ghci/prog022/ghci.prog022a.script
• + testsuite/tests/ghci/prog022/ghci.prog022a.stderr
• + testsuite/tests/ghci/prog022/ghci.prog022a.stdout
• + testsuite/tests/ghci/prog022/ghci.prog022b.script
• + testsuite/tests/ghci/prog022/ghci.prog022b.stderr
• + testsuite/tests/ghci/prog022/ghci.prog022b.stdout

The diff was not included because it is too large.