You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2020/06/30 19:38:16 UTC
[GitHub] [incubator-tvm] jroesch opened a new issue #5968: [Relay][Parser] Add type checking of all successful parses.
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:
users@infra.apache.org
[GitHub] [incubator-tvm] jroesch commented on issue #5968: [Relay][Parser] Add type checking of all successful parses.
Posted by GitBox <gi...@apache.org>.
jroesch commented on issue #5968:
URL: https://github.com/apache/incubator-tvm/issues/5968#issuecomment-702936984
This is now fixed for full modules, going to close.
----------------------------------------------------------------
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:
users@infra.apache.org
[GitHub] [incubator-tvm] jroesch closed issue #5968: [Relay][Parser] Add type checking of all successful parses.
Posted by GitBox <gi...@apache.org>.
jroesch closed issue #5968:
URL: https://github.com/apache/incubator-tvm/issues/5968
----------------------------------------------------------------
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:
users@infra.apache.org