slyubomirsky commented on PR #16641: URL: https://github.com/apache/tvm/pull/16641#issuecomment-1967446140
Well, I wouldn't call that's not a type system ambiguity, but it could become one in terms of parser roundtripping. It's just that an empty tuple (unit value) cannot contain anything and is immutable, so its use is historically like a null value in functional languages. We do have the odd quirk that we have both the `null_value` operator that returns a void value and also the unit value. Personally, I think it would be better to use a unit value in all cases since there would be no reason to have an empty tuple at all. 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. -- 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]
