`CoqLaunch()` hangs
Environment
coqtop -v:
The Coq Proof Assistant, version 8.9.0 (February 2019)
compiled on Feb 22 2019 1:36:29 with OCaml 4.06.1
nvim -v:
NVIM v0.3.4
Build type: RelWithDebInfo
LuaJIT 2.0.5
Compilation: /usr/bin/gcc-5 -Wconversion -U_FORTIFY_SOURCE -D_FORTIFY_SOURCE=1 -O2 -g -DMIN_LOG_LEVEL=3 -Og -g -Wall -Wextra -pedantic -Wno-unused-parameter -Wstrict-prototypes -std=gnu99 -Wvla -fstack-protector-strong -fdiagnostics-color=auto -Wno-array-bounds -DINCLUDE_GENERATED_DECLARATIONS -D_GNU_SOURCE -DNVIM_MSGPACK_HAS_FLOAT32 -DNVIM_UNIBI_HAS_VAR_FROM -I/home/travis/build/neovim/bot-ci/build/neovim/build/config -I/home/travis/build/neovim/bot-ci/build/neovim/src -I/home/travis/build/neovim/bot-ci/build/neovim/.deps/usr/include -I/usr/include -I/home/travis/build/neovim/bot-ci/build/neovim/build/src/nvim/auto -I/home/travis/build/neovim/bot-ci/build/neovim/build/include
Compiled by travis@travis-job-bb83ace7-63ac-4a89-b318-3a124a2bc311
Features: +acl +iconv +jemalloc +tui
See ":help feature-compile"
system vimrc file: "$VIM/sysinit.vim"
fall-back for $VIM: "
/home/travis/build/neovim/bot-ci/build/neovim/build/nvim.AppDir/usr/share/nvim
"
Run :checkhealth for more info
Description
CoqLaunch
hangs (looks like it happens in the call to self.get_answer()
in init()
within coqtop.py
, called during if self.actionners[random_name].restart():
in __init__.py
. Commenting out lines 173 & 174 in coqtop.py
and hard-coding the state values lets the call to CoqLaunch()
complete:
self.messenger.start()
# r = self.init()
# assert isinstance(r, Ok)
self.root_state = 1
self.state_id = 1
though of course it starts erroring after a couple calls to CoqNext()
Steps to Reproduce
I'm not entirely sure...
Debug Output (Optional)
Unfortunately, CoqDebug()
doesn't seem to work before CoqLaunch()
is called as there are no actionners, so I can't produce any meaningful output:
2019-05-11 14:21:33,800 [WARNING @ session.py:handler:201] 10832 - error response from request 'b'/home/james/.local/share/nvim/plugged/coquille/rplugin/python3/pycoqtop:function:CoqDebug' [[]]': Traceback (most recent call last):
File "/home/james/.local/lib/python3.6/site-packages/pynvim/plugin/host.py", line 82, in _wrap_function
return fn(*args)
File "/home/james/.local/share/nvim/plugged/coquille/rplugin/python3/pycoqtop/__init__.py", line 223, in debug
actionner = self.actionners[name]
KeyError: 'false'
During handling of the above exception, another exception occurred:
Traceback (most recent call last):
File "/home/james/.local/lib/python3.6/site-packages/pynvim/msgpack_rpc/session.py", line 195, in handler
rv = self._request_cb(name, args)
File "/home/james/.local/lib/python3.6/site-packages/pynvim/api/nvim.py", line 210, in filter_request_cb
result = request_cb(name, args)
File "/home/james/.local/lib/python3.6/site-packages/pynvim/plugin/host.py", line 104, in _on_request
rv = handler(*args)
File "/home/james/.local/lib/python3.6/site-packages/pynvim/plugin/host.py", line 87, in _wrap_function
raise ErrorResponse(msg)
pynvim.msgpack_rpc.session.ErrorResponse: error caught in request handler '/home/james/.local/share/nvim/plugged/coquille/rplugin/python3/pycoqtop:function:CoqDebug [[]]':
Traceback (most recent call last):
File "/home/james/.local/share/nvim/plugged/coquille/rplugin/python3/pycoqtop/__init__.py", line 223, in debug
actionner = self.actionners[name]
KeyError: 'false'