Stream: VsCoq devs & users

Topic: VSCode and Coq master

view this post on Zulip 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"/>

view this post on Zulip Martin C (Dec 03 2021 at 20:20):

Hello, I had the same issue, I have written a quick-and-dirty fix in . As you correctly identified, this was indeed a regression caused by

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 .

view this post on Zulip Fabian Kunze (Dec 09 2021 at 20:40):

great, that's a good starting point

Last updated: May 18 2024 at 08:40 UTC