coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Compile ocaml coq 8.5beta1 plugin

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Compile ocaml coq 8.5beta1 plugin
Date: Fri, 15 May 2015 16:06:44 +0200

On Fri, May 15, 2015 at 01:38:29PM +0000, Nico wrote:
> Here is a project that illustrate my problem
> https://github.com/nilehmann/my_plugin

Yes, the .mllib file should list module names in the right order.
Since G_my_plugin uses My_module, it should be listed after it.

Patch attached, best regards
--
Enrico Tassi

diff --git a/src/my_plugin.mllib b/src/my_plugin.mllib
index 9be2081..b03a2a7 100644
--- a/src/my_plugin.mllib
+++ b/src/my_plugin.mllib
@@ -1,2 +1,2 @@
-G_my_plugin
 My_module
+G_my_plugin

[Coq-Club] Compile ocaml coq 8.5beta1 plugin, Nico, 05/14/2015
- Re: [Coq-Club] Compile ocaml coq 8.5beta1 plugin, Enrico Tassi, 05/15/2015
  - Re: [Coq-Club] Compile ocaml coq 8.5beta1 plugin, Nico, 05/15/2015
    - Re: [Coq-Club] Compile ocaml coq 8.5beta1 plugin, Enrico Tassi, 05/15/2015
      - Re: [Coq-Club] Compile ocaml coq 8.5beta1 plugin, Nico, 05/15/2015