Version française
Home     About     Download     Resources     Contact us    
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?

Andrej