[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v5 18/36] qapi: establish mypy type-checking baseline
From: |
Markus Armbruster |
Subject: |
Re: [PATCH v5 18/36] qapi: establish mypy type-checking baseline |
Date: |
Thu, 08 Oct 2020 09:29:36 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
John Snow <jsnow@redhat.com> writes:
> On 10/7/20 5:25 AM, Markus Armbruster wrote:
>> John Snow <jsnow@redhat.com> writes:
>>
>>> Fix two very minor issues,
>> What are the two issues? I'm asking because I can see only one.
>>
>
> Bitrot! The other one got fixed elsewhere and rebase didn't conflict,
> so I didn't update the commit message.
>
>>> and then establish a mypy type-checking
>>> baseline.
>> Any particular reason this can't go before PATCH 15 "qapi/common.py: add
>> type hint annotations".
>>
>
> Just the way the chips fell. common.py does not check until this very
> commit.
>
> Adding a mypy config can be shuffled up earlier and earlier by
> determining which checks to ignore and adding them, but I'm not sure
> who that benefits.
I like symmetry, but it's okay as is. I asked to make sure I'm not
missing something more subtle.
[...]
- Re: [PATCH v5 16/36] qapi/common.py: Convert comments into docstrings, and elaborate, (continued)
[PATCH v5 17/36] qapi/common.py: move build_params into gen.py, John Snow, 2020/10/05
[PATCH v5 18/36] qapi: establish mypy type-checking baseline, John Snow, 2020/10/05
[PATCH v5 19/36] qapi/events.py: add type hint annotations, John Snow, 2020/10/05
- Re: [PATCH v5 19/36] qapi/events.py: add type hint annotations, Markus Armbruster, 2020/10/07
- Re: [PATCH v5 19/36] qapi/events.py: add type hint annotations, Markus Armbruster, 2020/10/07
- Re: [PATCH v5 19/36] qapi/events.py: add type hint annotations, John Snow, 2020/10/07
- Re: [PATCH v5 19/36] qapi/events.py: add type hint annotations, Markus Armbruster, 2020/10/08
- Re: [PATCH v5 19/36] qapi/events.py: add type hint annotations, John Snow, 2020/10/08
- Re: [PATCH v5 19/36] qapi/events.py: add type hint annotations, Markus Armbruster, 2020/10/09
Re: [PATCH v5 19/36] qapi/events.py: add type hint annotations, John Snow, 2020/10/07
Re: [PATCH v5 19/36] qapi/events.py: add type hint annotations, Markus Armbruster, 2020/10/08
Re: [PATCH v5 19/36] qapi/events.py: add type hint annotations, John Snow, 2020/10/08