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 BAA31243; Sun, 23 Mar 2003 01:52:22 +0100 (MET) 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 BAA31556 for ; Sun, 23 Mar 2003 01:52:20 +0100 (MET) Received: from grace.speakeasy.org (grace.speakeasy.org [216.254.0.2]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id h2N0qFf13395 for ; Sun, 23 Mar 2003 01:52:18 +0100 (MET) Received: (qmail 11329 invoked by uid 36130); 23 Mar 2003 00:52:13 -0000 Received: from localhost (sendmail-bs@127.0.0.1) by localhost with SMTP; 23 Mar 2003 00:52:13 -0000 Date: Sat, 22 Mar 2003 16:52:13 -0800 (PST) From: brogoff@speakeasy.net To: Michal Moskal cc: "Jeffrey J. Cook" , "caml-list@inria.fr" Subject: Re: [Caml-list] code duplication when abstracting using explicit signatures In-Reply-To: <20030322120710.GA16956@roke.freak> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam: no; 0.00; brogoff:01 caml-list:01 michal:01 moskal:01 mli:01 afair:01 faq:01 bugged:01 ocaml:01 speakeasy:01 signatures:02 explicit:03 wrote:03 interface:03 types:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, 22 Mar 2003, Michal Moskal wrote: > Use example_types.mli and example.ml/mli. AFAIR you can only put types > in example_types, not even exceptions. And making that example_types.ml instead of .mli will allow exceptions (and values!), but I'd prefer having a pure .mli file as you suggest, and just creating a fourth file example_exns.ml for any example exceptions. Is this "extra interface file" trick in the FAQ yet? This is one of those things that bugged me a bit when I was first learning OCaml, but it's no longer an issue. -- Brian ------------------- 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