I had a look into type checking and tried a very simple example like the following:
#!/usr/bin/env python3
def greeting(name: str) -> str:
return 'Hello ' + name
def main():
print(greeting(1))
if __name__ == "__main__":
main()
pytype complained as expected.
BUT mypy says;
Success: no issues found in 1 source file
This is a Fedora 31 systems with:
Python 3.7.4
mypy 0.730
Any idea why mypy doesn't detect anything?
--
Manfred
--
https://mail.python.org/mailman/listinfo/python-list
