Matthieu Sozeau (Dec 01 2021 at 10:22): Matthieu Sozeau (Dec 01 2021 at 10:22):It seems vscode is broken by some update to coq-master again: I'm getting
coqtop-stderr: [pid 41008] Unexpected XML message
[pid 41008] Expected XML node: int
[pid 41008] XML tree received: <bool val="false"/>
Hello, I had the same issue, I have written a quick-and-dirty fix in https://github.com/quarkcool/vscoq-1 . As you correctly identified, this was indeed a regression caused by https://github.com/coq/coq/pull/14644
The fix is "dirty" as the real solution should use the correct XML protocol based on the underlying Coq version, but I am not sufficiently familiar with VSCoq for that .
Fabian Kunze (Dec 09 2021 at 20:40):great, that's a good starting point
Last updated: Jun 04 2023 at 23:30 UTC