fix dataclass eq in types (#203)

thank you dataclass :-)

cc: @weinbe58 @johnzl-777

Author: Roger-luo

src/kirin/ir/attrs/types.py

@@ -86,7 +86,7 @@ def __hash__(self) -> int: ...
 
 
 @typing.final
-@dataclass
+@dataclass(eq=False)
 class AnyType(TypeAttribute, metaclass=SingletonTypeMeta):
     name = "Any"
 
@@ -98,7 +98,7 @@ def __hash__(self) -> int:
 
 
 @typing.final
-@dataclass
+@dataclass(eq=False)
 class BottomType(TypeAttribute, metaclass=SingletonTypeMeta):
     name = "Bottom"
 
@@ -140,7 +140,7 @@ def __call__(self, typ):
 
 
 @typing.final
-@dataclass
+@dataclass(eq=False)
 class PyClass(TypeAttribute, typing.Generic[PyClassType], metaclass=PyClassMeta):
     name = "PyClass"
     typ: type[PyClassType]
@@ -197,7 +197,7 @@ def __call__(self, data):
 
 
 @typing.final
-@dataclass
+@dataclass(eq=False)
 class Literal(TypeAttribute, typing.Generic[LiteralType], metaclass=LiteralMeta):
     name = "Literal"
     data: LiteralType
@@ -222,7 +222,7 @@ def print_impl(self, printer: Printer) -> None:
 
 
 @typing.final
-@dataclass
+@dataclass(eq=False)
 class Union(TypeAttribute, metaclass=UnionTypeMeta):
     name = "Union"
     types: frozenset[TypeAttribute]
@@ -283,7 +283,7 @@ def print_impl(self, printer: Printer) -> None:
 
 
 @typing.final
-@dataclass
+@dataclass(eq=False)
 class TypeVar(TypeAttribute):
     name = "TypeVar"
     varname: str
@@ -320,7 +320,7 @@ def print_impl(self, printer: Printer) -> None:
 
 
 @typing.final
-@dataclass
+@dataclass(eq=False)
 class Vararg(Attribute):
     name = "Vararg"
     typ: TypeAttribute
@@ -338,7 +338,7 @@ def print_impl(self, printer: Printer) -> None:
 
 
 @typing.final
-@dataclass
+@dataclass(eq=False)
 class Generic(TypeAttribute, typing.Generic[PyClassType]):
     name = "Generic"
     body: PyClass[PyClassType]
@@ -461,7 +461,7 @@ def where(self, typ: TypeVarValue | tuple[TypeVarValue, ...]) -> "Generic":
 
 
 @typing.final
-@dataclass
+@dataclass(eq=False)
 class Hinted(TypeAttribute, typing.Generic[HintedData]):
     """Type wrapped with a hint.
 

test/ir/test_isequal.py

@@ -0,0 +1,31 @@
+from kirin import ir
+from kirin.analysis import const
+from kirin.dialects import func
+
+
+def test_is_equal_ignoring_hint():
+    block = ir.Block()
+    block.args.append_from(
+        ir.types.Hinted(ir.types.PyClass(ir.Method), const.Value(None)), "self"
+    )
+    source_func = func.Function(
+        sym_name="main",
+        signature=func.Signature(
+            inputs=(),
+            output=ir.types.NoneType,
+        ),
+        body=ir.Region(block),
+    )
+
+    block = ir.Block()
+    block.args.append_from(ir.types.PyClass(ir.Method), "self")
+    expected_func = func.Function(
+        sym_name="main",
+        signature=func.Signature(
+            inputs=(),
+            output=ir.types.NoneType,
+        ),
+        body=ir.Region(block),
+    )
+
+    assert expected_func.is_equal(source_func)