Archives of the Caml mailing list > Message from Jeffrey J. Cook

Browse thread

[Caml-list] Automatic generation of mli files

Stefan Heimann
- Maxence Guesdon
- Brian Hurt
  - Stefan Heimann
    - Ville-Pertti Keinonen
  - Chris Hecker
    - Brian Hurt
      - Chris Hecker
        
        Manos Renieris
        
        Chris Hecker
      - Stefan Heimann
        
        Jeffrey J. Cook
        
        Yang Shouxun
        
        Stefan Heimann
      - John Max Skaller

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