Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

cabal cradle: Support the multi-repl #398

Open
mpickering opened this issue Mar 17, 2023 · 1 comment
Open

cabal cradle: Support the multi-repl #398

mpickering opened this issue Mar 17, 2023 · 1 comment

Comments

@mpickering
Copy link
Collaborator

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
Copy link
Collaborator

fendor commented May 9, 2023

For context, the requested feature depends on haskell/cabal#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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants