Errors put Coquille in a broken state
I occasionally get this while editing proofs. I believe Coquille shouldn't get into this state, even if my proof is invalid. I am just going through the Basics chapter of Software Foundations, so I am not doing anything fancy.
Error detected while processing function CoqModify[1]..remote#define#request:
line 2:
error caught in request handler '/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop:function:CoqModify [[]]':
Traceback (most recent call last):
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 99, in modify
self.diditdieyet()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 46, in diditdieyet
raise actionner.exception
File "/usr/lib/python3/dist-packages/neovim/plugin/host.py", line 69, in _wrap_function
return fn(*args)
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 99, in modify
self.diditdieyet()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 46, in diditdieyet
raise actionner.exception
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 527, in run
self.check_modification()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 428, in check_modification
self.cursor()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 466, in cursor
self.undo([steps])
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/__init__.py", line 449, in undo
self.ct.goals()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqtop.py", line 199, in goals
self.messenger.add_message(CoqGoal(self, advance))
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqtop.py", line 40, in add_message
raise self.exception
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqtop.py", line 66, in run
ans = self.coqtop.get_answer()
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqtop.py", line 293, in get_answer
return a.parse_response(elt)
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqapi.py", line 186, in parse_response
return Err(parse_value(valueNode[1]), messageNodes, valueNode.get('loc_s'), valueNode.get('loc_e'))
File "/home/janus/.config/nvim/bundle/coquille/rplugin/python3/pycoqtop/coqapi.py", line 135, in __init__
self.loc_s = int(loc_s)
Error detected while processing function CoqModify[1]..remote#define#request:
line 2:
TypeError: int() argument must be a string, a bytes-like object or a number, not 'NoneType'