pre-commit updates

Author: saulshanabrook

.pre-commit-config.yaml

@@ -1,13 +1,13 @@
 exclude: ^python/tests/__snapshots__/
 repos:
   - repo: https://github.com/astral-sh/ruff-pre-commit
-    rev: v0.7.3
+    rev: v0.11.0
     hooks:
       - id: ruff
         args: [--fix, --exit-non-zero-on-fix]
       - id: ruff-format
   - repo: https://github.com/astral-sh/uv-pre-commit
     # uv version.
-    rev: 0.5.31
+    rev: 0.6.8
     hooks:
       - id: uv-lock

pyproject.toml

@@ -89,10 +89,8 @@ ignore = [
     # allow star imports
     "F405",
     "F403",
-    # Dont care if cls isnt typed explicitly in classmethod
-    "ANN102",
-    # Same for self
-    "ANN101",
+    # allow shadow builtin import
+    "A004",
     # Allow single line docstrings on multiple lines
     "D200",
     "D212",

python/egglog/functionalize.py

@@ -88,4 +88,4 @@ def wrapper(*args):
     wrapper.__name__ = f.__name__
 
     # Partially apply the wrapper function with the current values of the free vars
-    return cast(T, partial(wrapper, *(v for _, _, v, _ in additional_arg_filtered)))
+    return cast("T", partial(wrapper, *(v for _, _, v, _ in additional_arg_filtered)))

python/egglog/runtime.py

@@ -286,7 +286,7 @@ def __hash__(self) -> int:
         return hash((id(self.__egg_decls_thunk__), self.__egg_tp__))
 
     # Support unioning like types
-    def __or__(self, __value: type) -> object:
+    def __or__(self, *, __value: type) -> object:
         return Union[self, __value]  # noqa: UP007
 
     @property

python/tests/test_program_gen.py

@@ -2,12 +2,14 @@
 from __future__ import annotations
 
 import inspect
-from types import FunctionType
-from typing import cast
+from typing import TYPE_CHECKING, cast
 
 from egglog import *
 from egglog.exp.program_gen import *
 
+if TYPE_CHECKING:
+    from types import FunctionType
+
 
 class Math(Expr):
     def __init__(self, value: i64Like) -> None: ...
@@ -85,6 +87,6 @@ def test_py_object():
     egraph.register(evalled)
     egraph.run((to_program_ruleset | eval_program_rulseset | program_gen_ruleset).saturate())
     with egraph.set_current():
-        res = cast(FunctionType, evalled.as_py_object.eval())
+        res = cast("FunctionType", evalled.as_py_object.eval())
     assert res(1, 2) == 13
     assert inspect.getsource(res)