Add tests

.github/workflows/test.yml

@@ -57,7 +57,7 @@ jobs:
       run: pip install -e ".[test]"
 
     - name: Check types
-      run: mypy python
+      run: mypy --check-untyped-defs python
 
     - name: Run tests
       if: ${{ !((matrix.python-version == '3.13') && (matrix.os == 'ubuntu')) }}

pyproject.toml

@@ -37,6 +37,7 @@ dependencies = [
 [project.optional-dependencies]
 test = [
     "pytest >=7.4.2,<8",
+    "pytest-mypy-testing",
     "anyio",
     "trio >=0.25.1,<0.27",
     "pydantic >=2.5.2,<3",
@@ -59,11 +60,13 @@ python-source = "python"
 module-name = "pycrdt._pycrdt"
 
 [tool.ruff]
+exclude = ["tests/test_types.py"]
 line-length = 100
 lint.select = ["F", "E", "W", "I001"]
 
 [tool.coverage.run]
 source = ["python", "tests"]
+omit = ["tests/test_types.py"]
 
 [tool.coverage.report]
 show_missing = true

python/pycrdt/_base.py

@@ -222,6 +222,7 @@ def __init__(self, event: Any, doc: Doc):
 
     def __str__(self):
         str_list = []
+        slot: Any
         for slot in self.__slots__:
             val = str(getattr(self, slot))
             str_list.append(f"{slot}: {val}")

tests/test_types.py

@@ -0,0 +1,20 @@
+import pytest
+from pycrdt import Array, Doc, Map
+
+
+@pytest.mark.mypy_testing
+def mypy_test_array():
+    doc = Doc()
+    array0: Array[int] = doc.get("array0", type=Array)
+    array0.append(0)
+    array0.append("foo")  # E: Argument 1 to "append" of "Array" has incompatible type "str"; expected "int"  [arg-type]
+
+
+@pytest.mark.mypy_testing
+def mypy_test_map():
+    doc = Doc()
+    map0: Map[bool] = doc.get("map0", type=Map)
+    map0["foo"] = True
+    map0["foo"] = "bar"  # E: Incompatible types in assignment (expression has type "str", target has type "bool")
+    v0: str = map0.pop("foo")  # E: Incompatible types in assignment (expression has type "bool", variable has type "str")
+    v1: bool = map0.pop("foo")