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
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: 2007-11-03 (22:47)
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?