cabal cradle: Support the multi-repl

haskell / hie-bios

Set up a GHC API session for various Haskell Projects

https://hackage.haskell.org/package/hie-bios

BSD 3-Clause "New" or "Revised" License

177 stars 61 forks source link

cabal cradle: Support the multi-repl #398

Open mpickering opened 1 year ago

mpickering commented 1 year ago

When the version of cabal supports it, hie-bios should pass the following flags to cabal repl

--enable-multi-repl to enable the multi-repl.
--keep-temp-files to keep the response files after the "repl" has finished.

fendor commented 1 year ago

For context, the requested feature depends on https://github.com/haskell/cabal/pull/8726

Proposed hie.yaml specification, we use the multi-repl iff the cabal version supports the multi repl option.

cradle:
  cabal:
    components: ["compA", "compB"]

Then all of the named components should be loaded in a multi-repl session. Note, cabal meta targets are also supported, e.g. "all". In other words, all valid cabal component targets.