E716: Key not present in Dictionary: zones E15: Invalid expression: self.zones
Hi, I tried to run your plugin with:
-
Vim 8.1
-
Coq 8.6
I receive following errors when executing eg. :CoqNext
(:CoqStart
didn't report any problems):
Error detected while processing function 322[3]..305:
line 8:
E716: Key not present in Dictionary: zones
E15: Invalid expression: self.zones
Minimal workaround that works for me (I didn't have time to fully understand what is going on here):
autoload/coqtop.vim | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/autoload/coqtop.vim b/autoload/coqtop.vim
index 6239c8d..635fe84 100644
--- a/autoload/coqtop.vim
+++ b/autoload/coqtop.vim
@@ -537,7 +537,7 @@ function s:coq.try_start (job, status)
endif
" Try to start using the next potential command.
- let cmd = remove(self.job_commands, 0) . ' -main-channel stdfds -async-proofs on'
+ let cmd = remove(self.job_commands, 1) . ' -main-channel stdfds -async-proofs on'
call self.log('j', "start", cmd)
let self.job = job_start(cmd,
\ {'mode': 'raw', 'out_cb': self.callback, 'exit_cb': self.try_start})