Error messages when `idris2` isn't in `$PATH` about idris2-nvim HOT 4 OPEN

The annoying error message should be dealt with and I will investigate the issue with the startup times. In the mean time I suggest using some sort of lazy loading. Since you are using Packer, you cannot use the ft option to lazy load, because the idris2 filetype is created by the plugin itself, therefore you must use autocmds or the custom function lazy loading of Packer.

from idris2-nvim.

Also, this plugin seems to slow down Neovim's startup time for all files I open; not just Idris files.

from idris2-nvim.

@sagehane can you share your Packer config? I don't get any errors in my Packer script when the executable is missing, I only see it in the output of :LspInfo.

from idris2-nvim.

@gwerbin, you should be correct because I can no-longer reproduce the error message for non-Idris2 files. Assuming I wasn't delusional, it probably was fixed since then.

The LSP still causes slow-downs for Neovim if the plugin is loaded and idris2 is in PATH (help appreciated if you can reproduce it). Although that probably could be tracked by a different issue, and this can be closed. Thoughts?

from idris2-nvim.