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

Reply via email to