[PATCH] D142445: [mlir][tensor|memref] Harden the checks on dim op

[Mehdi AMINI via Phabricator via llvm-commits]

mehdi_amini added a comment.

In D142445#4085082 <https://reviews.llvm.org/D142445#4085082>, @qcolombet wrote:

> What is this type carries error thing and how do you propagate the information there?

The shape dialect has a special type to model a "shape" and this type has an invalid state: https://mlir.llvm.org/docs/Dialects/ShapeDialect/#shapetype


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D142445/new/

https://reviews.llvm.org/D142445