[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
gnulib-tool.py: Fix incorrect type hint.
|
From: |
Collin Funk |
|
Subject: |
gnulib-tool.py: Fix incorrect type hint. |
|
Date: |
Sun, 14 Apr 2024 13:47:45 -0700 |
|
User-agent: |
Mozilla Thunderbird |
When adding type hints I made a mistake. The 'filelist' passed to
'filter_filelist' should be marked 'list[str]' and not 'str'.
You can see this in GLModuleSystem.py with mypy [1]:
pygnulib/GLModuleSystem.py:595: error: Argument 2 has incompatible type
"list[str]"; expected "str" [arg-type]
pygnulib/GLModuleSystem.py:612: error: Argument 2 has incompatible type
"list[str]"; expected "str" [arg-type]
[1] https://mypy.readthedocs.io/en/stable/
Collin
0001-gnulib-tool.py-Fix-incorrect-type-hint.patch
Description: Text Data
- gnulib-tool.py: Fix incorrect type hint.,
Collin Funk <=