raise error at correct location for wrong type

tests/filecheck/dialects/builtin/dense_array_invalid.mlir

@@ -0,0 +1,23 @@
+// RUN: xdsl-opt %s --parsing-diagnostics --split-input-file | filecheck %s --strict-whitespace --match-full-lines
+
+//      CHECK:"builtin.module" () {"test" = array<i32: "", 3>} ({
+// CHECK-NEXT:                                         ^^
+// CHECK-NEXT:                                         Expected integer literal
+"builtin.module" () {"test" = array<i32: "", 3>} ({
+})
+
+// -----
+
+//      CHECK:"builtin.module" () {"test" = array<()->(): 2, 5, 2>} ({
+// CHECK-NEXT:                                    ^^^^^^
+// CHECK-NEXT:                                    dense array element type must be an integer or floating point type
+"builtin.module" () {"test" = array<()->(): 2, 5, 2>} ({
+})
+
+// -----
+
+//      CHECK:"builtin.module" () {"test" = array<i8: 99999999, 255, 256>} ({
+// CHECK-NEXT:                                        ^^^^^^^^
+// CHECK-NEXT:                                        Integer value 99999999 is out of range for type i8 which supports values in the range [-128, 256)
+"builtin.module" () {"test" = array<i8: 99999999, 255, 256>} ({
+})

xdsl/parser/attribute_parser.py

@@ -922,12 +922,14 @@ def _parse_typed_integer(
 
     def _parse_builtin_densearray_attr(self, name: Span) -> DenseArrayBase | None:
         self.parse_characters("<", " in dense array")
+        pos = self.pos
         element_type = self.parse_attribute()
 
         if not isinstance(element_type, IntegerType | AnyFloat):
-            raise ParseError(
-                name,
+            self.raise_error(
                 "dense array element type must be an integer or floating point type",
+                pos,
+                self.pos,
             )
 
         # Empty array