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

Add a multi-repl-enabled cabal to shell #242

Merged
merged 1 commit into from
Jul 19, 2023
Merged

Conversation

amesgen
Copy link
Member

@amesgen amesgen commented Jul 18, 2023

This adds a multi-repl-enabled (see haskell/cabal#8726) cabal (using a recent commit from master) to the shell.

When using GHC >=9.4, one can then run e.g.

cabal-multi-repl repl ouroboros-consensus ouroboros-consensus-diffusion

to get a REPL with all components in ouroboros-consensus and ouroboros-consensus-diffusion 🎉
ghcid also works, e.g.

ghcid -c 'cabal-multi-repl repl ...'

Beware that this feature is still somewhat experimental, e.g. cabal-multi-repl repl ouroboros-consensus-cardano (or also -protocol) are stalling for me, and selecting individual components involving sublibraries fails with this message:

 $ cabal-multi-repl repl ouroboros-consensus:consensus-testlib ouroboros-consensus:consensus-test
Error:
    Dependency on unbuildable library 'consensus-testlib' from ouroboros-consensus

Still, this might already be useful, and should not have any risks/maintenance burden.

@amesgen amesgen requested a review from a team as a code owner July 18, 2023 16:53
We can remove this once a cabal with multi-repl-support has been released.
@tek
Copy link
Contributor

tek commented Jul 19, 2023

tried it out, appears to work! ran a test and changed something in the main lib and it recompiled.

@amesgen amesgen enabled auto-merge July 19, 2023 11:49
@amesgen amesgen added this pull request to the merge queue Jul 19, 2023
Merged via the queue into main with commit 6e10ac7 Jul 19, 2023
7 checks passed
@amesgen amesgen deleted the amesgen/cabal-multi-repl branch July 19, 2023 12:06
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

Successfully merging this pull request may close these issues.

2 participants