> the only reason a relay program cant typecheck is because it is wrong.
There are other reasons. Image there is a front end framework using Relay as
IR, it may not care about type that much, because 1) it doesn’t necessarily do
code generation; 2) It has tons of types that cannot be inferred by HM
inference (e.g. if %1 { 1 } else { “a” })
---
[Visit
Topic](https://discuss.tvm.ai/t/discussion-adding-a-function-to-relay-module-automatically-triggers-infertype/3643/7)
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/7f69247bdbf33e3415ee35e92051b14fa12ddb9e4cb82b730ccc3327e064c297).
Tianqi Chen, UW, Seattle, WA, 98105, United States
http://tracking.discuss.tvm.ai/tracking/unsubscribe?msgid=SNDjqU09wkCJ3k98gA56Lg2
