Combine constraints

xdslproject · Jan 30, 2025 · ab1834d · ab1834d
1 parent a173dcc
commit ab1834d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/xdsl/dialects/arith.py b/xdsl/dialects/arith.py
@@ -133,8 +133,7 @@ class ConstantOp(IRDLOperation):
     result = result_def(_T)
     value = prop_def(
         TypedAttributeConstraint(
-            IntegerAttr.constr(type=IndexTypeConstr)
-            | IntegerAttr.constr(type=SignlessIntegerConstraint)
+            IntegerAttr.constr(type=SignlessIntegerConstraint | IndexTypeConstr)
             | BaseAttr[FloatAttr[AnyFloat]](FloatAttr)
             | BaseAttr(DenseIntOrFPElementsAttr),
             _T,