Besides mutually recursive globals deferring type checking provides no benefits, code that doesn't type check is not a valid Relay program and can not be used to do anything, analysis, optimization, or code generation.
We can defer type checking to the first pass, but I don't see it providing much value, it will also defer all type checking errors for the whole module to a single line in the traceback which makes debugging more challenging. --- [Visit Topic](https://discuss.tvm.ai/t/discussion-adding-a-function-to-relay-module-automatically-triggers-infertype/3643/4) 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/1a216327c748a797d4d34c4dfb63aae313f22b7794ecfe2c6c891c86d876b261). Tianqi Chen, UW, Seattle, WA, 98105, United States http://tracking.discuss.tvm.ai/tracking/unsubscribe?msgid=7lM0adelI8EVRG4N5fciPQ2