Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Automatic generation of mli files
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jeffrey J. Cook <jjcook@u...>
Subject: Re: Re: [Caml-list] Automatic generation of mli files
> 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