Browse thread
Strategy to avoid name collision in signatures
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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