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 LAA21241; Fri, 25 Apr 2003 11:48:36 +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 LAA21042 for ; Fri, 25 Apr 2003 11:48:35 +0200 (MET DST) Received: from lri.lri.fr (lri.lri.fr [129.175.15.1]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h3P9mYH23195 for ; Fri, 25 Apr 2003 11:48:34 +0200 (MET DST) Received: from pc8-123 (pc8-123 [129.175.8.123]) by lri.lri.fr (8.11.6p2/jtpda-5.3.2) with ESMTP id h3P9Txr06463 ; Fri, 25 Apr 2003 11:30:00 +0200 (MEST) Received: from filliatr by pc8-123 with local (Exim 3.35 #1 (Debian)) id 198zWk-0004El-00; Fri, 25 Apr 2003 11:29:54 +0200 From: Jean-Christophe Filliatre MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <16041.18.235360.752391@gargle.gargle.HOWL> Date: Fri, 25 Apr 2003 11:29:54 +0200 To: Hendrik Tews Cc: caml-list@inria.fr Subject: Re: [Caml-list] Module intf/impl annoyances In-Reply-To: <16037.16963.679587.454792@ithif51.inf.tu-dresden.de> References: <200304121918.33443.exa@kablonet.com.tr> <16037.16963.679587.454792@ithif51.inf.tu-dresden.de> X-Mailer: VM 7.03 under Emacs 20.7.2 Reply-To: Jean-Christophe.Filliatre@lri.fr (Jean-Christophe Filliatre) X-MailScanner: Found to be clean X-Spam: no; 0.00; filliatre:01 filliatr:01 lri:01 caml-list:01 intf:01 impl:01 annoyances:01 hendrik:01 tews:01 mli:01 writes:01 signatures:02 module:03 type:07 solution:10 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hendrik Tews writes: > > It looks like others also had problems with having to dupe > type signatures in both .mli and .ml files, so is there a > working proposal to that end? When the type is big, a good solution that I often use is to put it in a separate file (and then you can even use a .mli file with no .ml counterpart). -- Jean-Christophe ------------------- 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