egglog 11.0.0__cp313-cp313-win_amd64.whl → 11.1.0__cp313-cp313-win_amd64.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=yP0nvJ8u6I1x4LB7IWTAJByi0sWk3NEsqOfS0LnetLU,4019
-egglog-11.0.0.dist-info/WHEEL,sha256=DfU-bXnJK60cJceeC-xy2sa_ryw_ZpNrTnTQMSW4eNA,96
-egglog-11.0.0.dist-info/licenses/LICENSE,sha256=TfaboMVZ81Q6OUaKjU7z6uVjSlcGKclLYcOpgDbm9_s,1091
+egglog-11.1.0.dist-info/METADATA,sha256=865-TFtrwCy1OfpeqBU2BcK96tl3G4hG1AMb4fVNCZU,4019
+egglog-11.1.0.dist-info/WHEEL,sha256=DfU-bXnJK60cJceeC-xy2sa_ryw_ZpNrTnTQMSW4eNA,96
+egglog-11.1.0.dist-info/licenses/LICENSE,sha256=TfaboMVZ81Q6OUaKjU7z6uVjSlcGKclLYcOpgDbm9_s,1091
 egglog/__init__.py,sha256=CAD9lfaUAcqSoTtprQfsFYqoOcqxAYsGBDU7laaYj0w,357
-egglog/bindings.cp313-win_amd64.pyd,sha256=3h4kc9JP0A8o0STJ8BdwieCov7vZpHmjZnxY8CPJClw,10314240
+egglog/bindings.cp313-win_amd64.pyd,sha256=gG7dNktng292liaUqilnV0qjGtmAoSS-ChltVykCAyc,10306560
 egglog/bindings.pyi,sha256=-sm1qF7dDGEsFGDbny8LEIYTFMnlDfUV7HfQ-P81Crg,14301
-egglog/builtins.py,sha256=LSmXx5NgbvxNUr3sOIBiHX1gP8aulGVXKcpqpaqS1tU,31243
+egglog/builtins.py,sha256=StODsE0YzfDmRnvt3lJChwUa9TQ-M16EAGQMjVS2njI,31337
 egglog/config.py,sha256=mALVaxh7zmGrbuyzaVKVmYKcu1lF703QsKJw8AF7gSM,176
 egglog/conversion.py,sha256=YSkLn744-Ci_GmlcZAvLwmJNN8WZyYDjPI8Sqj5TN-0,11524
 egglog/declarations.py,sha256=nXO13l2s8K-PB2d4ARoIS63deuxo0RWG9zAFKG3APBA,26688
 egglog/deconstruct.py,sha256=BzcrC1Qc_hlFhfQ2kkh1JB9Ur9Vi6IyjqM6KLhrZR58,5808
-egglog/egraph.py,sha256=Tq_Hu9GaDIfqbDistRRwHwyudpDPKVRyGxxk2JMer58,62422
+egglog/egraph.py,sha256=aI0POepFzToRW8-OZIlMY-ELinK3DvB3clBbxvPit-s,62400
 egglog/egraph_state.py,sha256=hdjM10qpeeUypNM7OREPT9uxVD0kvn6WaoMkXq96TpU,28993
 egglog/examples/README.rst,sha256=QrbfmivODBvUvmY3-dHarcbC6bEvwoqAfTDhiI-aJxU,237
 egglog/examples/__init__.py,sha256=KuhaJFOyz_rpUvEqZubsgLnv6rhQNE_AVFXA6bUnpdY,34
@@ -30,7 +30,7 @@ egglog/exp/array_api_jit.py,sha256=1mp6s2e2ySqulfb5pFuTQZ-IQ3UdDmT7eJvJME1X5hs,1
 egglog/exp/array_api_loopnest.py,sha256=1KZ8kWtv00TVCbzqzWG92vz8Y1pBlPOLRIrJfxyDs9s,2518
 egglog/exp/array_api_numba.py,sha256=g0Yb7auB2MtJHgSzn7iVnsxn6ffL4FHggKvbEuuDwZs,2765
 egglog/exp/array_api_program_gen.py,sha256=LatOqKiGVzpUhWIGtoZw9lLZdK3Oeg7XjR4ILLGby10,22289
-egglog/exp/program_gen.py,sha256=obqPocwY9LpmXyjIRtONvafkJm84HKWDsR_fME0gns4,13438
+egglog/exp/program_gen.py,sha256=CiLgPo2YoQi83DAVmR7gU61ocWkxnYEV1toie8y8ppQ,13458
 egglog/exp/siu_examples.py,sha256=nPV1IaA2NfIczpJPg3l8diUhoyio02KQUu-O55Pj1EQ,751
 egglog/ipython_magic.py,sha256=QDw45CA2wKi9vrBbvHZXLeMaRtoHSGLBJdqyNFtvD7o,1230
 egglog/pretty.py,sha256=pSTOMAgywLZ_0Y3oxYPmIbtxsVADWFw60G3LKTOYFWk,20632
@@ -38,8 +38,8 @@ egglog/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
 egglog/runtime.py,sha256=pOuAnqK_5Fb3Q0tfjC0JUIPoi9eEQtQBg38TtmnNSUQ,28664
 egglog/thunk.py,sha256=97JH5VVrr5m3yaua40StfDsQYEvACXirBzZv9CHHLbY,2368
 egglog/type_constraint_solver.py,sha256=uRLho3KQUtMn3ncugXADN5SfNqmqekduOl5CuWhhx4M,4631
-egglog/version_compat.py,sha256=kSerPl3jsTmFaV8wr0XDS6Jue8p8R9IFj2Qj_3c9uo8,3629
+egglog/version_compat.py,sha256=QGgZo85mwGsuFqNkRfLiGdxGR0K-B5Pax0f7fRjMW50,3599
 egglog/visualizer.css,sha256=DDmxZfLmFygwVkQwel0gGUiM5BZqgunawWeSfaRYBr8,259399
 egglog/visualizer.js,sha256=kDkYzE5cLLhmpNaWqSfQWzD0SlSsNe9KzT_GpNqhWgo,3789092
 egglog/visualizer_widget.py,sha256=TGkf61P_f4EvCFcyqwQC_8XYUkujFhcQnEG9vHWLPC4,1358
-egglog-11.0.0.dist-info/RECORD,,
+egglog-11.1.0.dist-info/RECORD,,