| // This test just needs to parse. Note that the diagnostic message below will | |
| // be produced in *another* multi-file test, do *not* -verify-diagnostics here. | |
| // RUN: mlir-opt %s | |
| // RUN: mlir-transform-opt %s --transform-library=%p/external-def.mlir | FileCheck %s | |
| module attributes {transform.with_named_sequence} { | |
| // The definition should not be printed here. | |
| // CHECK: @external_def | |
| // CHECK-NOT: transform.print | |
| transform.named_sequence private @external_def(%root: !transform.any_op {transform.readonly}) | |
| transform.named_sequence private @__transform_main(%root: !transform.any_op) { | |
| // expected-error @below {{unresolved external named sequence}} | |
| transform.include @external_def failures(propagate) (%root) : (!transform.any_op) -> () | |
| transform.yield | |
| } | |
| } |