egglog 11.0.0__cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl → 11.1.0__cp310-cp310-manylinux_2_17_aarch64.manylinux2014_aarch64.whl

egglog/builtins.py

@@ -91,7 +91,7 @@ class String(BuiltinExpr):
     def eval(self) -> str:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> str:
         if (value := get_literal_value(self)) is not None:
@@ -122,7 +122,7 @@ class Bool(BuiltinExpr, egg_sort="bool"):
     def eval(self) -> bool:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> bool:
         if (value := get_literal_value(self)) is not None:
@@ -165,7 +165,7 @@ class i64(BuiltinExpr):  # noqa: N801
     def eval(self) -> int:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> int:
         if (value := get_literal_value(self)) is not None:
@@ -239,14 +239,14 @@ class i64(BuiltinExpr):  # noqa: N801
     def __invert__(self) -> i64: ...
 
     @method(egg_fn="<")
-    def __lt__(self, other: i64Like) -> Unit:  # type: ignore[empty-body,has-type]
+    def __lt__(self, other: i64Like) -> Unit:  # type: ignore[has-type]
         ...
 
     @method(egg_fn=">")
     def __gt__(self, other: i64Like) -> Unit: ...
 
     @method(egg_fn="<=")
-    def __le__(self, other: i64Like) -> Unit:  # type: ignore[empty-body,has-type]
+    def __le__(self, other: i64Like) -> Unit:  # type: ignore[has-type]
         ...
 
     @method(egg_fn=">=")
@@ -292,7 +292,7 @@ class f64(BuiltinExpr):  # noqa: N801
     def eval(self) -> float:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> float:
         if (value := get_literal_value(self)) is not None:
@@ -341,14 +341,14 @@ class f64(BuiltinExpr):  # noqa: N801
     def __rmod__(self, other: f64Like) -> f64: ...
 
     @method(egg_fn="<")
-    def __lt__(self, other: f64Like) -> Unit:  # type: ignore[empty-body,has-type]
+    def __lt__(self, other: f64Like) -> Unit:  # type: ignore[has-type]
         ...
 
     @method(egg_fn=">")
     def __gt__(self, other: f64Like) -> Unit: ...
 
     @method(egg_fn="<=")
-    def __le__(self, other: f64Like) -> Unit:  # type: ignore[empty-body,has-type]
+    def __le__(self, other: f64Like) -> Unit:  # type: ignore[has-type]
         ...
 
     @method(egg_fn=">=")
@@ -387,7 +387,7 @@ class Map(BuiltinExpr, Generic[T, V]):
     def eval(self) -> dict[T, V]:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> dict[T, V]:
         d = {}
@@ -457,7 +457,7 @@ class Set(BuiltinExpr, Generic[T]):
     def eval(self) -> set[T]:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> set[T]:
         if (args := get_callable_args(self, Set[T])) is not None:
@@ -527,7 +527,7 @@ class MultiSet(BuiltinExpr, Generic[T]):
     def eval(self) -> list[T]:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> list[T]:
         if (args := get_callable_args(self, MultiSet[T])) is not None:
@@ -582,7 +582,7 @@ class Rational(BuiltinExpr):
     def eval(self) -> Fraction:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> Fraction:
         match get_callable_args(self, Rational):
@@ -651,11 +651,11 @@ class Rational(BuiltinExpr):
     @method(egg_fn="cbrt")
     def cbrt(self) -> Rational: ...
 
-    @method(egg_fn="numer")  # type: ignore[misc]
+    @method(egg_fn="numer")  # type: ignore[prop-decorator]
     @property
     def numer(self) -> i64: ...
 
-    @method(egg_fn="denom")  # type: ignore[misc]
+    @method(egg_fn="denom")  # type: ignore[prop-decorator]
     @property
     def denom(self) -> i64: ...
 
@@ -666,7 +666,7 @@ class BigInt(BuiltinExpr):
     def eval(self) -> int:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> int:
         match get_callable_args(self, BigInt.from_string):
@@ -744,14 +744,14 @@ class BigInt(BuiltinExpr):
     def bits(self) -> BigInt: ...
 
     @method(egg_fn="<")
-    def __lt__(self, other: BigIntLike) -> Unit:  # type: ignore[empty-body,has-type]
+    def __lt__(self, other: BigIntLike) -> Unit:  # type: ignore[has-type]
         ...
 
     @method(egg_fn=">")
     def __gt__(self, other: BigIntLike) -> Unit: ...
 
     @method(egg_fn="<=")
-    def __le__(self, other: BigIntLike) -> Unit:  # type: ignore[empty-body,has-type]
+    def __le__(self, other: BigIntLike) -> Unit:  # type: ignore[has-type]
         ...
 
     @method(egg_fn=">=")
@@ -793,7 +793,7 @@ class BigRat(BuiltinExpr):
     def eval(self) -> Fraction:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> Fraction:
         match get_callable_args(self, BigRat):
@@ -862,11 +862,11 @@ class BigRat(BuiltinExpr):
     @method(egg_fn="cbrt")
     def cbrt(self) -> BigRat: ...
 
-    @method(egg_fn="numer")  # type: ignore[misc]
+    @method(egg_fn="numer")  # type: ignore[prop-decorator]
     @property
     def numer(self) -> BigInt: ...
 
-    @method(egg_fn="denom")  # type: ignore[misc]
+    @method(egg_fn="denom")  # type: ignore[prop-decorator]
     @property
     def denom(self) -> BigInt: ...
 
@@ -893,7 +893,7 @@ class Vec(BuiltinExpr, Generic[T]):
     def eval(self) -> tuple[T, ...]:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> tuple[T, ...]:
         if get_callable_args(self, Vec.empty) is not None:
@@ -972,7 +972,7 @@ class PyObject(BuiltinExpr):
     def eval(self) -> object:
         return self.value
 
-    @method(preserve=True)  # type: ignore[misc]
+    @method(preserve=True)  # type: ignore[prop-decorator]
     @property
     def value(self) -> object:
         expr = cast("RuntimeExpr", self).__egg_typed_expr__.expr

egglog/egraph.py

@@ -1767,7 +1767,7 @@ def _rewrite_or_rule_generator(gen: RewriteOrRuleGenerator, frame: FrameType) ->
     combined = {**gen.__globals__, **frame.f_locals}
     hints = get_type_hints(gen, combined, combined)
     args = [_var(p.name, hints[p.name], egg_name=None) for p in signature(gen).parameters.values()]
-    return list(gen(*args))  # type: ignore[misc]
+    return list(gen(*args))
 
 
 FactLike = Fact | BaseExpr

egglog/exp/program_gen.py

@@ -79,7 +79,7 @@ class Program(Expr):
         Triggers compilation of the program.
         """
 
-    @method(merge=lambda old, _new: old)  # type: ignore[misc]
+    @method(merge=lambda old, _new: old)  # type: ignore[prop-decorator]
     @property
     def parent(self) -> Program:
         """
@@ -108,7 +108,7 @@ class EvalProgram(Expr):
         """
 
     # Only allow it to be set once, b/c hash of functions not stable
-    @method(merge=lambda old, _new: old)  # type: ignore[misc]
+    @method(merge=lambda old, _new: old)  # type: ignore[prop-decorator]
     @property
     def as_py_object(self) -> PyObject:
         """

egglog/version_compat.py

@@ -39,7 +39,7 @@ if BEFORE_3_11:
             if isinstance(t, typevar_types) and t not in tvars:
                 tvars.append(t)
             # **MONKEYPATCH CHANGE HERE TO ADD RuntimeClass**
-            if isinstance(t, (typing._GenericAlias, typing.GenericAlias, types.UnionType, RuntimeClass)):  # type: ignore[name-defined]
+            if isinstance(t, (typing._GenericAlias, typing.GenericAlias, types.UnionType, RuntimeClass)):
                 tvars.extend([t for t in t.__parameters__ if t not in tvars])
         return tuple(tvars)
 

{egglog-11.0.0.dist-info → egglog-11.1.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: egglog
-Version: 11.0.0
+Version: 11.1.0
 Classifier: Environment :: MacOS X
 Classifier: Environment :: Win32 (MS Windows)
 Classifier: Intended Audience :: Developers

{egglog-11.0.0.dist-info → egglog-11.1.0.dist-info}/RECORD

@@ -1,15 +1,15 @@
-egglog-11.0.0.dist-info/METADATA,sha256=VH4PDa7lqn65KluCyLOf8_o72HX-CBmdxH3Wtl4jWB0,4009
-egglog-11.0.0.dist-info/WHEEL,sha256=fHySsttgWqXcJCdI_MS-Pgp4-RhoEQ6J1LzB8xroE-c,131
-egglog-11.0.0.dist-info/licenses/LICENSE,sha256=w7VlVv5O_FPZRo8Z-4Zb_q7D5ac3YDs8JUkMZ4Gq9CE,1070
+egglog-11.1.0.dist-info/METADATA,sha256=u53IcPcs6w0Rry3b4tw2IDFN0qwIOIgbGmj_3Op0FPo,4009
+egglog-11.1.0.dist-info/WHEEL,sha256=fHySsttgWqXcJCdI_MS-Pgp4-RhoEQ6J1LzB8xroE-c,131
+egglog-11.1.0.dist-info/licenses/LICENSE,sha256=w7VlVv5O_FPZRo8Z-4Zb_q7D5ac3YDs8JUkMZ4Gq9CE,1070
 egglog/__init__.py,sha256=0r3MzQbU-9U0fSCeAoJ3deVhZ77tI-1tf8A_WFOhbJs,344
-egglog/bindings.cpython-310-aarch64-linux-gnu.so,sha256=FoUWm1zdFpw__MRMCc5Dhwws6fXmWtbe5gbx1K3zc6I,200964584
+egglog/bindings.cpython-310-aarch64-linux-gnu.so,sha256=3QeboH1qiWzCozSvtd7ercy54vqHIlhwEYkTyFQ2b7k,201012200
 egglog/bindings.pyi,sha256=QDgs0hKl2xl4Q6f7hXjfDANoMADRrGTYTdGYdri7Vqg,13642
-egglog/builtins.py,sha256=PdZFFc1wgDdipQkM4rnwwL7CI595oHtzcvEZYrTBQU4,30110
+egglog/builtins.py,sha256=bF3GanSmsrIIutvuMUmr4SnSNF0zAEwjmDYWbPEEayo,30204
 egglog/config.py,sha256=yM3FIcVCKnhWZmHD0pxkzx7ah7t5PxZx3WUqKtA9tjU,168
 egglog/conversion.py,sha256=DO76lxRbbTqHs6hRo_Lckvtwu0c6LaKoX7k5_B2AfuY,11238
 egglog/declarations.py,sha256=CA8gWolJChVt6-xDL7XvV5ORjNj3O8PREobYCzVFxDI,25784
 egglog/deconstruct.py,sha256=CovORrpROMIwOLgERPUw8doqRUDUehj6LJEB5FMbpmI,5635
-egglog/egraph.py,sha256=wa_lE-TiJROoeDkR3JlVKZgRQSnp1PO4szr0MgHIzg8,60623
+egglog/egraph.py,sha256=niBx_EAbQhzjupJs_wZ9oIbjF7W_ttx9D0u1iB059HM,60601
 egglog/egraph_state.py,sha256=8-u0BLAHlWgoo_KiyW_aqC6nj_X0XgMFRlXWIyPjF64,28356
 egglog/examples/README.rst,sha256=ztTvpofR0eotSqGoCy_C1fPLDPCncjvcqDanXtLHNNU,232
 egglog/examples/__init__.py,sha256=wm9evUbMPfbtylXIjbDdRTAVMLH4OjT4Z77PCBFyaPU,31
@@ -30,7 +30,7 @@ egglog/exp/array_api_jit.py,sha256=Ak4QhmfYLKimjPf8ffUvPv62OhxOneJ9NEWQJuMxKJc,1
 egglog/exp/array_api_loopnest.py,sha256=-kbyorlGxvlaNsLx1nmLfEZHQM7VMEBwSKtV0l-bs0g,2444
 egglog/exp/array_api_numba.py,sha256=X3H1TnCjPL92uVm6OvcWMJ11IeorAE58zWiOX6huPv4,2696
 egglog/exp/array_api_program_gen.py,sha256=qnve8iqklRQVyGChllG8ZAjAffRpezmdxc3IdaWytoQ,21779
-egglog/exp/program_gen.py,sha256=oLhDEFvX9neeSTWiI7pbwEBqRHuj8cXhUCpsyVNZqCw,13013
+egglog/exp/program_gen.py,sha256=CavsD70x0ERS87V4OU9zkgMvLXswGEpb1ZZFK0WyN_g,13033
 egglog/exp/siu_examples.py,sha256=yZ-sgH2Y12iTdwBUumP7D2OtCGL83M6pPW7PMobVFXc,719
 egglog/ipython_magic.py,sha256=2hs3g2cSiyDmbCvE2t1OINmu17Bb8MWV--2DpEWwO7I,1189
 egglog/pretty.py,sha256=TCkwZIecdFT5eMIy0GGAZuKvPUt0fQeh5K1srgnCJLo,20136
@@ -38,8 +38,8 @@ egglog/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 egglog/runtime.py,sha256=8y1YQ5vFuoHr9B8LGTeQBHZin7S8LYHlsR93LlNl2uo,27979
 egglog/thunk.py,sha256=MrAlPoGK36VQrUrq8PWSaJFu42sPL0yupwiH18lNips,2271
 egglog/type_constraint_solver.py,sha256=U2GjLgbebTLv5QY8_TU0As5wMKL5_NxkHLen9rpfMwI,4518
-egglog/version_compat.py,sha256=T1lHCmTIgGbuLcv7e6JWPxntVSSDsgxRPIq2NpKZe0I,3542
+egglog/version_compat.py,sha256=EaKRMIOPcatrx9XjCofxZD6Nr5WOooiWNdoapkKleww,3512
 egglog/visualizer.css,sha256=eL0POoThQRc0P4OYnDT-d808ln9O5Qy6DizH9Z5LgWc,259398
 egglog/visualizer.js,sha256=2qZZ-9W_INJx4gZMYjnVXl27IjT_JNuQyEeI2dbjWoU,3753315
 egglog/visualizer_widget.py,sha256=LtVfzOtv2WeKtNuILQQ_9SOHWvRr8YdBYQDKQSgry_s,1319
-egglog-11.0.0.dist-info/RECORD,,
+egglog-11.1.0.dist-info/RECORD,,