From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id QAA07589 for caml-redistribution; Tue, 22 Oct 1996 16:30:20 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id QAA12213 for ; Mon, 21 Oct 1996 16:44:48 +0200 Received: from margaux.inria.fr (margaux.inria.fr [128.93.8.2]) by concorde.inria.fr (8.7.6/8.7.1) with ESMTP id QAA22302 for ; Mon, 21 Oct 1996 16:44:47 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by margaux.inria.fr (8.7.6/8.7.3) with ESMTP id QAA02861 for ; Mon, 21 Oct 1996 16:44:42 +0200 (MET DST) Received: from daedalus.epcc.ed.ac.uk (root@[129.215.56.21]) by concorde.inria.fr (8.7.6/8.7.1) with SMTP id QAA22298 for ; Mon, 21 Oct 1996 16:44:37 +0200 (MET DST) Received: from tufa.epcc.ed.ac.uk (jserot@tufa.epcc.ed.ac.uk [129.215.56.4]) by daedalus.epcc.ed.ac.uk (8.6.13/8.6.12) with ESMTP id PAA20623; Mon, 21 Oct 1996 15:44:27 +0100 Message-Id: <5031.199610211444@tufa.epcc.ed.ac.uk> Subject: Re: Yet another question about the module system To: Xavier.Leroy@inria.fr (Xavier Leroy) Date: Mon, 21 Oct 1996 15:44:25 +0100 (BST) From: Jocelyn Serot Cc: caml-list@margaux.inria.fr In-Reply-To: <199610211419.QAA11605@pauillac.inria.fr> from "Xavier Leroy" at Oct 21, 96 04:19:18 pm X-Mailer: ELM [version 2.4 PL25] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis Ok, i had my both thoughts cleared (thanks to you) and my pb solved (thanks to F. Rouaix). The solution seems to write an explicit module type in the first file : ******* file bar.ml ********** module type BAR = sig type t val x : t end ****************************** and to refer to this signature in the second file: ******* file foo.mli ********* open Bar module type FOO = sig type t type p val y : t end module Make(B:BAR) : (FOO with type t = B.t) ****************************** Thanks for your help. Oh, and "pendant que j'y suis" as we say in french :-) i have another question: Is there a way to tell the ocamlopt native compiler to use a given C compiler after it has been built and installed ? If not, what is the configuration option to modify in order to specify such a C compiler (which may be distinct from the compiler used for building the caml tools) ? Jocelyn Serot -- E-mail: jserot@epcc.ed.ac.uk (->29/11) ...................................... S-mail: LASMEA - URA 1793 CNRS, Universite Blaise Pascal, 63177 Aubiere cedex Tel: (33) 73.40.73.30 - Fax: (33) 73.40.72.62 ............................... .... http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/Welcome.html