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