Re: [Caml-list] Problem with module inclusion

[Fabrice Marchant <fabricemarchant@free.fr>]

On Thu, 05 Jun 2008 09:36:09 +0200
Jean-Christophe Filliâtre <Jean-Christophe.Filliatre@lri.fr> wrote:

> You need
> 
> - either to export to_list in signature of XMap above as
> 
> 	val to_list : 'a t -> (X.t * 'a) list
> 
>   and then you'll be able to write StringCounters.XMap.to_list in your
>  example
> 
> - or to re-export it in module Counters, as
> 
> 	let to_list = XMap.to_list
> 
>   and to declare it in signature of module Counters, as
> 
> 	val to_list : t -> (X.t * int) list
> 
>   and then to use it as StringCounters.to_list in your example.
> 
> Hope this helps,
   It perfectly does ! Thanks a lot.

  Among the 2 ways you explained, I prefer the former because we haven't to worry over what is the enclosing module. But maybe specifying 'int' type in the later would cause a speeder code ?

Regards,

Fabrice

http://fabrice.marchant.free.fr/siteOCaml/OCaml.html