Re: [Caml-list] CTAN/CPAN for Caml (COCAN ...?)

[Yamagata Yoriyuki <yoriyuki@mbg.ocn.ne.jp>]

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