You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I don't expect any surprises, as the branches cannot depend on each other... something like the LUB of all of the static types of the case expressions?
The text was updated successfully, but these errors were encountered:
The Patterns spec main doc has a Switch expression section and a Static semantics section (love this breakdown, btw), but I think neither address the static type of a switch expression.
I don't expect any surprises, as the branches cannot depend on each other... something like the LUB of all of the static types of the case expressions?
The text was updated successfully, but these errors were encountered: