fix pyright errors

xdslproject · Jan 29, 2025 · cc59bbc · cc59bbc
1 parent 258e8af
commit cc59bbc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/xdsl/dialects/arith.py b/xdsl/dialects/arith.py
@@ -5,6 +5,7 @@
 from typing import ClassVar, Literal, TypeVar, cast, overload
 
 from xdsl.dialects.builtin import (
+    I1,
     AnyFloat,
     AnyFloatConstr,
     AnyIntegerAttr,
@@ -55,7 +56,7 @@
 from xdsl.utils.exceptions import VerifyException
 from xdsl.utils.str_enum import StrEnum
 
-boolLike = ContainerOf(IntegerType(1))
+boolLike = ContainerOf[I1](IntegerType(1))
 signlessIntegerLike = ContainerOf(AnyOf([IntegerType, IndexType]))
 floatingPointLike = ContainerOf(AnyOf([Float16Type, Float32Type, Float64Type]))
 

diff --git a/xdsl/dialects/varith.py b/xdsl/dialects/varith.py
@@ -34,7 +34,7 @@
 from xdsl.printer import Printer
 from xdsl.traits import Pure
 
-integerOrFloatLike: ContainerOf = ContainerOf(
+integerOrFloatLike = ContainerOf(
     AnyOf(
         [
             IntegerType,