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 LAA12206; Fri, 12 Oct 2001 11:23:55 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA12222 for ; Fri, 12 Oct 2001 11:23:55 +0200 (MET DST) Received: from dpt-info.u-strasbg.fr (dpt-info.u-strasbg.fr [130.79.44.193]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f9C9NsD17190 for ; Fri, 12 Oct 2001 11:23:54 +0200 (MET DST) Received: (from luther@localhost) by dpt-info.u-strasbg.fr (8.9.3/8.9.3) id LAA21077; Fri, 12 Oct 2001 11:10:25 +0200 Date: Fri, 12 Oct 2001 11:10:25 +0200 From: Sven To: Maxence Guesdon Cc: bcpierce@cis.upenn.edu, caml list Subject: Re: [Caml-list] Re: [Caml-announce] OCamldoc Message-ID: <20011012111025.A20990@dpt-info.u-strasbg.fr> References: <15204.1002728341@saul.cis.upenn.edu> <3BC49730.28AE6FB@sbuilders.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0.1i In-Reply-To: <3BC49730.28AE6FB@sbuilders.com>; from max@sbuilders.com on Wed, Oct 10, 2001 at 08:45:04PM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Oct 10, 2001 at 08:45:04PM +0200, Maxence Guesdon wrote: > > > > > (** comment for f *) > > val f : t > > > > val f : t (** comment for f *) > > > > val f : t > > (** comment for f *) > > > > without the need for any funny markers. > A simpler way is : > if no blank line separates the comment and the element, then they're associated. > What's the need for indentation ? > BTW, I still don't buy the possibility to put comments after AND before. This is becomming silly, ... what is really happening here, is that so that we don't need to remmeber many strange stuff, we are trying to agree on a common indentation solution, while supposing that just because you don't write code in a certain way, nobody will. What is so difficult in remembering (*< comment **), (*> comment **) and (** comment **) ? We are not speaking about many different comment headers, but just three (or even two if we use (*< and (** only). What is so difficult about it ? Most people will be used to be able to use any kind of space as they see fit in their code, and will most assuredly find it much more easy to understand something as intuitive as (**, (*< and (*> than some strange indenting stuff, that maybe will not even be handled in the same way by all editors. Suppose you have an editor which uses tab as 4 spaces, and you have : (** xxx **) (4 space used) val f : t (a 4 space tab being used). Then the documentation tool, which see tabs as 8 space, or maybe 2, or whatever will be confused, and the user will never understand it. So, please, while trying to make the things as easy as possible _for you_, don't make things more difficult for everyone else. That said, it is not i who will have to respond to all the complaints of users not understanding what is going on, so ... Friendly, Sven Luther ------------------- 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