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

Type checking

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():

if __name__ == "__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?