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 .
great, that's a good starting point
Last updated: Jun 04 2023 at 23:30 UTC