chore: switch to poetry for build system (#88)

.github/workflows/pull-request.yaml

@@ -13,13 +13,13 @@ jobs:
 
     steps:
       - uses: actions/checkout@v3
-
+      - name: Install poetry
+        run: pipx install poetry
       - name: Set up Python ${{ matrix.python-version }}
         uses: actions/setup-python@v3
         with:
           python-version: ${{ matrix.python-version }}
-          cache: "pip"
-          cache-dependency-path: pyproject.toml
+          cache: "poetry"
 
       - name: Build Hugr validator
         uses: PyO3/maturin-action@v1
@@ -29,14 +29,14 @@ jobs:
           rust-toolchain: '1.75'
           working-directory: validator
 
-      - name: Install Hugr validator
-        run: pip install validator/target/wheels/*
-
       - name: Install Guppy
-        run: pip install -e '.[dev]'
+        run: poetry install
+
+      - name: Install Hugr validator
+        run: poetry add validator/target/wheels/*
 
       - name: Type check with mypy
-        run: mypy guppy
+        run: poetry run mypy guppy
 
       - name: Check formatting with ruff
         uses: chartboost/ruff-action@v1
@@ -51,4 +51,4 @@ jobs:
           args: check
 
       - name: Run tests
-        run: pytest
+        run: poetry run pytest

devenv.nix

@@ -3,7 +3,10 @@
 {
   languages.python = {
     enable = true;
-    venv.enable = true;
+    poetry = {
+      enable = true;
+      activate.enable = true;
+    };
   };
 
   languages.rust = {

guppy/cfg/builder.py

@@ -185,7 +185,7 @@ def visit_FunctionDef(
         bb.statements.append(new_node)
         return bb
 
-    def generic_visit(self, node: ast.AST, bb: BB, jumps: Jumps) -> BB | None:  # type: ignore[override]
+    def generic_visit(self, node: ast.AST, bb: BB, jumps: Jumps) -> BB | None:
         # When adding support for new statements, we have to remember to use the
         # ExprBuilder to transform all included expressions!
         raise GuppyError("Statement is not supported", node)
@@ -365,7 +365,7 @@ def visit_IfExp(self, node: ast.IfExp, bb: BB, true_bb: BB, false_bb: BB) -> Non
         self.visit(node.body, then_bb, true_bb, false_bb)
         self.visit(node.orelse, else_bb, true_bb, false_bb)
 
-    def generic_visit(self, node: ast.expr, bb: BB, true_bb: BB, false_bb: BB) -> None:  # type: ignore[override]
+    def generic_visit(self, node: ast.expr, bb: BB, true_bb: BB, false_bb: BB) -> None:
         # We can always fall back to building the node as a regular expression and using
         # the result as a branch predicate
         pred, bb = ExprBuilder.build(node, self.cfg, bb)

guppy/checker/expr_checker.py

@@ -169,9 +169,7 @@ def visit_Call(self, node: ast.Call, ty: GuppyType) -> tuple[ast.expr, Subst]:
         else:
             raise GuppyTypeError(f"Expected function type, got `{func_ty}`", node.func)
 
-    def generic_visit(  # type: ignore[override]
-        self, node: ast.expr, ty: GuppyType
-    ) -> tuple[ast.expr, Subst]:
+    def generic_visit(self, node: ast.expr, ty: GuppyType) -> tuple[ast.expr, Subst]:
         # Try to synthesize and then check if we can unify it with the given type
         node, synth = self._synthesize(node, allow_free_vars=False)
         subst, inst = check_type_against(synth, ty, node, self._kind)

guppy/hugr/hugr.py

@@ -5,7 +5,7 @@
 from dataclasses import dataclass, field
 from typing import Any, Optional
 
-import networkx as nx  # type: ignore[import]
+import networkx as nx  # type: ignore[import-untyped]
 
 import guppy.hugr.ops as ops
 import guppy.hugr.raw as raw

guppy/hugr/visualise.py

@@ -3,7 +3,7 @@
 from collections.abc import Iterable
 from typing import TYPE_CHECKING
 
-import graphviz as gv  # type: ignore[import]
+import graphviz as gv  # type: ignore[import-untyped]
 
 from guppy.cfg.analysis import (
     DefAssignmentDomain,

pyproject.toml

@@ -1,29 +1,28 @@
-[build-system]
-requires = ["setuptools"]
-build-backend = "setuptools.build_meta"
-
-[project]
+[tool.poetry]
 name = "guppy"
-authors = [{ name = "Mark Koch", email = "[email protected]" }]
 version = "0.1.0"
-requires-python = ">=3.9"
-dependencies = ["graphviz", "networkx", "ormsgpack", "pydantic==2.5.3"]
+description = ""
+authors = ["Mark Koch <[email protected]>"]
+license = "Apache-2.0"
 readme = "README.md"
-license = { text = "Apache-2.0" }
 
-[project.optional-dependencies]
-dev = [
-    "build",
-    "maturin>=1.1,<2.0",
-    "mypy==1.3.0",
-    "pip-tools",         # provides pip-compile
-    "pre-commit",
-    "pytest",
-    "ruff",
-]
+[tool.poetry.dependencies]
+python = "^3.10"
+graphviz = "^0.20.1"
+networkx = "^3.2.1"
+ormsgpack = "^1.4.1"
+pydantic = "^2.5.3"
 
-[tool.setuptools]
-py-modules = ["guppy"]
+[tool.poetry.group.dev.dependencies]
+pytest = "^7.4.4"
+mypy = "^1.8.0"
+pre-commit = "^3.6.0"
+ruff = "^0.1.11"
+maturin = "^1.4.0"
+
+[build-system]
+requires = ["poetry-core"]
+build-backend = "poetry.core.masonry.api"
 
 [tool.mypy]
 plugins = ["pydantic.mypy"]