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 LAA00300; Fri, 19 Mar 2004 11:44:58 +0100 (MET) 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 LAA01191 for ; Fri, 19 Mar 2004 11:44:57 +0100 (MET) Received: from mwinf0203.wanadoo.fr (smtp2.wanadoo.fr [193.252.22.29]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i2JAjQKW020991 for ; Fri, 19 Mar 2004 11:45:26 +0100 Received: from lambda (AStrasbourg-206-1-23-200.w81-49.abo.wanadoo.fr [81.49.251.200]) by mwinf0203.wanadoo.fr (SMTP Server) with ESMTP id 8D1B5100022B; Fri, 19 Mar 2004 11:44:56 +0100 (CET) Received: from luther by lambda with local (Exim 3.36 #1 (Debian)) id 1B4HV4-0005jE-00; Fri, 19 Mar 2004 11:45:14 +0100 Date: Fri, 19 Mar 2004 11:45:14 +0100 To: Richard Jones Cc: caml-list@inria.fr Subject: Re: [Caml-list] Modules and namespaces Message-ID: <20040319104514.GA21926@lambda> References: <200403191049.27133.wolfgang.mueller2@uni-bayreuth.de> <20040319101931.GA10938@redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20040319101931.GA10938@redhat.com> User-Agent: Mutt/1.5.5.1+cvs20040105i From: Sven Luther X-Miltered: at nez-perce by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 namespaces:01 sven:01 luther:01 sven:01 luther:01 2004:99 2004:99 namespaces:01 bottleneck:01 uploading:01 cpan:01 subdir:01 dbi:99 dbi:99 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 214 On Fri, Mar 19, 2004 at 10:19:31AM +0000, Richard Jones wrote: > On Fri, Mar 19, 2004 at 10:49:27AM +0100, Wolfgang Müller wrote: > > To get back to the perl example: > [perl example] > > However, for toplevel namespaces, you have to write to a mailing > > list, and there is a group of people who decide if to accept the new > > toplevel namespace or not. This is a (AFAIK also known) bottleneck.. > > Actually, getting a toplevel namespace accepted is not necessary with > Perl. It's advisable, a nice thing to do, etc., but not necessary for > uploading a module to CPAN. > > Another thing which is being overlooked here is that ocaml has two > types of namespace: > > (1) The normal module namespace > > (2) Which paths get searched using -I +subdir > > For instance, I have a module called Dbi which is located in the > -I +dbi subdirectory. > > It would be quite possible for someone else to write a Dbi module > located in the -I +anotherdbi directory. No conflict would arise > unless some strange person wanted to use both types of Dbi module > in their program - an unlikely occurrence presumably. You can achieve this by using the -pack option when creating libraries. Sure it has still some problems, but it is the way to go to solve this problem. What is really missing is support for more than one OCAMLLIBDIR, in order to be able to easily separate the libraries installed by your package manager (/usr/lib/ocaml/3.07 for debian), by the one installed locally by the sysadmin (/usr/local/lib/ocaml/3.07 for debian), and the user specific ones (less important though, but still usefull). Friendly, Sven Luther ------------------- 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