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 WAA14842; Fri, 6 Jun 2003 22:38:47 +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 WAA14843 for ; Fri, 6 Jun 2003 22:38:45 +0200 (MET DST) Received: from innsmouth.crhc.uiuc.edu (innsmouth.crhc.uiuc.edu [130.126.141.158]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h56KciH08074 for ; Fri, 6 Jun 2003 22:38:44 +0200 (MET DST) Received: (from jjcook@localhost) by innsmouth.crhc.uiuc.edu (8.11.6/8.11.6) id h56Kchc28087 for caml-list@inria.fr; Fri, 6 Jun 2003 15:38:43 -0500 Date: Fri, 6 Jun 2003 15:38:43 -0500 From: "Jeffrey J. Cook" To: caml-list@inria.fr Subject: Re: Re: [Caml-list] Automatic generation of mli files Message-ID: <20030606203843.GD27432@crhc.uiuc.edu> References: <4.3.2.7.2.20030606112653.039b1838@localhost> <20030606202437.GA12982@kunz.ratzer> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20030606202437.GA12982@kunz.ratzer> User-Agent: Mutt/1.4i X-Spam: no; 0.00; caml-list:01 mli:01 val:01 foo:01 06,:02 wrote:03 let:04 cook:04 brian:06 notation:06 fri:07 annotation:07 electrical:92 comment:08 jeffrey:10 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > On Fri, Jun 06, 2003 at 02:16:59PM -0500, Brian Hurt wrote: > > You could make an annotation in the comment of the method: > > (** > val add: t -> foo -> bar -> bang -> t > *) > let add a x y z = a Why not just: let add (a : t) (x : foo) (y : bar) (z : bang ) : t = ... I find this notation insanely helpful, especially for code inspection. Jeff -- Jeffrey J. Cook Graduate Student, Electrical Engineering University of Illinois at Urbana-Champaign jjcook@uiuc.edu ------------------- 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