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 JAA17180; Thu, 11 Oct 2001 09:37:52 +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 JAA17020 for ; Thu, 11 Oct 2001 09:37:51 +0200 (MET DST) Received: from quetelet.bik-gmbh.de (quetelet.bik-gmbh.de [194.233.237.132]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f9B7bpn19860 for ; Thu, 11 Oct 2001 09:37:51 +0200 (MET DST) Received: from hars by quetelet.bik-gmbh.de with local (Exim 3.12 #1 (Debian)) id 15raC7-0001eW-00; Thu, 11 Oct 2001 09:23:51 +0200 Date: Thu, 11 Oct 2001 09:23:51 +0200 From: Florian Hars To: bcpierce@cis.upenn.edu Cc: max@sbuilders.com, caml list Subject: Re: [Caml-list] Re: [Caml-announce] OCamldoc Message-ID: <20011011092351.B6134@hars> References: <3BC49730.28AE6FB@sbuilders.com> <26264.1002742707@saul.cis.upenn.edu> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <26264.1002742707@saul.cis.upenn.edu>; from bcpierce@saul.cis.upenn.edu on Wed, Oct 10, 2001 at 03:38:27PM -0400 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Oct 10, 2001 at 03:38:27PM -0400, Benjamin C. Pierce wrote: > On the other hand, having to insert blank lines between these would not > bother me all that much. Messing up blank lines is easier than messing up indentation (especially if the tool in question considers lines containing a non-empty amount of whitespace as non-empty: you have no chance to see how the tool will treat a given comment that follows a line that looks empty, does OCamldoc belong to this class?). Yours, Florian. ------------------- 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