Skip to content

Neovim support

Running with vim works, but with nvim I get the following errors upon :CoqStart. I don't know if it's easy to adjust.

Error detected while processing function coqtop#Start[1]..158[21]..127:
line    2:
E121: Undefined variable: v:none
E116: Invalid arguments for function 128
Error detected while processing function coqtop#Start[1]..158[22]..133[2]..130:
line    3:
E716: Key not present in Dictionary: return_queue, [a:command, a:000, a:callback, a:dict])
E116: Invalid arguments for function add
line    4:
E716: Key not present in Dictionary: channel, xml)
E116: Invalid arguments for function ch_sendraw
  • Coq version (run coqtop -v if unsure): 8.9.0 (February 2019)
  • Neovim version (run nvim -v if unsure): v0.3.5