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 OAA19714; Mon, 21 Jul 2003 14:02:12 +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 OAA19935 for ; Mon, 21 Jul 2003 14:02:11 +0200 (MET DST) Received: from sark.cc.gatech.edu (sark.cc.gatech.edu [130.207.7.23]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h6LC2Af03018 for ; Mon, 21 Jul 2003 14:02:10 +0200 (MET DST) Received: from gaia.cc.gatech.edu (gaia.cc.gatech.edu [130.207.3.8]) by sark.cc.gatech.edu (8.12.9/8.12.8) with ESMTP id h6LC1lOG023212; Mon, 21 Jul 2003 08:01:47 -0400 (EDT) Received: (from fernando@localhost) by gaia.cc.gatech.edu (8.12.9/8.12.8) id h6LC1l7W018240; Mon, 21 Jul 2003 08:01:47 -0400 (EDT) Date: Mon, 21 Jul 2003 08:01:47 -0400 From: Fernando Alegre To: Yamagata Yoriyuki Cc: caml-list@inria.fr Subject: Re: [Caml-list] GODI Message-ID: <20030721120147.GB16833@gaia.cc.gatech.edu> References: <1058694948.6556.141.camel@ice.gerd-stolpmann.de> <20030721.081153.63134632.yoriyuki@mbg.ocn.ne.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20030721.081153.63134632.yoriyuki@mbg.ocn.ne.jp> User-Agent: Mutt/1.4.1i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; alegre:01 gatech:01 caml-list:01 0900,:01 yamagata:01 yoriyuki:01 clashes:01 namespaces:01 toplevel:01 modules:02 module:03 wrote:03 btw:03 jul:06 fernando:06 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Mon, Jul 21, 2003 at 08:11:53AM +0900, Yamagata Yoriyuki wrote: > > BTW, all collisions really occurred are between modules not available > from users. This kind of problem can be solved if we can make > "private" modules completely invisible from the outside of packages. Although this may be good enough in the short term, it won't avoid name clashes in the long term. Inevitably, packages will eventually be created with the same toplevel names as other existing packages. We'll need some user tool to manage module namespaces when this occurs. Fernando ------------------- 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