search

Julian / lean.nvim

Neovim support for the Lean theorem prover
MIT License
277 stars 26 forks source link

Confirm whether upstream change to vim.diagnostic affects us #133

Closed Julian closed 3 years ago

Julian commented 3 years ago

https://github.com/neovim/neovim/issues/14090#issuecomment-921312955 likely affects at least one or two parts of the codebase.

rish987 commented 3 years ago

Yeah I've already seen test failures at #123 relating to try-this, will investigate soon.