search

ShinKage / idris2-nvim

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

vim/shared.lua:521: s: expected string, got boolean #32

Open stephen-smith opened 1 month ago

stephen-smith commented 1 month ago 
Error detected while processing FileType Autocommands for "idris2":
Error executing lua callback: vim/shared.lua:521: s: expected string, got boolean
stack traceback:
        [C]: in function 'error'
        vim/shared.lua:662: in function 'validate'
        vim/shared.lua:521: in function 'startswith'
        ...bss/.config/nvim/plugged/idris2-nvim/lua/idris2/init.lua:73: in function 'add'
        ...ig/nvim/plugged/nvim-lspconfig/lua/lspconfig/configs.lua:254: in function 'try_add'
        ...ig/nvim/plugged/nvim-lspconfig/lua/lspconfig/configs.lua:76: in function <...ig/nvim/plugged/nvim-lspconfig/lua/lspconfig/configs.lua:75>

I am using an older version of nvim (NVIM v0.7.2) and nvim-lspconfig (Plug 'neovim/nvim-lspconfig', { 'tag': 'v0.1.6' }), which is probably the issue, but I'd like to avoid upgrading nvim and that's the latest tag of nvim-lspconfig that supported that nvim.