[Mlir-commits] [mlir] [mlir][python] Add normalforms to capture preconditions of transforms (PR #79449)

[Mehdi Amini]

joker-eph wrote:

> The question is how much lifting the bindings are allowed to do to make IR generation easier.
> In my opinion, these are convenience extras to help generate transform IR more easily.

The "concept of normalform" is just a convenience? 
>From reading this PR description this seems more than that to me, and it seems like a concept that could be purely native.

Ultimately to me the "bindings" are supposed to be just that: binding to the MLIR concepts. Of course there is some wrapping that can be done to make them more pythonic, safer, etc. But what you're doing here does not seem to fit this category of "let's make the MLIR API more pythonic" but really adding a new concept here.


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