Stream: Dune devs & users

Topic: How to use dune coq top with coqide?


view this post on Zulip Ali Caglayan (May 08 2022 at 17:13):

Is there a way to use dune coq top with coqide?

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

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

view this post on Zulip 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: Jan 30 2023 at 17:03 UTC