Re: Removing useless #include's.

2018-02-15 Thread Tom Lane
Kyotaro HORIGUCHI writes: > At Thu, 15 Feb 2018 11:12:05 -0500, Tom Lane wrote in > <6748.1518711...@sss.pgh.pa.us> >> Kyotaro HORIGUCHI writes: >>> I found 641 includes that is just removable with no side effect >>> with two exceptions. >> I tend to be a bit suspicious of this sort of thing,

Re: Removing useless #include's.

2018-02-15 Thread Kyotaro HORIGUCHI
Hello. At Thu, 15 Feb 2018 11:12:05 -0500, Tom Lane wrote in <6748.1518711...@sss.pgh.pa.us> > Kyotaro HORIGUCHI writes: > > While looking some patch, just from curiosity, I checked for > > redundant #include's in the source tree (except > > contrib). "redundant" here means that a file is inclu

Re: Removing useless #include's.

2018-02-15 Thread Tom Lane
Kyotaro HORIGUCHI writes: > While looking some patch, just from curiosity, I checked for > redundant #include's in the source tree (except > contrib). "redundant" here means that a file is included in > another include file nearby. > I found 641 includes that is just removable with no side effect

Removing useless #include's.

2018-02-15 Thread Kyotaro HORIGUCHI
Hello. While looking some patch, just from curiosity, I checked for redundant #include's in the source tree (except contrib). "redundant" here means that a file is included in another include file nearby. I found 641 includes that is just removable with no side effect with two exceptions. - src/