is mypy failing here

[Robin Becker]

On 24/11/2022 13:50, Kirill Ratkin via Python-list wrote:
> mypy --strict gives you detail info.
Thanks Kirill,

it seems --strict does find the errors. One of those is that on line 9 I have to add a return type ie

def main() -> None:
     .....

if that is added then mypy without --strict also finds the real typing error.

So it seems the tool fails in the simplest cases if you forget some typing.

Interesting that it works in windows without --strict though.
--
Robin Becker