Re: [Caml-list] Re: "module type of" on sub-module of functor result

["Hezekiah M. Carty" <hez@0ok.org>]

On Tue, Feb 21, 2012 at 2:37 PM, Ashish Agarwal <agarwal1975@gmail.com> wrote:
> I must'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:
>
> $ ocamlfind ocamlc -c -package batteries a.ml
> File "a.ml", line 6, characters 38-39:
> Error: Syntax error: 'end' expected
> File "a.ml", line 4, characters 16-19:
> Error: This 'sig' might be unmatched
>
> I'm wondering if there is a better solution than my second code sample.
>

I use this quite often.  Your first example is close:

---- a.ml ----
open Batteries
module Ord = struct type t=string let compare=compare end

module type S = sig
  include module type of Map.Make(Ord)
  (* You do not need the Map.Make(Ord) prefix *)
  include module type of Labels
end
----

That works for me on OCaml 3.12.1 with Batteries 1.4.1.

Hez