Mousius commented on PR #13707: URL: https://github.com/apache/tvm/pull/13707#issuecomment-1428062793
> Sorry about my choice of terms as that causes confusion, what i meant is that adding name spacing is not hard to fullfill, updated to clarified the point. Again I am pointing out the goal G0 is something we need to consider(and fulfill as part of changes), which I think have been quite clear through out the thread. I have accepted it is not hard to fulfil, it is just the wrong thing to do, please see https://github.com/apache/tvm/pull/13707#issuecomment-1424336022 as to why it is the wrong thing to do based on the reality of both languages (see also: [Rust](https://en.wikipedia.org/wiki/Rust_(programming_language)) and [C](https://en.wikipedia.org/wiki/C_(programming_language))). You have been quite clear on the goal you've created for this work and how you would like it carried out, there is no further need for you to attempt to push your agenda. I will contemplate where best to continue this development. -- 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]
