Lunderberg commented on PR #16249: URL: https://github.com/apache/tvm/pull/16249#issuecomment-1894484391
I think regexes are a reasonable way to extend user-facing utilities that select a name. Prefix matching assumes that the user has control over the naming scheme in order to provide a common prefix, and callbacks may be more general than desired. I think regex matching is a good middle ground between those two. -- 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. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
