Stream: Coq users

Topic: Debug printer loader file for opam Coq?


view this post on Zulip Michael Soegtrop (Mar 31 2021 at 18:12):

When I compile Coq with dune, there is a convenient file "dune_db" which I can source in ocamldebug. Is there something similar when Coq is installed via opam? It does install bytecode coqtop, so it would make sense ...

I am sometimes using ocamldebug to inspect slow processing, e.g. with cbv or Qed.

view this post on Zulip Michael Soegtrop (Mar 31 2021 at 18:14):

Please ignore - I found it (it is in the sources in dev). I thought it was a generated file.


Last updated: Jan 28 2023 at 07:30 UTC