"repeat" is a keyword in Lua. That causes issues when configuring keymap.repeat.

[lucypero]

it returns an error if I remap repeat like this:

vim.g.coq_settings = { 
  auto_start= "shut-up", 
  keymap = { 
    recommended = false,
    manual_complete = "<C-Space>",
    bigger_preview = "<C-k>",
    jump_to_mark = "",
    repeat = "", 
    eval_snips = "",
  } 
}

change it to something else, maybe.

[lucypero]

workaround:

vim.g.coq_settings = { 
  auto_start= "shut-up", 
  keymap = { 
    recommended = false,
    manual_complete = "<C-Space>",
    bigger_preview = "<C-k>",
    jump_to_mark = "",
    eval_snips = "",
    ['repeat'] = "",
  }
}

[kaiuri]

@lucypero what you wrote is actually seen by lua as:

vim.g['coq_settings'] = {
  ['auto_start'] = 'shut-up',
  ['keymap'] = {
    ['recommended'] = false,
    ['manual_complete'] = '<C-Space>',
    ['bigger_preview'] = '<C-k>',
    ['jump_to_mark'] = '',
    ['eval_snips'] = '',
    ['repeat'] = '',
  },
}

so not actually a workaround