<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/69112>69112</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            Should mergedParsedLibraries always emit an error ?
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir:transform_dialect
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
            ingomueller-net
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          nicolasvasilache
      </td>
    </tr>
</table>

<pre>
    In #69111 , @ftynse notes 

```
Is it necessarily a verification error? Also, hasn't mergeSymbolsInto already emitted a more precise diagnostic?
```

about the following:

```
return mergedParsedLibraries->emitError()
               << "failed to verify merged transform module";
```


</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJx8ks1q5DoQhZ9G3hTd2JLbHS-86PwYAndxIQ8wlKWyXYMsBZWc4Lcf3N0zw0CIECW00NH5qg6K8BSIOnV6VFpzmOKykveUDoGy0lqdngtc8xxTF9hGj_KBwh7tTMUQ3da9BlDaNG1VVaD0E6i6HPMWhCDETAKqfFbl5V6b8r6v11cBzhDIkggm9hsgfFDikS1mjgEopZiU6eHiJe7iM0pQ-pxhoTTR27YM0ctryBHQJ0K3AS2cMzlAWGIieE9kWQgc4xSiZLbK9F-auVUc4pohzwRj9D5-cpiUuXzDkCivKdz8uP8xCbn_eEiYmOSgzMvu5-WKoR-Ubm-P4N-lzJMyT6C0HpE9Ocjx1oftrgs5YZAxpgWW6FZP-2DM4zccheuMa02LBXVV057Nw6mpz8Xc1e15bM40oLFWa1fX2NiyfNCtGevqRFRwp0ttqrI6VU1Z1uejrW1bVm1ltLN0aoyqS1qQ_dH7j-UY01SwyErdHgFdeBzIyz1Oi-ekzOWP-x-O0ZP9navU7RKHYZ1E1aVnyfJXNHP21L3NcfXu6_YC-k_c5DpywHtaQJm-WJPv5pzfZZ-d7pXuJ87zOhxtXJTu9z_ux-E9xZ9XR_2VQpTuryC_AgAA__9_avYW">