Broken pipe with 8.10+beta1 on compcert
Using 8.10+beta1 with the version check removed.
On lib/Integers.v in compcert, I can do CoqStart, and make the beginning blue, but I can't process to the end of the file, I get this error:
error caught while executing async callback:
BrokenPipeError(32, 'Broken pipe')
Traceback (most recent call last):
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 255, in run_request
requester.request()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 315, in request
self.obj.ct.advance(res['message'], encoding)
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqtop.py", line 279, in advance
self.messenger.add_message(Add(self, instr))
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqtop.py", line 32, in add_message
raise self.exception
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqtop.py", line 86, in run
self.coqtop.send_cmd(message.get_string())
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqtop.py", line 338, in send_cmd
self.coqtop.stdin.flush()
BrokenPipeError: [Errno 32] Broken pipe
the call was requested at
File "/usr/lib/python3.6/threading.py", line 916, in _bootstrap_inner
self.run()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 626, in run
self.cursor()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 573, in cursor
res = request(self.vim, FullstepsRequester(self, cline, ccol))
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 250, in request
vim.async_call(run_request, requester)
Edited by Janus Troelsen