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 LAA08265; Mon, 23 Sep 2002 11:00:38 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA08159 for ; Mon, 23 Sep 2002 11:00:37 +0200 (MET DST) Received: from mel-rto4.wanadoo.fr (smtp-out-4.wanadoo.fr [193.252.19.23]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g8N90b511837 for ; Mon, 23 Sep 2002 11:00:37 +0200 (MET DST) Received: from mel-rta8.wanadoo.fr (193.252.19.79) by mel-rto4.wanadoo.fr (6.5.007) id 3D760D0800A6ECEF; Mon, 23 Sep 2002 11:00:35 +0200 Received: from iliana (80.9.105.81) by mel-rta8.wanadoo.fr (6.5.007) id 3D8011E3005EFE9C; Mon, 23 Sep 2002 11:00:35 +0200 Received: from luther by iliana with local (Exim 3.35 #1 (Debian)) id 17tOoB-0000L9-00; Mon, 23 Sep 2002 10:43:11 +0200 Date: Mon, 23 Sep 2002 10:43:01 +0200 To: Gerd Stolpmann Cc: Alessandro Baretta , Ocaml Subject: We should start using -pack by default when building libraries, (was : Re: [Caml-list] Meta module in findlib and the need for namespaces) Message-ID: <20020923084301.GA1272@iliana> References: <3D87406D.9010406@baretta.com> <20020922212920.GG914@ice.gerd-stolpmann.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20020922212920.GG914@ice.gerd-stolpmann.de> User-Agent: Mutt/1.4i From: Sven LUTHER Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, Sep 22, 2002 at 11:29:20PM +0200, Gerd Stolpmann wrote: > Hi, > > This incompatibility between findlib and dynlink is the > > first example I have encountered of a nameclash bug in Ocaml > > software. Of course, Gerd could easily solve the problem by > > renaming his Meta to Findlib_meta, or something like that, > > but it would be a lot easier to have a namespace construct > > to allow Gerd to distinguish *his* Meta from the one in the > > standard library. > > I think there are two problems: > > (1) The name clash as such > (2) The fact that dynlink.cma contains a hidden module (no cmi is > installed for it), making the name clash surprising and hard > to debug. > > Note that dynlink.cma not only contains Meta, but also other modules > with plain names: Misc, Config, Ident, Path, Types, i.e. names for > which name clashes are much more likely than for cryptic names. Well, is it not for exactly this kind of problems that the -pack option was implemented ? Would it not solve all this kind of problem if it would be a standard that all libraries should be using the -pack option for including their modules, thus having a Dynlink.Meta, Dynlink.Misc, Dynlink.Config, ... (and also i guess findlib would then have a Findlib.Meta or something such ?). Sure this would cause a bit of backward compatibility, but nothing that could not be solved by a simple open at the begining of the sources, and it would also most probably help solving much of the 'namespace' discution that happens here from time to time. What do you all think about this, is this a valuable solution, or are there profound reason for not going that way ? 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