From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA14741; Sat, 19 Jul 2003 22:07:17 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA15219 for ; Sat, 19 Jul 2003 22:07:12 +0200 (MET DST) Received: from smtp.mbg.ocn.ne.jp (mbg.ocn.ne.jp [210.190.142.181]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h6JK7AT21728 for ; Sat, 19 Jul 2003 22:07:10 +0200 (MET DST) Received: from localhost (p13189-adsau12honb7-acca.tokyo.ocn.ne.jp [220.99.17.189]) by smtp.mbg.ocn.ne.jp (Postfix) with ESMTP id 9400C25D9 for ; Sun, 20 Jul 2003 05:07:08 +0900 (JST) Date: Sun, 20 Jul 2003 04:47:00 +0900 (JST) Message-Id: <20030720.044700.95497922.yoriyuki@mbg.ocn.ne.jp> To: caml-list@inria.fr Subject: Re: [Caml-list] CTAN/CPAN for Caml (COCAN ...?) From: Yamagata Yoriyuki In-Reply-To: References: <20030719.054951.95890091.yoriyuki@mbg.ocn.ne.jp> X-Mailer: Mew version 2.2 on Emacs 21.2 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Loop: caml-list@inria.fr X-Spam: no; 0.00; yamagata:01 yoriyuki:01 caml-list:01 cpan:01 -pack:01 roles:01 cmo:01 semantics:01 ocaml:01 caml:01 syntax:02 modules:02 module:03 unit:03 cma:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk From: Daniel B=FCnzli 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 a= m > > 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