-
-
Notifications
You must be signed in to change notification settings - Fork 367
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
Default main for ghcide #1338
Default main for ghcide #1338
Conversation
I thought the goal was sharing the main function between HLS and ghcide? |
That's the stretch goal. The two seem to have diverged, so I think it's better to go step by step and do it in separate PRs |
4cd3b1f
to
93b5542
Compare
@wz1000 I have implemented the stretch goal too. |
6531d07
to
f2ee6ea
Compare
A ghc 8.10.4 install failed due to a ghcup segfault:
|
6401a22
to
fc21b2e
Compare
Gresat! So, once this PR have landed, we can break down our monolithic func-test into per-plugin ones, right? |
Yeah, this PR will make it simpler to run ghcide with a custom set of HLS plugins for use in tests |
Seems like now is the best moment to do it and avoid later accidents
``` benchmark experiments 674 hover: OK (30.50s) 675 hover after edit: OK (65.67s) 676 getDefinition: OK (12.24s) 677 getDefinition after edit: OK (62.37s) 678 documentSymbols: OK (13.95s) 679 documentSymbols after edit: OK (16.87s) 680 completions: OK (13.64s) 681 completions after edit: OK (66.82s) 682 code actions: OK (13.80s) 683 code actions after edit: OK (58.70s) 684 code actions after cradle edit: OK (1244.46s) 685 hover after cradle edit: OK (1230.61s) ```
fc21b2e
to
e87fb93
Compare
mmm it worked in master and previous pr's, no? |
Fixes #1336