]> From: Daniel Bünzli <daniel.buenzli@epfl.ch> Subject: Re: [Caml-list] CTAN/CPAN for Caml (COCAN ...?) Date: Sat, 19 Jul 2003 13:25:52 +0200 > > 2) Use pack option. Until -pack generates cma files (not cmo), I am > > reluctant to employ this option. > > The option -pack can generate cmo files. That was my bad English. I meant, "Unless -pack generates cma files ...". But thinking more about this, I began to feel the current solution (generating cmo files) is right because all files are supposed to be packed into one module by -pack. If -pack generates cma, some "packed" modules may be not initialised, which is against the module semantics of ocaml. The problem here is, the roles of modules in ocaml are twofold, that is, a unit of initialisation and a unit of the name-space. So, if we want packed modules to be individually initialised, we need something other than a module. Since introducing a "name-space syntax" clutters the language, (and I think the ocaml syntax is already not so elegant) I guess what we actually need is a tool that manages the name space without modifying the source code. -- Yamagata Yoriyuki ------------------- 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