`:call CoqLaunch()` hangs
Environment
- Coq version (run
coqtop -v
if unsure): 8.9.0 (February 2019) - Neovim version (run
nvim -v
if unsure): v0.3.5 - I have run
:UpdateRemotePlugins
in neovim but it didn't help: yes - Branch (run
git branch
if unsure): master
Description
:call CoqLaunch()
does not terminate and nvim hangs.
/usr/local/Cellar/python/3.7.3/Frameworks/Python.framework/Versions/3.7/Resources/Python.app/Contents/MacOS/Python -c import sys; sys.path.remove(""); import neovim; neovim.start_host() /Users/voglerr/.vim/bundle/coquille/rplugin/python3/pycoqtop
is running with >10% CPU. After I kill it nvim gets responsive again.
Debug Output (Optional)
:checkhealth
gives me
health#provider#check
========================================================================
## Clipboard (optional)
- OK: Clipboard tool found: pbcopy
## Python 2 provider (optional)
- INFO: `g:python_host_prog` is not set. Searching for python2 in the environment.
- INFO: Executable: /usr/local/bin/python2
- INFO: Python version: 2.7.16
- INFO: pynvim version: 0.3.2
- OK: Latest pynvim is installed.
## Python 3 provider (optional)
- INFO: `g:python3_host_prog` is not set. Searching for python3 in the environment.
- INFO: Executable: /usr/local/bin/python3
- INFO: Python version: 3.7.3
- INFO: pynvim version: 0.3.2
- OK: Latest pynvim is installed.