search

ShinKage / idris2-nvim

Simple configuration and extra tools for NVIM + LSP + Idris2
MIT License
46 stars 8 forks source link

Nothing works except for syntax highlighting #26

Closed RHL120 closed 1 year ago

RHL120 commented 1 year ago

Hello, I have been trying to setup this plugin for my neovim. I have installed idris2 and idris2-pack using this bash -c "$(curl -fsSL https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash)" shown on their github page. Then I proceed to install idris2-lsp by using their recommended method (pack). I added this plugin with packer for neovim and I inserted require('idris2').setup({}) into my config file. When I edit any idris file (a file that ends with .idr). I get syntax highlighting but no autocomplete, no error reporting and no interactive development. I am sorry if this is an invalid issue but I have exhausted all solutions I could think of. Thanks for your time! PS: here is my nvim config: https://github.com/RHL120/neovimcfg. The only files that matter are probably:

ShinKage commented 1 year ago

Is there an ipkg file in the directory of the .idr file or uproot? The LSP server requires an ipkg file to function correctly as stated here.

RHL120 commented 1 year ago

Is there an ipkg file in the directory of the .idr file or uproot? The LSP server requires an ipkg file to function correctly as stated here.

Oops. I am really sorry for wasting your time. This works, thank you very much.

ShinKage commented 1 year ago

Oops. I am really sorry for wasting your time. This works, thank you very much.

Don't worry, I really should find a way to notify the user about the issue within neovim.

RHL120 commented 1 year ago

Oops. I am really sorry for wasting your time. This works, thank you very much.

Don't worry, I really should find a way to notify the user about the issue within neovim.

I don't know how they do it but rust analyzer have it:

[lspconfig] cmd ("cargo metadata --no-deps --format-version 1") failed:
error: could not find `Cargo.toml` in `/home/rhl120` or any parent directory
ShinKage commented 1 year ago

Added a warning message.