search

coq / vscoq

Visual Studio Code extension for Coq
MIT License
336 stars 68 forks source link

vscoqtop long-running orphaned processes; coqc hangs on unification #746

Open artagnon opened 7 months ago

artagnon commented 7 months ago

On files on which coqc hangs on unification, using vscoq results in multiple long-running orphaned vscoqtop processes eating up significant portions of the CPU and memory. vscoqtop should be killed when the project is closed in vscode, and arguably, we should provide a Coq: Kill command in the palette, as this is essential in developing any non-trivial project.

rtetley commented 7 months ago

Hi ! Thanks for reporting ! By close the project I assume you mean the folder ? Or do you mean they still run even after closing vscode ? Also what sould Coq: Kill do exactly ? I assume cancel the current running computations in the server ?