On 10. 12. 21 11:55, Christian Heimes wrote:
On 10/12/2021 03.08, Jim J. Jewett wrote:
Christian Heimes wrote:
On 09/12/2021 19.26, Petr Viktorin wrote:
If the code is the authoritative source of truth, we need a proper
parser to extract the information. ... unfortunately I don't trust it
On 10/12/2021 03.08, Jim J. Jewett wrote:
Christian Heimes wrote:
On 09/12/2021 19.26, Petr Viktorin wrote:
If the code is the authoritative source of truth, we need a proper
parser to extract the information. ... unfortunately I don't trust it
enough to let it define the API. Bugs in the
On Thu, Dec 9, 2021, 11:26 Petr Viktorin wrote:
> I'll not get back to CPython until Tuesday, but I'll add a quick note
> for now. It's a bit blunt for lack of time; please don't be offended.
>
Not at all. :) The tooling is a secondary concern to my point. Mostly, I
wish the declarations in
Christian Heimes wrote:
> On 09/12/2021 19.26, Petr Viktorin wrote:
> > If the code is the authoritative source of truth, we need a proper
> > parser to extract the information. ... unfortunately I don't trust it
> > enough to let it define the API. Bugs in the parser could result in
> > the API
On 09/12/2021 19.26, Petr Viktorin wrote:
I'll not get back to CPython until Tuesday, but I'll add a quick note
for now. It's a bit blunt for lack of time; please don't be offended.
If the code is the authoritative source of truth, we need a proper
parser to extract the information. But we
Maybe we could start by having the tool regenerate the file and verifying
that it produces the same results? Then in the future we keep the file in
the repo so changes to it can be tracked separately, but we run the tool as
part of CI to make sure that its output still matches. This is what we do
I'll not get back to CPython until Tuesday, but I'll add a quick note
for now. It's a bit blunt for lack of time; please don't be offended.
If the code is the authoritative source of truth, we need a proper
parser to extract the information. But we can't really use an existing
parser (e.g. we