slyubomirsky commented on pull request #7647: URL: https://github.com/apache/tvm/pull/7647#issuecomment-797654917
So if we don't consider it a bug, an empty match expression will always fail at run time and will always type check, so it's effectively the error node that we discussed having. Do we have the semantics of a failed match defined anywhere? It might be good to have a uniform interface/expectations for 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]
