Re: [Caml-list] recursive modules redux, & interface files

[Hendrik Tews <tews@tcs.inf.tu-dresden.de>]

Hi,

Tom Hirschowitz writes:
   Date: Fri, 23 Mar 2001 08:54:43 +0100
   Subject: Re: [Caml-list] recursive modules redux, & interface files
   
   Just curious, but how would you treat this?
   
   module type TEN = 
     sig 
       module PLAYER : sig 
                type t = Andre | Pete | Ivan | Cedric 
                val name : t -> string 
       end
       exception Not_Ex_No1 of PLAYER.t
       type u = PLAYER.t -> PLAYER.t
     end
   
   module Ten = 
     struct 
       includesig TEN
       ...
     end
   
   Reject?
   
Probably. I think we need a solution for the case where a big
variant type is defined in an .ml file and is exported in the
associated .mli file. 

The module language of ocaml is great. But I know only a few
people that are acquainted with it. If you can built expressions
like the above, then you surely find a way with several functor
applications that avoids any duplications. 

Bye,

Hendrik
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr