> A simpler way is : 
> if no blank line separates the comment and the element, then they're associated. 
> What's the need for indentation ?

I do sometimes group several small definitions together in .mli files,
like this

     (* Comment for f1 *)
     val f1 : t1
     (* Comment for f2 *)
     val f2 : t2
     (* Comment for f3 *)
     val f3 : t3

     (* Comment for g1 *)
     val g1 : t1
     (* Comment for g2 *)
     val g2 : t2

and for this the indentation convention would be useful.

On the other hand, having to insert blank lines between these would not
bother me all that much.

      B
      
-----------------------------------------------------------------------------
BENJAMIN C. PIERCE
Associate Prof., Computer & Information Science        bcpierce@cis.upenn.edu
University of Pennsylvania                                    +1 215 898-2012
200 South 33rd St.                                       Fax: +1 215 898-0587
Philadelphia, PA 19104, USA                http://www.cis.upenn.edu/~bcpierce
-----------------------------------------------------------------------------





      
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr