mypy checking as part of CI

.github/workflows/ci_test.yml

@@ -29,6 +29,9 @@ jobs:
           - os: ubuntu-latest
             python: '3.12'
             tox_env: 'black'
+          - os: ubuntu-latest
+            python: '3.12'
+            tox_env: 'mypy'
           - os: ubuntu-latest
             python: '3.12'
             tox_env: 'py312-test-cov'

.gitignore

@@ -139,3 +139,6 @@ tests/datafile/par_*.par
 tests/datafile/fake_toas.tim
 tests/datafile/*.converted.par
 tests/datafile/_test_pintempo.out
+
+# mypy
+.mypy_cache

.pre-commit-config.yaml

@@ -6,6 +6,6 @@ repos:
     -   id: check-merge-conflict
     -   id: check-symlinks
 -   repo: https://github.com/psf/black
-    rev: 24.2.0
+    rev: 23.12.1
     hooks:
     -   id: black

mypy.ini

@@ -0,0 +1,56 @@
+
+[mypy]
+warn_unused_configs = True
+files = src/pint
+# 3.8 causes a problem with some versions of matplotlib
+python_version = 3.9
+warn_unreachable = True
+warn_return_any = True
+local_partial_types = True
+no_implicit_reexport = True
+strict_equality = True
+
+[mypy-pint.observatory.*]
+allow_untyped_globals = True
+warn_unreachable = False
+warn_return_any = False
+
+[mypy-pint.extern.*]
+; external code, don't worry about it
+ignore_errors = True
+
+; Other libraries that might not have type information
+; some of them seem like they should? maybe we need new versions?
+
+[mypy-astropy.*]
+ignore_missing_imports = True
+
+[mypy-erfa]
+ignore_missing_imports = True
+
+[mypy-emcee]
+ignore_missing_imports = True
+
+[mypy-jplephem]
+ignore_missing_imports = True
+
+[mypy-numdifftools]
+ignore_missing_imports = True
+
+[mypy-pylab]
+ignore_missing_imports = True
+
+[mypy-scipy.*]
+ignore_missing_imports = True
+
+[mypy-uncertainties.*]
+ignore_missing_imports = True
+
+[mypy-fftfit]
+ignore_missing_imports = True
+
+[mypy-pathos.*]
+ignore_missing_imports = True
+
+[mypy-corner]
+ignore_missing_imports = True

requirements_dev.txt

@@ -41,3 +41,7 @@ loguru
 gprof2dot
 py-cpuinfo
 pytest-xdist
+mypy==1.8.0
+GitPython
+types-setuptools
+types-tqdm