Ali Caglayan (May 08 2022 at 17:13): Ali Caglayan (May 08 2022 at 17:13):Is there a way to use dune coq top with coqide?
Théo Zimmermann (May 09 2022 at 07:52):dune coq top is supposed to allow you to use alternative toplevels like coqidetop. However, so far, none of the IDEs support it out of the box AFAICT.
Emilio Jesús Gallego Arias (May 09 2022 at 14:57):coqide has an option panel to set the coqtop name, maybe that could work
Emilio Jesús Gallego Arias (May 09 2022 at 14:57):tho in the end you want something a bit nicer, using the Dune RPC so the IDE can inform the user about that
Last updated: Oct 13 2024 at 01:02 UTC