Should we have a quick discussion about this in one of the upcoming MLIR ODM meetings? I have the impression that we are all working in the same direction but we are not on the same page. So far we have focused the discussion on introducing or not introducing a dialect but we haven’t elaborated on why it’s needed/what we plan to do with it. I think a high-bandwidth discussion on this matter should help us decide if we should introduce a dialect right now or wait, build more expertise and introduce it later.
If this makes sense to you, please, let me know what you think and your availability for the next upcoming MLIR ODM meetings, esp. @banach-space and @frank_gao.
Thanks!