Re: [Caml-list] Declaring a parameterized type in a .mli

[Ivan Gotovchits <ivg@ieee.org>]

William Smith <bills@emu-bark.com> writes:


> module Id = GenericID( IDRoot )
Compiler is right =) You can't do this in a module type specification. 

Though you can define a signature of your module in some *.ml file and
use it later in your module type declaration.

For example:

<file sig.ml>:
   module type Id = sig
       type t
       val compare : t -> t -> int
       val to_string : t -> string
       val cons : unit -> t
   end

   module type Root = sig ... end



<file  genericId.mli>
   open Sig
   module Make(Root:Root): Id

   module DefaultId : Id
   
-- 
         (__) 
         (oo) 
   /------\/ 
  / |    ||   
 *  /\---/\ 
    ~~   ~~   
...."Have you mooed today?"...