Dear camlp4 gurus,<br><br>I am looking to extend the ocaml syntax to add some keyword to module signatures (in a similar way the type-conv module does for type definition). However I am stuck with a very basic example. Can anyone tell me what&#39;s wrong here ? It seems that my extension clashes with &#39;module_type t ::= mt with wc&#39; in <a href="http://brion.inria.fr/gallium/index.php/Abstract_Syntax_Tree#Module_types">http://brion.inria.fr/gallium/index.php/Abstract_Syntax_Tree#Module_types</a> but I still have the same problem if I change the &#39;with&#39; keyword to &#39;where&#39;.<br>
<br>Cheers,<br>Thomas<br><br>=== <a href="http://foo.ml">foo.ml</a> ===<br>open Camlp4<br>open PreCast<br>open Ast<br>open Syntax<br><br>EXTEND Gram<br><br>GLOBAL: sig_item;<br><br>sig_item:  [[<br>    &quot;module&quot;; &quot;type&quot;; i = a_UIDENT; &quot;=&quot;; mt = module_type; &quot;with&quot;; id = LIDENT -&gt;<br>
        &lt;:sig_item&lt; module type $uid:i ^ &quot;_&quot; ^ id$ = $mt$; &gt;&gt;<br>    ]];<br>END<br>===<br><br>=== <a href="http://test.ml">test.ml</a> ===<br>module type S = sig<br>    val x : unit -&gt; unit<br>end with foo<br>
===<br><br>=== compilation<br>$  ocamlfind ocamlc -package camlp4 -c -pp &quot;camlp4orf&quot; <a href="http://foo.ml">foo.ml</a><br>$ camlp4o foo.cmo <a href="http://test.ml">test.ml</a><br>File &quot;<a href="http://foo.ml">foo.ml</a>&quot;, line 3, characters 4-8:<br>
Parse error: [with_constr] expected after &quot;with&quot; (in [module_type])<br>===<br><br>