public inbox for [email protected]  

help / color / mirror / Atom feed

From: Tristan Partin <[email protected]>
To: Alvaro Herrera <[email protected]>
Cc: [email protected]
Subject: Re: Add missing includes
Date: Mon, 22 May 2023 10:27:37 -0500
Message-ID: <CSSWUW8WKFLW.3VJGFG2LZYEBM@c3po> (raw)
In-Reply-To: <[email protected]>
References: <CSSWHSSN4B6S.14UNR4TB14WOU@c3po>
	<[email protected]>

On Mon May 22, 2023 at 10:16 AM CDT, Alvaro Herrera wrote:
> > Some files were missing information from the c.h header.
>
> Actually, these omissions are intentional, and we have bespoke handling
> for this in our own header-checking scripts (src/tools/pginclude).  I
> imagine this is documented somewhere, but ATM I can't remember where.
> (And if not, maybe that's something we should do.)

Interesting. Thanks for the information. Thought I had seen in a
different email thread that header files were supposed to include all
that they needed to. Anyways, ignore the patch :).

-- 
Tristan Partin
Neon (https://neon.tech)

view thread (6+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected]
  Subject: Re: Add missing includes
  In-Reply-To: <CSSWUW8WKFLW.3VJGFG2LZYEBM@c3po>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox