Hmm. Okay. I'll add a check callback to the partition pass.
I think that leaves us with three levels of possible user control in level of priority: 1. Use the Pattern Language for any constraints possible. We might be able to add shape checking to the language, we can't use an external codegen type checker :slight_smile: 2. If you need more control, use the Partition check if there are more complicated/external constraints 3. if you need even more control, use the Rewriter pass for more complicated graph rewriting. --- [Visit Topic](https://discuss.tvm.ai/t/byoc-use-pattern-language-to-create-composite-functions/6727/25) to respond. You are receiving this because you enabled mailing list mode. To unsubscribe from these emails, [click here](https://discuss.tvm.ai/email/unsubscribe/ed968ef16932ab0a9d7b3af17a4e15e51a19c66d041cc0ca9b7256220923857d).
