I must&#39;ve accidentally deleted part of my email before hitting send. The point was to make the first code sample compile after removing the commented line. But that is not allowed; I get a syntax error:<div><br></div><div>

<div>$ ocamlfind ocamlc -c -package batteries <a href="http://a.ml">a.ml</a> </div><div>File &quot;<a href="http://a.ml">a.ml</a>&quot;, line 6, characters 38-39:</div><div>Error: Syntax error: &#39;end&#39; expected</div>

<div>File &quot;<a href="http://a.ml">a.ml</a>&quot;, line 4, characters 16-19:</div><div>Error: This &#39;sig&#39; might be unmatched</div><div><br></div><div>I&#39;m wondering if there is a better solution than my second code sample.</div>

<div><br></div><br><div class="gmail_quote">On Tue, Feb 21, 2012 at 1:16 PM, Ashish Agarwal <span dir="ltr">&lt;<a href="mailto:agarwal1975@gmail.com">agarwal1975@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div>The following code compiles correctly:</div><div><br></div><div>----- <a href="http://a.ml" target="_blank">a.ml</a> -----</div><div>open Batteries</div><div>module Ord = struct type t=string let compare=compare end </div>

<div><br></div>
<div>module type S = sig</div><div>  include module type of Map.Make(Ord)</div><div>  (* include module type of Map.Make(Ord).Labels *)</div><div>end</div><div>-----</div><div><br></div><div>An easy workaround is to name the functor&#39;s result:</div>


<div><br></div><div><div>----- <a href="http://a.ml" target="_blank">a.ml</a> -----</div><div>open Batteries</div><div>module Ord = struct type t=string let compare=compare end </div><div><br></div><div>module M = Map.Make(Ord)</div>

<div>
<br></div><div>module type S = sig</div><div>  include module type of M</div><div>  include module type of M.Labels</div><div>end</div></div><div>-----</div><div><br></div><div>The above compiles correctly, but is this the best/only solution?</div>


<div><br></div>
</blockquote></div><br></div>