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