bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: gnulib-tool.py: Update type hints and docstring.


From: Bruno Haible
Subject: Re: gnulib-tool.py: Update type hints and docstring.
Date: Mon, 22 Apr 2024 00:42:21 +0200

Collin Funk wrote:
> I am still learning about the
> type hinting and type checking stuff. Overall I think it is a good
> decision though. In the past I remember finding large Python code hard
> to follow without them.

Absolutely, yes.

Bruno






reply via email to

[Prev in Thread] Current Thread [Next in Thread]