Make synthesis transitive

[annagrin]

Description

Make synthesis transitive

Allow substitutions in subst modules:

func.func @testy5(%arg0: i32) -> i32 {
  return %arg0: i32
}

Substitutions:

testy5:

cc.arg_subst[0] {
  %0 = arith.constant 2 : i32
}
func.func private @callee5(%arg0: i32) -> (i32) {
  return %arg0: i32
}

callee5:

cc.arg_subst[0] {
  %c4_i64 = arith.constant 4 : i32
}

Result:

func.func @testy5() -> i32 {
  %c2_i32 = arith.constant 2 : i32
  return %c2_i32 : i32
}
func.func private @callee5() -> i32 {
  %c4_i32 = arith.constant 4 : i32
  return %c4_i32 : i32
}

[schweitzpgi]

Thanks for splitting this out.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.

[schweitzpgi]

Looking good. A couple of minor nits.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.

[github-actions]

CUDA Quantum Docs Bot: A preview of the documentation can be found here.