English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
RE: [Caml-list] recursive modules redux, & interface files
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2001-03-27 (08:50)
From: Hendrik Tews <tews@t...>
Subject: Re: [Caml-list] recursive modules redux, & interface files

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 = 
       module PLAYER : sig 
                type t = Andre | Pete | Ivan | Cedric 
                val name : t -> string 
       exception Not_Ex_No1 of PLAYER.t
       type u = PLAYER.t -> PLAYER.t
   module Ten = 
       includesig TEN
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. 


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