Skip to content

[WIP] Neovim extension#12

Draft
paulpatault wants to merge 4 commits intoxldenis:masterfrom
paulpatault:master
Draft

[WIP] Neovim extension#12
paulpatault wants to merge 4 commits intoxldenis:masterfrom
paulpatault:master

Conversation

@paulpatault
Copy link

No description provided.

@paulpatault paulpatault changed the title Neovim extension [WIP] Neovim extension Apr 29, 2023
@xldenis
Copy link
Owner

xldenis commented Apr 30, 2023

Incredible! Does it work? If we can get someone to make the eMacs equivalent I think we'll be able to really pitch this to the lab

@paulpatault
Copy link
Author

So far, only the lsp error highlighting is working.
I will try to get the code actions and task visualization working.

@paulpatault paulpatault force-pushed the master branch 26 times, most recently from 433b733 to a5ae502 Compare May 2, 2023 16:51
@xldenis
Copy link
Owner

xldenis commented May 2, 2023

That demo pic is beautiful!

@xldenis
Copy link
Owner

xldenis commented Oct 3, 2023

@paulpatault I'd like to move forward on this soon, do you think you could attempt rebasing? It doesn't need to be finished, or have code action support for now. I think it would already be cool if we can load a session and display errors in vim to start.

@xldenis
Copy link
Owner

xldenis commented Oct 4, 2023

If it's alright with you I'll take care of final the final merge. God I love your goal viewer in nvim, I want to build the same thing in VSCode to replace the task tree.

@paulpatault
Copy link
Author

No problem.
On my side, I cannot compile anymore the project due to opam conflicts... Maybe we can talk about it next time we see each other.

@xldenis
Copy link
Owner

xldenis commented Oct 4, 2023

On my side, I cannot compile anymore the project due to opam conflicts... Maybe we can talk about it next time we see each other.

rahhhh opam. If only ocaml had a functional dependency management solution.

@xldenis xldenis force-pushed the master branch 5 times, most recently from 24d18dd to 44b696f Compare June 30, 2024 20:12
@paulpatault paulpatault force-pushed the master branch 3 times, most recently from 3f23a20 to e27c94e Compare August 13, 2024 15:41
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