Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Strategy to avoid name collision in signatures
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Andrej Bauer <Andrej.Bauer@f...>
Subject: Re: [Caml-list] Strategy to avoid name collision in signatures
Michaël Le Barbier wrote:
>   include OrderedType.Make(struct ... end)
>   include FunnyType.Make(struct ... end)

Can you give a convincing example that would prevent you from separating
these two with tsubmodules, i.e.,

module AsOrd = OrderedType.Make(struct ... end)
module AsFunny = FunnyType.Make(struct ... end)

If you really want to "blend" together OrderedType and FunnyType in the
same module, then they must be meaningfully related. What example do you
have in mind?