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)
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.