index-out of range

[andrevidela]

This might be a problem with the idris compiler rather than LSP but I don't even know where to start to investigate that. I have a file that consistently returns the following error on save:

Error executing vim.schedule lua callback: ...l/share/nvim/plugged/idris2-nvim/lua/idris2/semantic.lua:55: index out of range
stack traceback:
        [C]: in function 'str_byteindex'
        ...l/share/nvim/plugged/idris2-nvim/lua/idris2/semantic.lua:55: in function 'handler'
        .../neovim/0.10.4/share/nvim/runtime/lua/vim/lsp/client.lua:687: in function ''
        vim/_editor.lua: in function <vim/_editor.lua:0>

here is the file https://gist.github.com/andrevidela/9f0d16c2b7dc4d75a6c30a22944263c5

I've not started to minimise the example yet

[e1turin]

Same issue.

It looks related to neovim/neovim#30675, or I am wrong?

[andrevidela]

Oh yes could very well be