This PR slightly modifies the semantics of condition to make it simpler to use in typical use cases. The condition of the default branch is now the negation of the alternative of the conditions of all the other cases. This makes the default branch mutually exclusive with the other branches, which makes the weird and not really useful fallover behavior go away. Uses of condition were changed to make use of the modified semantics.
This PR slightly modifies the semantics of
conditionto make it simpler to use in typical use cases. The condition of the default branch is now the negation of the alternative of the conditions of all the other cases. This makes the default branch mutually exclusive with the other branches, which makes the weird and not really useful fallover behavior go away. Uses ofconditionwere changed to make use of the modified semantics.