// 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
  }
}