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

HLS for the new generated LSP 2 release #3621

Merged
merged 75 commits into from
Jun 19, 2023

Conversation

joyfulmantis
Copy link
Collaborator

I am going through the codebase to update it to @michaelpj 's upcoming LSP 2 release. So far the only part that compiles is hls-plugin-api. I am currently working on ghcide, which should be the last hard part of this change. The new LSP release is generated, which means there are a lot of changes, hence this PR will probably end up touching pretty much every part of the project.

If you would like to start reviewing this work, you should start with hls-plugin-api. Again it is the only part that compiles, and other parts will be subject to significant change.

@joyfulmantis
Copy link
Collaborator Author

@guibou with commit 8cb740f, the new hls should build on nix now. Would love for you to check it though, as not sure it's done the right way.

@joyfulmantis
Copy link
Collaborator Author

@everyone This builds and all the tests pass. Would love some more eyes on the changes though, to make sure I didn't let anything nasty slip through.

Copy link
Collaborator

@michaelpj michaelpj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

TBH, this is a tough one to review. I read it all, but I'm not sure others will have the time to. I think I'm inclined to merge it and let people refer back if they want or if there are problems.

@joyfulmantis joyfulmantis merged commit a918c02 into haskell:master Jun 19, 2023
45 of 46 checks passed
@joyfulmantis joyfulmantis deleted the new-lsp-release branch June 21, 2023 14:32
@fendor fendor mentioned this pull request Aug 8, 2023
19 tasks
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.

None yet

2 participants