fixed pyright

xdslproject · Oct 29, 2024 · 3a454ba · 3a454ba
1 parent 0ba1bcc
commit 3a454ba
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/xdsl/dialects/llvm.py b/xdsl/dialects/llvm.py
@@ -56,6 +56,7 @@
 from xdsl.traits import IsTerminator, NoMemoryEffect, SymbolOpInterface
 from xdsl.utils.exceptions import VerifyException
 from xdsl.utils.hints import isa
+from xdsl.utils.isattr import isattr
 from xdsl.utils.str_enum import StrEnum
 
 GEP_USE_SSA_VAL = -2147483648
@@ -1332,7 +1333,7 @@ def parse(cls, parser: Parser):
 
     def print(self, printer: Printer) -> None:
         printer.print("(")
-        if isinstance(self.value, IntegerAttr) and self.result.type == IntegerType(64):
+        if isattr(self.value, AnyIntegerAttr) and self.result.type == IntegerType(64):
             self.value.print_without_type(printer)
         else:
             printer.print(self.value)