search

derekelkins / agda-vim

Agda interaction in vim
BSD 2-Clause "Simplified" License
130 stars 47 forks source link

python3 compatibility #15

Closed glslang closed 8 years ago

glslang commented 8 years ago

Hi,

Some changes for python3 compatibility. As it stands it should now be possible to use vim with either python 2 or python 3 plugin support.

Many thanks!

derekelkins commented 8 years ago

There were a few easily fixed issues with this pull request when actually using Python 3. Unfortunately, there were also quite serious issues that makes this not something that is easy to do. I've incorporated your changes to ease potentially supporting Python 3, but the code is set up to only attempt to use Python 2 because it's broken under Python 3. See the comment I added above the UsingPython2 function in the commit I just made.