Add mypy to pre-commit

.github/pre-commit

@@ -37,6 +37,15 @@ then
     exit 1
 fi
 
+# Run `mypy` for python type checking
+if ! poetry run mypy .
+then
+    echo ""
+    echo "There are some python code style issues."
+    echo "Run `ruff format` first."
+    exit 1
+fi
+
 # Run `ruff` python linting
 if ! poetry run ruff check
 then

.github/workflows/ci-python-skip.yml → .github/workflows/ci-py-skip.yml

@@ -20,7 +20,7 @@ on:
 jobs:
   check:
     runs-on: ubuntu-latest
-    name: check python
+    name: check python (3.10)
     steps:
       - name: Do nothing
         run: echo "This is a dummy step to return a valid status check"

.github/workflows/ci-python.yml → .github/workflows/ci-py.yml

@@ -49,7 +49,7 @@ jobs:
         run: poetry install
 
       - name: Type check with mypy
-        run: poetry run mypy guppylang
+        run: poetry run mypy .
 
       - name: Check formatting with ruff
         run: poetry run ruff format --check

pyproject.toml

@@ -12,10 +12,10 @@ package-mode = false
 python = "^3.10"
 
 [tool.poetry.group.dev.dependencies]
-pytket = "*"
-pytest = "^7.1.2"
+pytest = "^8.1.1"
 pytest-cov = "^4.1.0"
-ruff = "^0.1.3"
+mypy = "^1.9.0"
+ruff = "^0.3.3"
 
 [tool.poetry.group.quantinuum-hugr.dependencies]
 quantinuum-hugr = { path = "quantinuum-hugr-py", develop = true }

quantinuum-hugr-py/README.md

@@ -1,4 +1,4 @@
-quantinuum-hugr
+quantinuum_hugr
 ===============
 
 [![build_status][]](https://github.com/CQCL/hugr/actions)
@@ -22,10 +22,10 @@ The HUGR specification is [here](https://github.com/CQCL/hugr/blob/main/specific
 
 ## Install
 
-`quantinuum-hugr` can be installed via `pip`. Requires Python >= 3.10.
+`quantinuum_hugr` can be installed via `pip`. Requires Python >= 3.10.
 
 ```sh
-pip install quantinuum-hugr
+pip install quantinuum_hugr
 ```
 
 ## Usage

quantinuum-hugr-py/pyproject.toml

@@ -14,12 +14,6 @@ repository = "https://github.com/CQCL/hugr"
 [tool.poetry.dependencies]
 python = ">=3.10"
 
-[tool.poetry.group.dev.dependencies]
-pytket = "*"
-pytest = "^7.1.2"
-pytest-cov = "^4.1.0"
-ruff = "^0.1.3"
-
 [tool.pytest.ini_options]
 # Lark throws deprecation warnings for `src_parse` and `src_constants`.
 filterwarnings = "ignore::DeprecationWarning:lark.*"