https://github.com/joker-eph commented: Thanks! Some quick comments inline. Can you write a doc in the `mlir/docs` folder? I suspect it may be suitable as a new section in `mlir/docs/Diagnostics.md` (or linked from there otherwise). https://github.com/llvm/llvm-project/pull/152474