Re: [Caml-list] Module aliases ideal name-spacing

[Leo White <lpw25@cam.ac.uk>]

> One set of modules that form a kind of namespaced "project" MyLib.
> ---------
>
> ~/myLib/myModule.ml
>   open MyLib    (* This is not needed - short names are same as long *)
>   (* Sees Utils belonging to MyLib *)
>
> ~/myLib/utils.ml
>   open MyLib    (* This is not needed - short names are same as long *)
>
> ~/myLib/myLib.mli and ~/myLib/myLib.ml
>    module MyModule = MyModule
>    module Utils = Utils
>
> Another set of modules ("project") that depends on the previous project YourLib
> ---------
>
> ~/yourLib/yourModule.ml
>   open YourLib    (* This is not needed - short names are same as long *)
>   (* Sees Utils belonging to YourLib *)
>
> ~/yourLib/utils.ml
>   open YourLib    (* This is not needed - short names are same as long *)
>
> ~/yourLib/yourLib.mli and ~/yourLib/yourLib.ml
>    module YourModule = YourModule
>    module Utils = Utils
>
> Finally, an application "project" that uses the namespaces generated by the previous two projects
> ---------
>
> ~/myApp/myApp.ml
> let x = MyLib.Utils.x + YourLib.Utils.y
>

You can use the `-o` and `-open` command-line options to get the
behaviour you are after. If you change myLib/myLib.ml(i) to be

    module MyModule = MyLibMyModule
    module Utils = MyLibUtils

and make similar changes to yourLib/yourLib.ml(i), then you can use the
following commands:

    cd ~/myLib
    ocamlc -no-alias-deps myLib.mli
    ocamlc -no-alias-deps myLib.ml
    ocamlc -c -open MyLib -o myLibUtils.cmo utils.ml
    ocamlc -c -open MyLib -o myLibMyModule.cmo myModule.ml

    cd ~/yourLib
    ocamlc -c -no-alias-deps yourLib.mli
    ocamlc -c -no-alias-deps yourLib.ml
    ocamlc -c -open YourLib -o yourLibUtils.cmo utils.ml
    ocamlc -c -open YourLib -o yourLibYourModule.cmo yourModule.ml

    cd ~/myApp
    ocamlc -c -I ../myLib -I ../yourLib myApp.ml

Setting up this compilation scheme in your build system might be a bit
of effort, but it should work.

Regards,

Leo