MarisaKirisame commented on pull request #7647: URL: https://github.com/apache/tvm/pull/7647#issuecomment-797722870
Yes that would be an error. There is also the possibility that your ADT is void (has no clause) and match simply match that. IIRC the match node has a 'must_be_exhaustive' flag, so the codegen emitting this should simply turn the flag on. ---------------------------------------------------------------- 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]
