Yong Wu

> What if the `if` part returns, but the `else` part doesn't? Then the code should look like this: ```python @R.function def foo(x: R.Tensor) -> R.Tensor: y: R.Tensor((), dtype="bool") =...

> Shouldn't we first define what `return` actually does? The [draft of the Relax spec](https://github.com/apache/tvm/pull/14148) is silent on this. return is not in the IR explicitly, currently by default the...

> Yeah, `return` is not part of Relax's grammar; it's from Python's grammar and it is up to us to determine how to parse it. > > This is actually...

> The Relax AST does not permit omitting the false branch, so how would we parse it? (Even without a return) Omitting the false branch is not allowed now, a...

> Hmm.. So in the example below, does the `return` return from the if node, or from the function? from the if node.

@tvm-bot rerun

it would be good if you can try out Relax

this issue should be fixed now.

@tvm-bot rerun

@agoston-mc It would be good to submit the Docker-related changes (the changes under directory docker/ in this PR) as a separate PR and get it merged first. Then, we can...