Coqtail: Errors in autocompletion

When I try to autocomplete with ctrl+n I get the errors below. Reproducing this seems to require at least one Require loaded.

Require List. (* stop Coq buffer here *)
f (* ctrl+n here *)
Scanning tags.
Error detected while processing function coqtail#FindLib:
line    1:
Traceback (most recent call last):
Press ENTER or type command to continue
Error detected while processing function coqtail#FindLib:
line    1:
  File "<string>", line 1, in <module>
Press ENTER or type command to continue
Error detected while processing function coqtail#FindLib:
line    1:
NameError: name 'Coqtail' is not defined
Press ENTER or type command to continue
Error detected while processing function coqtail#FindLib:
line    1:
E858: Eval did not return a valid python object

About this issue

  • Original URL
  • State: closed
  • Created 5 years ago
  • Comments: 16 (16 by maintainers)

Most upvoted comments

Ah, that might be it then. Vim’s documentation (:h python-2-and-3) says that can sometimes cause issues. I’ll read more and see what we should do.