jroesch opened a new issue #6618: URL: https://github.com/apache/incubator-tvm/issues/6618
Tracking this as part of follow up work for the diagnostics. The current wellformedness check only looks at a single function, does not report descriptive errors and has some challenges when running on a whole module at once. We should consider refactoring it more aggressively now that the diagnostic changes are landing in TVM. cc @altanh ---------------------------------------------------------------- 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]
