Language proposal - Introduce "or" patterns

I think if or-patterns were to be introduced we would want them also to be nested, which means that they could come within parentheses and hence using a comma to separate them would clash with tuple-patterns.
Consider:

    case expr of
          Just ("", "0") ->
                 ....

That could be either a Maybe String pattern where the argument is an or-pattern or a Maybe (String, String) pattern.

1 Like