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 IAA09842; Wed, 12 Sep 2001 08:51:48 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA09924 for caml-list@pauillac.inria.fr; Wed, 12 Sep 2001 08:51:47 +0200 (MET DST) 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 CAA07556 for ; Wed, 12 Sep 2001 02:10:48 +0200 (MET DST) Received: from relay.EECS.Berkeley.EDU (relay.EECS.Berkeley.EDU [169.229.34.228]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f8C0Al120416 for ; Wed, 12 Sep 2001 02:10:47 +0200 (MET DST) Received: from eecs.berkeley.edu (edalap09.EECS.Berkeley.EDU [128.32.171.169]) by relay.EECS.Berkeley.EDU (8.9.3/8.9.3) with ESMTP id RAA01515; Tue, 11 Sep 2001 17:10:46 -0700 (PDT) Message-ID: <3B9EA805.2CFB38BF@eecs.berkeley.edu> Date: Tue, 11 Sep 2001 17:10:45 -0700 From: Gregoire Sutre X-Mailer: Mozilla 4.77 [en] (X11; U; Linux 2.4.2-2 i686) X-Accept-Language: en MIME-Version: 1.0 To: caml-list@inria.fr Subject: [Caml-list] Help: module names conflicts Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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). Thanks for your help! Greg. -- Gregoire Sutre 545W Cory Hall sutre@eecs.berkeley.edu University of California Phone: (510) 642-1638 Berkeley, CA 94720 ICQ# 25170026 USA ------------------- 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