coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] get the name of the current module in a plugin

From: Alan Schmitt <alan.schmitt AT polytechnique.org>
To: Coq <coq-club AT inria.fr>
Subject: [Coq-Club] get the name of the current module in a plugin
Date: Fri, 22 Jun 2012 09:59:03 +0200

Hello,

I'm writing a plugin where at some point I need to find the module_path of
the current module. Is there function to do this?

By the way, I've tried to find this reading the .mli files of the Coq
distribution. Is there some other documentation for writing plugins?

Thanks a lot,

Alan

[Coq-Club] get the name of the current module in a plugin, Alan Schmitt, 06/22/2012
- Re: [Coq-Club] get the name of the current module in a plugin, Pierre-Marie Pédrot, 06/25/2012
  - Re: [Coq-Club] get the name of the current module in a plugin, Alan Schmitt, 06/25/2012
    - Re: [Coq-Club] get the name of the current module in a plugin, Thomas Braibant, 06/25/2012
      - Re: [Coq-Club] get the name of the current module in a plugin, Alan Schmitt, 06/26/2012