Re: RFC: policy change for header #includes

On 3/8/23 09:12, Amos Jeffries wrote:
> On 7/03/2023 10:14 pm, Francesco Chemolli wrote:
>> I would also complement it with the directive to use 
>> header <cXXXXX> instead of <XXXXX.h> whenever possible


> That we already have. PRs doing the updates welcome.

Agreed on both counts, especially if an updating PR updates all known 
cases rather than just "a few here and there".


 >> this could also be automatically enforced

This part is not implemented, and it is not trivial to implement (please 
ping me if you decide to work on that). I would welcome proper enforcement.


Cheers,

Alex.