Make non-total patterns a compilation error.
There's a gotcha in Scala when you use pattern on the LHS of a generator in a for-comprehension, and it silently filters the input. I'm proposing to make this more obvious by requiring that these patterns be prefixed by the `case` keyword. Who's in?https://github.com/lampepfl/dotty/issues/5511 …
-
-
-
IDK... it's still Scala.
End of conversation
New conversation -
-
-
I would propose instead that we simply fix for comprehension desugaring. https://github.com/oleg-py/better-monadic-for …
-
Better monadic for is excellent and IMO, everyone should use it.
End of conversation
New conversation -
-
-
I want the patterns to be permitted only when the type system proves it is exhaustive. In all other cases I want an error. I never want the filter behavior, explicit or otherwise.
-
Even explicitly with the `if`? What's the downside of the explicit use of if?
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.