Errors in autocompletion about coqtail HOT 16 CLOSED

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.

from coqtail.

I tried a couple different versions of vim and python and wasn't able to reproduce this error. What versions are you using and did this just start after a recent pull?

from coqtail.

Hm, I should have suspected it may be tricky to reproduce.

I have python 3.7.3, vim 8.1 (I'm on Arch) and the latest pull of Coqtail.

from coqtail.

And I've had this issue for a while actually.

I couldn't get any change by turning off various other plugins and options.

from coqtail.

Have you tried doing a clean reinstall of Coqtail? I moved the python files from autoload/ to python/ at some point and I wonder if some lingering .pyc files might be confusing the import or something?

from coqtail.

Also, what is your pyxversion option set to?

from coqtail.

I have pyxversion=3 and the issue is still there with a clean reinstall (though there were a couple of old files as you mention).

The issue existed for me for as long as the FindLib function existed (since commit 4850e89).

from coqtail.

Stranged, based on the error message it looks like Coqtail isn't imported, but if that was the case you shouldn't be able to do anything. If you copy the Py from coqtail import Coqtail on line 36 to inside coqtail#FindLib does that do anything? Or changing pyxeval to py3eval?

from coqtail.

No luck :( (nothing changes)

from coqtail.

Does the GotoDef function raise the same error (e.g. :CoqGotoDef nat)?

from coqtail.

It throws some error:

Error detected while processing function coqtail#GotoDef:
line    2:
Traceback (most recent call last):
  File "<string>", line 1, in <module>
NameError: name 'Coqtail' is not defined
E858: Eval did not return a valid python object
line    3:
E691: Can only compare List with List
line    7:
E714: List required
line   11:
E121: Undefined variable: l:searches

Thanks for going through this, I wouldn't know how to troubleshoot this!

from coqtail.

In the output of vim --version do you have +python3 and -python or is there something like +python3/dyn?

from coqtail.

+python/dyn +python3/dyn

from coqtail.

Ok, could you try pulling the python-fix branch and see if that did it?

from coqtail.

That works! I see autocompletion for the libraries, very cool!

from coqtail.

Great, then I'll merge it into master.

from coqtail.