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 JAA09999; Wed, 12 Sep 2001 09:13:07 +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 JAA10232 for <caml-list@pauillac.inria.fr>; Wed, 12 Sep 2001 09:13:06 +0200 (MET DST)
Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.44.193])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f8C7D5D26627
	for <caml-list@inria.fr>; Wed, 12 Sep 2001 09:13:05 +0200 (MET DST)
Received: (from luther@localhost)
	by dpt-info.u-strasbg.fr (8.9.3/8.9.3) id JAA01937;
	Wed, 12 Sep 2001 09:13:38 +0200
Date: Wed, 12 Sep 2001 09:13:37 +0200
From: Sven <luther@dpt-info.u-strasbg.fr>
To: Gregoire Sutre <sutre@eecs.berkeley.edu>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Help: module names conflicts
Message-ID: <20010912091337.A1894@dpt-info.u-strasbg.fr>
References: <3B9EA805.2CFB38BF@eecs.berkeley.edu>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 1.0.1i
In-Reply-To: <3B9EA805.2CFB38BF@eecs.berkeley.edu>; from sutre@eecs.berkeley.edu on Tue, Sep 11, 2001 at 05:10:45PM -0700
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

On Tue, Sep 11, 2001 at 05:10:45PM -0700, Gregoire Sutre wrote:
> Hi,
> 
> I am trying to use two ocaml libraries, but I have name conflicts : these
> two libraries both have a 'Pretty' module.
> 
> I can compile my modules without a problem since I'm not using this Pretty
> module.
> 
> But the OCaml compiler complains when I try to link against both libraries,
> since it finds two times the Pretty module.
> 
> A basic but painful fix is to rename the conflicting modules (I then would
> have to go in each file of the library where the module is used to rename
> it...).
> 
> Is there a better way to do this ?
> 
> Such as e.g. automatically encapsulate each library in another module (I saw
> this idea in a post on module hierarchy, but I don't whether it is
> implemented).

It would be very usefull thing to have, it was already discussed, but has not
yet been implemented. I don't know if there are planes for it, but they are
low priority i think.

Friendly,

Sven Luther
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr