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 GAA22465; Sun, 7 Mar 2004 06:39:05 +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 GAA22046 for ; Sun, 7 Mar 2004 06:39:04 +0100 (MET) Received: from xizor.is.scarlet.be (xizor.is.scarlet.be [193.74.71.21]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i275dHVS011885 for ; Sun, 7 Mar 2004 06:39:17 +0100 Received: from (u212-239-129-10.dialup.planetinternet.be [212.239.129.10]) by xizor.is.scarlet.be with ESMTP id i275cxb25155; Sun, 7 Mar 2004 06:38:59 +0100 Received: from poincare ([127.0.0.1] helo=localhost ident=trch) by poincare with esmtp (Exim 3.36 #1 (Debian)) id 1AzqwV-0007lT-00; Sun, 07 Mar 2004 06:35:15 +0100 Date: Sun, 07 Mar 2004 06:35:15 +0100 (CET) Message-Id: <20040307.063515.97674881.Christophe.Troestler@umh.ac.be> To: "O'Caml Mailing List" Subject: [Caml-list] Hidden .cmo conflict? From: Christophe TROESTLER Organization: Universite de Mons-Hainaut X-URL: http://www.umh.ac.be/math/an/ X-Spook: CBNRC Peking 22nd SAS argus mania Skipjack Audiotel Ruby Ridge Freeh NORAD X-Mailer-URL: http://www.mew.org/ X-Operating-System: GNU/Linux (http://www.linux.org/) X-Blessing: Om Ah Hum Vajra Guru Pema Siddhi Hum X-Mailer: Mew version 4.0.61 on Emacs 21.3.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit 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; troestler:01 troestler:01 libs:01 implemented:01 splitted:01 libs:01 ocamlc:01 mli:01 chris:01 cmo:01 cmo:01 inconsistent:01 christophe:01 christophe:01 lib:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Keywords: X-UID: 70 Hi everybody, Let us imagine I build two libs A and B. Say that each lib is implemented respectively by a a.ml and a b.ml file togeter with utility fonctions splitted into a u.ml file. This u.ml file is different for A and B. I.e., a.cma <-- a.cmo u.cmo b.cma <-- b.cmo u.cmo The two u are different and not exported in a.cmi or b.cmi. If then I compile a program, say p.ml, which needs both libs A and B : ocamlc -o p.exe a.cma b.cma p.ml I have no problem. But if I have the bad idea of splitting again utilities functions for p.ml into a u.ml file, I will get a "...inconsistent assumptions over interface...", right? Is there a solution to this problem (which could really be puzzling because A and B might have been written by somebody else and I may not know about their "u" as it is not exported)? Can one really hide a .cmo one does not export in the .mli? ChriS ------------------- 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