tree c2b9df71278e4195d424410bdc63ae3387396b82
parent 6733a505a1afb8eb4db2f6d85426d79ff0dc5eee
author Théo Degioanni <theo.degioanni.llvm.deluge062@simplelogin.fr> 1716205927 +0100
committer GitHub <noreply@github.com> 1716205927 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJmSzlnCRC1aQ7uu5UhlAAA9MsQAKp4D7Lw4coC+8dC5Js5jLFt
 sEH7xOn/f9RRPhBmUU1kOHjkoybw9+fI+1cVHdL6MjEjB4e2rKXrwNt+rL3HA7RX
 8XQkZGXYTtGByGI+KI5de1A+f3DexoRx71kGyZh0WpKYst6TTd01NZvWfxbDTep1
 Ad+dMTqMONLJ0wx/VJiYCOtYJmBIW+ycFm/gn1DNnPirYT3rRn4Ud49K5VT7ChX9
 51XffTLH9tYGarYdMb2zvM7SDatwhSdtD6MOj417WKfAImVAYrvpWyoRcOuEARD1
 TxNvccga7X2kdiIBdNAOe/9CwYPQIQVkRoFenXnJx05EnSMk24rOJXpv5166HfQe
 OfR1zacXvjOKsDdaqHHI2raYnU87JaIpp3MXzkNecc/cthHJ0sT448sqKkVdzlwT
 0vPQM69s76osQLpazx7nEuNu9fqd7fLY6hFoB6UBBMKm6GQxoSV/nTUgUniBWezf
 q8MEr2kvf6I4Y5IM6Jm6b+eLqPgIWF3nmZGZA9M+4fJXSyXNOr0CYSa+hL3iyJHd
 DBc1Ss9xMYKOgwV5sp/uoj/lfCm8rW2lw9W5LJiZP3QHlX30stbOKPER5cucOHbq
 N8C9w7KJQBX2mGIqD1uM6EkaROIt/Tmv4F3GHreDzstWHHrgyksnEvYSbMxW3YGN
 kf1TQafzFbJYpPUjujwR
 =r+Xv
 -----END PGP SIGNATURE-----
 

[mlir][irdl] Fix missing verifier in irdl.parametric (#92700)

The parametric op was not checking the symbol it points to is a type or
attribute. This PR also fixes a small bug where an invalid IRDL file
would not end processing in mlir-opt. I also improved the error messages
for the already handled irdl.base invalid symbols.