Tom Lane wrote:
> Bruce Momjian <[EMAIL PROTECTED]> writes:
> > and this does exactly as you describe by putting the comment on its own
> > line. I just changed it to:
> > ...
> > so that the new comment will have the same indenting as the else that
> > was input.
>
> If it were "the else's indent plus one more tab" it would be reasonably
> sane; it'd match the indentation of what comes next.
OK, I can do that but consider:
else /* comment */
{
something;
}
If we go without the special indent we get at worst case:
else
/* comment */
something;
while with an extra indent we get this as worst case:
else
/* comment */
{
something;
}
which seems like a worse worst case. :-)
--
Bruce Momjian | http://candle.pha.pa.us
[EMAIL PROTECTED] | (610) 359-1001
+ If your life is a hard drive, | 13 Roberts Road
+ Christ can be your backup. | Newtown Square, Pennsylvania 19073
---------------------------(end of broadcast)---------------------------
TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]