jroesch opened a new issue #5968: URL: https://github.com/apache/incubator-tvm/issues/5968
The Relay parser tests should type check all produced fragments of code, currently they just ensure they parse. This causes all kinds of issues as all type information must be identical between the two program fragments even though much of it can be inferred. I found some strange inconsistencies that are hard to diagnose without type checking. The current type checking error reporting requires there to be a `main` symbol which must be changed before we can successfully do that. ---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected]
