Use pyproject.toml for mypy and specify files (#969)

* Move mypy to pyproject.toml * Mypy files config in pyproject.toml so more easily used
microsoft · Jul 22, 2021 · 11155b4 · 11155b4
1 parent 88e1491
commit 11155b4
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/.github/workflows/pythonchecks.yml b/.github/workflows/pythonchecks.yml
@@ -42,7 +42,7 @@ jobs:
 
     - name: Tiny bit of type-checking with mypy
       run: |
-        mypy --follow-imports=silent src/python/ksc/torch_frontend.py src/python/ksc/type.py src/python/ksc/expr.py src/python/ksc/filter_term.py
+        mypy --follow-imports=silent 
     
     - name: Dependency Detection setup
       uses: actions/checkout@v2

diff --git a/mypy.ini b/mypy.ini
diff --git a/pyproject.toml b/pyproject.toml
@@ -1,3 +1,8 @@
 [tool.black]
 # current releleased version of Black doesn't have extend-exclude, so add pybind11 and mlir to default extend until released
 exclude = '/(\.direnv|\.eggs|\.git|\.hg|\.mypy_cache|\.nox|\.tox|\.venv|\.svn|_build|buck-out|build|dist|pybind11|mlir|users|llvm-project)/'
+
+[tool.mypy]
+python_version=3.8
+ignore_missing_imports=true
+files="src/python/ksc/torch_frontend.py, src/python/ksc/type.py, src/python/ksc/expr.py, src/python/ksc/filter_term.py"