Python: Avoid typed-ast dependency

The `typed-ast` package is being end-of-life'd soon. See python/typed_ast#179. Moreover, it is causing issues when building with Python 3.11+. See GaloisInc/cryptol#1491. Thankfully, `typed-ast` is no longer required if you use sufficiently new versions of `mypy` and Python. This patch raises the lower version bounds to make it possible to shed the `typed-ast` dependency entirely.
GaloisInc · Jan 26, 2023 · 87fe7e8 · 87fe7e8
1 parent 2f19ac6
commit 87fe7e8
Show file tree

Hide file tree

Showing 3 changed files with 47 additions and 112 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -18,7 +18,7 @@ jobs:
     steps:
     - uses: actions/setup-python@v2
       with:
-        python-version: '3.7'
+        python-version: '3.11'
     - uses: abatilo/actions-poetry@v2.1.4
       with:
         poetry-version: 1.1.11

diff --git a/python/poetry.lock b/python/poetry.lock
diff --git a/python/pyproject.toml b/python/pyproject.toml
@@ -18,12 +18,16 @@ include = [
 "Bug Tracker" = "https://github.com/GaloisInc/argo/issues"
 
 [tool.poetry.dependencies]
-python = ">=3.7.0,<4"
+python = ">=3.8.0,<4"
 requests = "^2.26.0"
 urllib3 = ">=1.26.5"
 
 [tool.poetry.dev-dependencies]
-mypy = "^0.812"
+mypy = "^0.991"
+
+[tool.mypy]
+install-types = true
+non-interactive = true
 
 [build-system]
 requires = ["poetry>=1.1.4", "setuptools>=40.8.0"]