// RUN: mlir-opt %s --transform-interpreter | FileCheck %s

module @td_module_4 attributes {transform.with_named_sequence} {
  module @foo_module attributes {transform.with_named_sequence} {
    transform.named_sequence @__transform_main(%arg0: !transform.any_op {transform.readonly}) -> () {
      // CHECK: IR printer: foo_module top-level
      transform.print {name="foo_module"}
      transform.yield
    }
  }
  module @bar_module attributes {transform.with_named_sequence} {
    transform.named_sequence @__transform_main(%arg0: !transform.any_op {transform.readonly}) -> () {
      // CHECK: IR printer: bar_module top-level
      transform.print {name="bar_module"}
      transform.yield
    }
  }
  transform.named_sequence @__transform_main(%arg0: !transform.any_op {transform.readonly}) -> () {
    transform.include @foo_module::@__transform_main failures(suppress) (%arg0) : (!transform.any_op) -> ()
    transform.include @bar_module::@__transform_main failures(suppress) (%arg0) : (!transform.any_op) -> ()
    transform.yield
  }
}