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 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 .

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

great, that's a good starting point


Last updated: Jan 30 2023 at 18:04 UTC