[ocaml-platform] Changes to my previous proposal for namespaces

[Edgar Friendly]

On Mon, Mar 18, 2013 at 1:50 PM, Leo White <lpw25 at cam.ac.uk> wrote:

>  Ensuring a well-defined ordering between multiple "automatically opened
> modules" would require namespaces to be closed all the time, not just
> during a particular compilation.
>


The reason for this evades me; I don't see why ordering module includes
would require namespaces to be closed all the time.  Is this because the
open order of namespaces used by all compilation units of a project must
have a consistent ordering?  As far as shadowing is concerned, this
shouldn't be a problem; each module can bind to different sets of
identifiers.  As for link order, can't this just be determined by the
namespace order at link time?  What am I missing?

E.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/platform/attachments/20130318/ec005a26/attachment-0001.html>