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

Integrated support for Mill BSP Server #3307

Closed
4 tasks done
ckipp01 opened this issue Oct 29, 2020 · 0 comments · Fixed by #3308
Closed
4 tasks done

Integrated support for Mill BSP Server #3307

ckipp01 opened this issue Oct 29, 2020 · 0 comments · Fixed by #3308
Labels
BSP Generic BSP related tickets improvement Not a bug or a feature, but something general we can improve mill Mill related tickets

Comments

@ckipp01
Copy link
Member

ckipp01 commented Oct 29, 2020

Is your feature request related to a problem? Please describe.
BSP is now a first class citizen in Mill. It'd be great if Metals had the ability to generate the BSP config necessary for discovery and then auto-connect.

I'll also be keeping track of stuff that I find which will be important for Mill to implement on their side to ensure a good experience for Metals users.

Describe the solution you'd like
Much of the work that is being done in #2154 will make this much smoother to do. I don't expect it to be too difficult.

Describe alternatives you've considered
Manually connect after creating the BSP config.

Search terms:
Mill BSP

@ckipp01 ckipp01 transferred this issue from scalameta/metals-feature-requests Nov 22, 2021
@tgodzik tgodzik added BSP Generic BSP related tickets mill Mill related tickets improvement Not a bug or a feature, but something general we can improve labels Nov 23, 2021
@tgodzik tgodzik added this to the Metals v0.11.0 milestone Jan 12, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
BSP Generic BSP related tickets improvement Not a bug or a feature, but something general we can improve mill Mill related tickets
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants