Использование Mypy с `.pyi` stub files ⇐ Python

[Anonymous]

Допустим, у меня есть простая функция внутри файла Home/func.py , и я делаю один вызов.

Код: Выделить всё

def f(x):
return x

print(f("example"))

Теперь скажем, я хочу ввести, чтобы проверить эту функцию, используя заглушку, home/stubs/func.pyi , которая выглядит так:

Код: Выделить всё

def f(x: int): ...

Теперь я хочу проверить свой код с помощью Mypy , чтобы увидеть, сделал ли я какие -либо ошибки в печати. Запуск mypy на Home/func.py Я ожидаю, что предупреждение/ошибка, подобная: получению строки, где int ожидал - однако я не могу заставить эту функциональность работать.

Код: Выделить всё

[mypy]
mypy_path = $MYPY_CONFIG_FILE_DIR/stubs

А потом я должен запустить Mypy , указывая на эту конфигурацию, так что что -то вроде: python -m mypy -config mypy.ini func.py . Это не сработало. Любая помощь действительно очень ценится.

Подробнее здесь: https://stackoverflow.com/questions/729 ... stub-files