E5113: Error while calling lua chunk

[icarosadero]

I am new to Nvim and Lean. I installed the plugin as a file in ~/.config/nvim/lua/plugins/lean.lua. The contents looks like this:

return {
{
  'Julian/lean.nvim',
  event = { 'BufReadPre *.lean', 'BufNewFile *.lean' },

  dependencies = {
    'neovim/nvim-lspconfig',
    'nvim-lua/plenary.nvim',
    'hrsh7th/nvim-cmp',

    -- optional dependencies:

    -- a completion engine
    --    hrsh7th/nvim-cmp or Saghen/blink.cmp are popular choices

    'nvim-telescope/telescope.nvim', -- for 2 Lean-specific pickers
    'andymass/vim-matchup',          -- for enhanced % motion behavior
    'andrewradev/switch.vim',        -- for switch support
    'tomtom/tcomment_vim',           -- for commenting
  },

  ---@type lean.Config
  opts = { -- see below for full configuration options
    mappings = true,
  }
}
}

Now, when I try to open a .lean file, I get this error:

Error detected while processing BufReadPost Autocommands for "*":
Error executing lua callback: /usr/share/nvim/runtime/filetype.lua:24: Error executing lua: /usr/share/nvim/runtime/filetype.lua:25: BufReadPost Autocommands for "*"..FileType Autocommands for "*"..function <SNR
>1_LoadFTPlugin[19]..script /home/user/.local/share/nvim/lazy/lean.nvim/ftplugin/lean/lean.lua: Vim(runtime):E5113: Error while calling lua chunk: .../.local/share/nvim/lazy/lean.nvim/ftplugin/lean/lean.lu
a:26: attempt to call field 'iter' (a nil value)
stack traceback:
        .../.local/share/nvim/lazy/lean.nvim/ftplugin/lean/lean.lua:26: in main chunk
        [C]: in function 'nvim_cmd'
        /usr/share/nvim/runtime/filetype.lua:25: in function </usr/share/nvim/runtime/filetype.lua:24>
        [C]: in function 'nvim_buf_call'
        /usr/share/nvim/runtime/filetype.lua:24: in function </usr/share/nvim/runtime/filetype.lua:10>
stack traceback:
        [C]: in function 'nvim_cmd'
        /usr/share/nvim/runtime/filetype.lua:25: in function </usr/share/nvim/runtime/filetype.lua:24>
        [C]: in function 'nvim_buf_call'
        /usr/share/nvim/runtime/filetype.lua:24: in function </usr/share/nvim/runtime/filetype.lua:10>
stack traceback:
        [C]: in function 'nvim_buf_call'
        /usr/share/nvim/runtime/filetype.lua:24: in function </usr/share/nvim/runtime/filetype.lua:10>

I don't know how to fix this

[Julian]

That would sound like your version of Neovim is very old. What does nvim --version say? You need at least 0.10.

[icarosadero]

Hm, that seems to be the case:

NVIM v0.9.5
Build type: Release
LuaJIT 2.1.1703358377

   system vimrc file: "$VIM/sysinit.vim"
  fall-back for $VIM: "/usr/share/nvim"

Run :checkhealth for more info

I installed it via the default Ubuntu apt manager. I'll update and see if it works, thank you!

[icarosadero]

Ok, the error is no more after I upgraded to 0.12