Re: pgindent vs. git whitespace check

On 2023-02-22 We 23:48, Tom Lane wrote:
> For my own taste, I really don't have any objection to // in isolation --
> the problem with it is just that we've got megabytes of code in the other
> style.  I fear it'd look really ugly to have an intermixture of // and /*
> comment styles.


Maybe, I've seen some mixing elsewhere and it didn't make me shudder. I 
agree that you probably wouldn't want to mix both styles for end of line 
comments in a single function, although a rule like that would be hard 
to enforce mechanically.


> Mass conversion of /* to // style would answer that,
> but would also create an impossible back-patching problem.
>
> 			


Yeah, I agree that's a complete non-starter.


cheers


andrew

--
Andrew Dunstan
EDB:https://www.enterprisedb.com