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 BAA29588; Thu, 19 Aug 2004 01:04:02 +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 BAA30699 for ; Thu, 19 Aug 2004 01:04:01 +0200 (MET DST) Received: from calmail-fe2.berkeley.edu (mailfarm.Berkeley.EDU [128.32.61.106]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i7IN3xRM029814 for ; Thu, 19 Aug 2004 01:03:59 +0200 Received: from [64.162.212.212] (HELO tallman.kefka.frap.net) by calmail-fe2.berkeley.edu (CommuniGate Pro SMTP 4.1.8) with SMTP id 17188117; Wed, 18 Aug 2004 16:03:58 -0700 Received: by tallman.kefka.frap.net (sSMTP sendmail emulation); Wed, 18 Aug 2004 16:03:58 -0700 Date: Wed, 18 Aug 2004 16:03:58 -0700 From: Kenneth Knowles To: Shaddin Doghmi Cc: caml-list@inria.fr Subject: Re: [Caml-list] including signature (mli) in struct (ml) Message-ID: <20040818230358.GA25660@tallman.kefka.frap.net> References: <4123DDB3.8010504@mitre.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4123DDB3.8010504@mitre.org> User-Agent: Mutt/1.5.6i X-Miltered: at concorde with ID 4123E05F.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; knowles:99 caml-list:01 mli:01 struct:01 2004:99 0400,:01 mli:01 wrote:03 annoying:03 types:03 bunch:03 elegant:04 aug:05 define:05 unnecessary:08 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Aug 18, 2004 at 06:52:35PM -0400, Shaddin Doghmi wrote: > this redundancy can be annoying, is there a way to declare Aout only > once and still be able to refer to it in b.ml ? How about including > a.mli in a.ml somehow? something along the lines of include in C would > do it, where including a.h in a.c would make it unnecessary to define > something in both... Someone may have a more elegant solution to this, but when I have a bunch of types that I don't want to have to repeat, I put them in a .ml file without a corresponding .mli file. Kenn ------------------- 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