Lunderberg commented on PR #16641: URL: https://github.com/apache/tvm/pull/16641#issuecomment-1967668483
True. I'd see the mismatch as the degree to which relax should be compatible with the python environment. For lisp, I'd expect `nil` to be the empty tuple, but for Python, I'd expect `None` to be distinct.from the empty tuple. >I'm not sure what our stance would be on parser roundtripping: I'm fine with saying that is permitted to omit the binding and that we should go with one way or the other for parser roundtripping. Unfortunately, this runs a little bit deeper. Since a size-zero tuple may be used at a later point in the relax function, omitting the binding requires inspecting the function to see if that binding is being used. Even with something like `dummy_var: R.Tuple() = R.print(...)`, the `R.Tuple()` struct info is insufficient to know if `dummy_var` is used later in the function. -- 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]
