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]

Reply via email to