LSP does not restart on version upgrade
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Aptitud para principiantes
- 48/100
Línea de trabajo
Start by tracing the Neovim LSP lifecycle around the vim.lsp.enable('leanls', false) and vim.lsp.enable('leanls') entry points described in the issue. Determine how a Lean version upgrade can be detected and when the language server should restart, including the version-check race described in the proposed approaches. Done means upgrades restart the LSP automatically without requiring the manual workaround.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
As in the title. This leads to a non-negligible number of headaches, including but not limited to unnecessary rebuild and seemingly corrupted files.
Workaround: A manual way to restart the language server is
:lua vim.lsp.enable('leanls', false); vim.lsp.enable('leanls')
Two ways this can be fixed I can think of:
- Make a temporary document with
#versionto query the LSP's Lean version (apparently there isn't really any easier way? Is there?) - Do something like a seqlock, query the LSP's version before and after launching it, while they disagree then restart the LSP (disproportionately unlikely), if they agree then take that as the version, and restart when version increases (reason: avoid race condition)
- Lenguaje dominante
- Lua
- Estrellas
- 616
- Forks
- 63
- Merge medio
- 1 d 7 h
- PR fusionados (30 d)
- 10
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Sin plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de Julian/lean.nvim
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 54/100
Los mantenedores suelen responder en 1 día
-
Dificultad 3/5 1-2 días Aptitud para principiantes 56/100
Los mantenedores suelen responder en 1 día
Todos los issues de Julian/lean.nvim
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
Los mantenedores suelen responder en 2 días
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
Balatro-Multiplayer/BalatroMultiplayerAPI#67 ·
Los mantenedores suelen responder en 2 días
-
Unconfirmed bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 78/100
luanti-org/luanti#17736 ·
Los mantenedores suelen responder en 1 día
-
bug(bufdelete): all()/other() abort with "Invalid buffer id" when a buffer is wiped during the loopAbierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
folke/snacks.nvim#2986 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 79/100
PlotJuggler/PlotJuggler#1464 ·