Re: [Caml-list] packing Ocaml standard library into Std "namespace"

[Maxence Guesdon <maxence.guesdon@inria.fr>]

Hi,

> Ocaml 3.05 and above introduces new packing facility (ocamlc "-pack"
> option). What do you think of using it to pack all Ocaml standard modules
> into one big Std module so that the user code could use them as
> Std.List.something, Std.Array.something etc. (having an analog of C++
> std:: namespace)?

Hum, Using Std.List.iter instead of just List.iter would be a pain
for me since I never 'open' standard modules. I could still open Std
at the beginning of each module but the best would then for the Std
module to be open by default (like Pervasives is).

But there may be a problem (correct me if i'm wrong): 
if I don't use, say Arg, in my program, the Arg module doesn't appear
in the executable. But if it is packed in std.cmo then Std.Arg will
be in my executable (as part of Std), as all the other standard
modules I don't use. Is that true ?

> I think this will help us reduce the name clash dramatically. E.g. I have
> just discovered that I cannot modify ocamlild compiler to use Array.of_list
> somethere inside, because it already contains array.ml source file, that
> overlaps standard Array module. Having Std module, I just would write
> Std.Array.of_string there.
And can't you pack the new array module in another one, hiding the new
Array and letting the standard one visible ?

-- 
Maxence Guesdon
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners