[ocaml-platform] on the need and design of OCaml namespaces

[Daniel Bünzli]

Le vendredi, 22 février 2013 à 17:32, Leo White a écrit :
> The problem with such a proposal is: what happens when someone tries to
> apply a functor to this `cmia` module?

Then you cannot do anything but treat it like a regular module. I don't see any problem in that, everything in the cmxa will be linked in in your functor application and that's all.  

I'm sure the compiler should be able to treat that without any problem or overly complexity.

Daniel