[Mlir-commits] [mlir] [mlir] Add property combinators, initial ODS support (PR #94732)

[Mehdi Amini]

================
@@ -1026,6 +1055,8 @@ to:
 1.  All operand and result types must appear within the format using the various
     `type` directives, either individually or with the `operands` or `results`
     directives.
+1.  Unless all non-attribute properties appear in the format, the `prop-dict`
+    directive must be present.
----------------
joker-eph wrote:

I'm actually working on a patch to go further in the proper separation of discardable and inherent attribute to force prop-dict to be present when some inherent attributes aren't present in the format (just a comment passing by, nothing blocking your work of course)

https://github.com/llvm/llvm-project/pull/94732