如何告诉mypy包含存根文件

Question

我在玩mypy (版本: 0.630)，我很难让它看到我的存根文件。有人能告诉我这里出了什么问题吗？

我的目录结构如下所示：

├── caesar.py
└── stubs
    └── caesar.pyi

caesar.py包含一些有效的python代码。caesar.pyi包含单词bugger。我希望当我运行mypy时，我会得到一个错误。我是这样运行的：

export MYPYPATH=${PWD}/stubs
mypy caesar.py

没有输出(表示成功)。我错过了什么简单的东西？

-编辑--

然后，通过添加一些空的init文件并更改目录结构，尝试了一个小实验：

├── caesar
│   ├── caesar.py
│   └── __init__.py
├── mypy.sh
└── stubs
    ├── caesar
    │   ├── caesar.pyi
    │   └── __init__.pyi
    └── __init__.pyi

然后尝试：

export MYPYPATH=${PWD}/stubs
mypy caesar/caesar.py

这没什么改变。

-编辑--

mypy.ini现在看起来像：

[mypy]
python_version = 3.7
mypy_path=stubs
cache_dir=/dev/null

跑步时喜欢：

mypy --config-file mypy.ini caesar.py

目录树：

├── caesar.py
├── mypy.ini
├── mypy.sh
└── stubs
    └── caesar.pyi

版本: 0.630

Answer 1

我一直在使用一个mypy.ini文件，并取得了成功：

[mypy]
python_version = 3.6
mypy_path = /Users/rpg/projects/xplan/yeast-gates-data/stubs
cache_dir = /dev/null

为了避免mypy缓存类型定义，我发现cache_dir设置是必要的。我不确定它是否总是正确地刷新缓存。您的配置文件看起来很好；我唯一能想到的就是引号可能