-
Notifications
You must be signed in to change notification settings - Fork 63
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
Multi-component REPL #255
Comments
Hi, sorry for the very delayed response. Can you elaborate what changes you would require? Changes to the cli are not a problem if it would help your use-case (no idea whether this is still relevant to you) |
Still very much relevant 😊 I think a So in brief, I’d aim for:
For comparison, the scripts I’m using now are mostly copy-pasta after some initial configuration quite some time ago. Here’s an example: https://github.com/robrix/sequoia/blob/main/script/ghci-flags Since the union of flags includes some that would be mutually exclusive—AFAIK there’s no way to configure
(Note that I do not intend to suggest that Thank you for the response, and thank you for |
Again, sorry for this delay! In theory, I don't think this is a huge problem to implement, but I didn't have time for it recently. If you want to give it a try, I could give some pointers on how to implement it. |
I have configured a bunch of different projects to use a script to load multiple components in
ghcide
. This is no longer necessary as the multi-component support inhie-bios
is working beautifully! 💖 However, I also use these scripts to provide a multi-component REPL—to loadghci
with the right search paths, warnings, etc. for the library, tests, and executables.Unfortunately, maintaining these
ghci-flags
scripts is kind of a drag; I’d much rather configurehie-bios
for multiple components (which I will do for editor integration anyway) and then ask it. However,hie-bios flags
expects to be called with a source file, but I wouldn’t know that until I’m actually running inghci
, and even then, it’s not really howghci
works; it doesn’t use a different set of options per file.I’m definitely ok with compromising there a little bit by e.g. swapping out the
-outputdir
—it’s what my scripts to return the flags do anyway—but it would be super convenient to get the configuration for each component fromhie-bios
with a single call rather than having to find or nominate a source file within each component and askhie-bios
for the flags for each one by one. Maybe the interface could behie-bios flags
without passing paths.Is this something you’d consider supporting?
The text was updated successfully, but these errors were encountered: