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 MAA17865; Thu, 24 Jul 2003 12:00:46 +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 MAA01395 for ; Thu, 24 Jul 2003 12:00:44 +0200 (MET DST) Received: from l3lx216.univ-lille3.fr (l3lx216.univ-lille3.fr [194.254.131.216]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h6OA0hf22178 for ; Thu, 24 Jul 2003 12:00:44 +0200 (MET DST) Received: from localhost (localhost [127.0.0.1]) by l3lx216.univ-lille3.fr (Postfix) with ESMTP id 4E3057EFF for ; Thu, 24 Jul 2003 12:00:43 +0200 (CEST) Received: from l3lx216.univ-lille3.fr ([127.0.0.1]) by localhost (l3lx216 [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 17376-01 for ; Thu, 24 Jul 2003 12:00:42 +0200 (CEST) Received: from pingouin.grappa.fr (l3ux02.univ-lille3.fr [194.254.132.192]) by l3lx216.univ-lille3.fr (Postfix) with ESMTP id C77017E78 for ; Thu, 24 Jul 2003 12:00:42 +0200 (CEST) Received: from sarcelle.grappa.fr (sarcelle.grappa.fr [192.168.1.210]) by pingouin.grappa.fr (Postfix) with ESMTP id AE7131242 for ; Thu, 24 Jul 2003 11:54:30 +0200 (CEST) Subject: [Caml-list] .ml and .mli From: Emmanuel Filiot To: caml-list@pauillac.inria.fr Content-Type: text/plain Message-Id: <1059040469.26226.67.camel@sarcelle.grappa.fr> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.2.4-1.1mdk Date: 24 Jul 2003 11:54:30 +0200 Content-Transfer-Encoding: 7bit X-Virus-Scanned: by l3lx216 (running Debian, oh yes !) at univ-lille3.fr X-Loop: caml-list@inria.fr X-Spam: no; 0.00; mli:01 toto:01 struct:01 sig:01 int:01 exists:01 module:03 let:04 tutu:06 type:07 problem:07 explain:09 solution:10 wonder:12 between:12 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello all, I have noticed that we must copy code between .ml and .mli, and I wonder if there exists a solution for this problem. I explain: For example, I have some files such that : toto.mli module type S = sig type t end module A : S with type t = int toto.ml module type S = sig type t end module A = struct type t = int let id x = x end tutu.ml open Toto module B : S = struct .... end I must copy "module type S = sig...." in both toto.ml and toto.mli. Thanks Emmanuel ------------------- 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