Hey,
Forgive my ignorance but I would love to ask the following question: Is there any reason to couple a pass (InferType) and the module definition itself? Cons of the issue include: 1) mutual global function call would fail InferType 2) it poses overly strong requirements over frontend importers 3) this would be prohibitive for developing a frontend using Relay as IR, which does or does not do code generation -- they may not need such a strongly typed module at once Therefore, we would love to learn if there is specific reason for this design :-) CC: @jroesch @haichen @zhiics --- [Visit Topic](https://discuss.tvm.ai/t/discussion-adding-a-function-to-relay-module-automatically-triggers-infertype/3643/1) 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/5159df8fc71fcd0da431dfb0f16a40d61d16b2cca3be82b0693ed595e0d2a0e6). Tianqi Chen, UW, Seattle, WA, 98105, United States http://tracking.discuss.tvm.ai/tracking/unsubscribe?msgid=s0e8IfVE66d5c0q8dLcpEQ2
